Martin Elshuber

According to our database, Martin Elshuber authored at least 5 papers between 2012 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

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

2012

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

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012