A Step Ahead to the IMA2G

Publications

No Title Partner Title of the periodical/event Year of publication  

1

A Programming Model and Framework for Comprehensive Dynamic Analysis on Android

USI

Proceedings of the 14th International Conference on Modularity (MODULARITY ’15)

2015

2

Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines

USI

Software Engineering and Management 2015 (SE ‘15)

2015

4

Model based design of an avionics power line communications physical layer

HLU

Proceedings of 34th Digital Avionics Systems Conference (DASC)

2015

5

Next Generation IMA Configuration Engineering – from Architecture to Application

TUHH

Proceedings of 34th Digital Avionics Systems Conference (DASC)

2015

6

Comprehensive Multi-platform Dynamic Program Analysis for Java and Android

USI

IEEE Software

2015

7

Workload Characterization of JVM Languages

USI

Software: Practice and Experience

2015

8

Accurate Profiling in the Presence of Dynamic Compilation

USI

2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘15)

2015

9

Comprehensive Bytecode Instrumentation for Dynamic Program Analysis on Android

USI

SPLASH ‘15

2015

10

Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM

USI

 

 APLAS 2015

2015

11

 

 Polymorphic Bytecode Instrumentation

USI

Journal publication, in “Software: Practice and Experience”

2015/16

12

Flexible and Extensible Runtime Verification for Java

USI

International Journal of Software Engineering and Knowledge Engineering

2016

13

AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses

USI

SANER 2016

2016

14

Optical Sensors for Aerospace Applications

OXS

IEEE International Workshop on Metrology for Aerospace

2016

15

Model-based Transition of IMA Architecture into Configuration Data

TUHH

 35th Digital Avionics Systems Conference (DASC)

2016

16

ASHLEY (Avionics Systems Hosted on a distributed modular electronics Large scale dEmonstrator for multiple tYpes of aircraft)

THA

AERODAYS 2015 BOOK

2016

17 Adaptable Runtime Monitoring for the Java Virtual Machine USI 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2016) 2016
18 An Endpoint Communication Profiling Tool for Distributed Computing Frameworks USI 36th IEEE International Conference on Distributed Computing Systems (ICDCS-2016) 2016
19 Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems USI 11th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS-2016) 2016
20 Profiling Actor Utilization and Communication in Akka USI Erlang 2016, collocated with the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP-2016) 2016
21 Extended Code Coverage for AspectJ-based Runtime Verification Tools USI 16th International Conference on Runtime Verification (RV-2016) 2016
22 Actor Profiling in Virtual Execution Environments USI 15th International Conference on Generative Programming: Concepts & Experiences (GPCE-2016) 2016
23 AkkaProf: a Profiler for Akka Actors in Parallel and Distributed Applications USI 14th Asian Symposium on Programming Languages and Systems (APLAS-2016) 2016
24 The ASHLEY Software Framework – an Efficient Approach to Develop Second Generation Integrated Modular Avionics TIHH Deutscher Luft- und Raumfahrtkongress (DLRK) 2016

Back
SOCIAL NETWORKS