Improving System-Level Verification of SystemC Models with SPIN. - Martin Elshuber; Susanne Kandl; Peter P. Puschner (FSFMA, 2013)

Dependable and predictable time-triggered Ethernet networks with COTS components. - Martin Elshuber; Roman Obermaisser (J. Syst. Archit., 2013)

The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems. - Christian El Salloum; Martin Elshuber; Oliver Höftberger; Haris Isakovic; Armin Wasicek (Microprocess. Microsystems, 2013)

Virtual CAN Lines in an Integrated MPSoC Architecture. - Armin Wasicek; Oliver Höftberger; Martin Elshuber; Haris Isakovic; Andreas Fleck (ISORC, 2014)

A Formal Approach to System Integration Testing. - Susanne Kandl; Martin Elshuber (CoRR, 2014)