Martin Heininger

According to our database, Martin Heininger authored at least 2 papers between 2019 and 2024.

Collaborative distances:

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

2024

Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper).

Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker

Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

2019

Test und Fehlersuche in komplexen Autonomen Systemen.

Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma

Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019