Martin Elshuber

According to our database, Martin Elshuber authored at least 5 papers between 2013 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Formal Approach to System Integration Testing.

Susanne Kandl, Martin Elshuber

CoRR, 2014

Virtual CAN Lines in an Integrated MPSoC Architecture.

Armin Wasicek, Oliver Höftberger, Martin Elshuber, Haris Isakovic, Andreas Fleck

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

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

Dependable and predictable time-triggered Ethernet networks with COTS components.

Martin Elshuber, Roman Obermaisser

J. Syst. Archit., 2013

Improving System-Level Verification of SystemC Models with SPIN.

Martin Elshuber, Susanne Kandl, Peter P. Puschner

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013