Martin Hoffmann

According to our database, Martin Hoffmann authored at least 18 papers between 2011 and 2017.

Collaborative distances:

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

2017

Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis.

Christian Dietrich, Martin Hoffmann, Daniel Lohmann

ACM Trans. Embed. Comput. Syst., 2017

Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.

Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech

Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016

Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware.

Martin Hoffmann

PhD thesis, 2016

Experiences with software-based soft-error mitigation using AN codes.

Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat

Softw. Qual. J., 2016

2015

dOSEK: the design and implementation of a dependability-oriented static embedded kernel.

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

<i>d</i>OSEK: Maßgeschneiderte Zuverlässigkeit.

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann

Proceedings of the Betriebssysteme und Echtzeit, 2015

Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen.

Christian Dietrich, Martin Hoffmann, Daniel Lohmann

Proceedings of the Betriebssysteme und Echtzeit, 2015

Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.

Christian Dietrich, Martin Hoffmann, Daniel Lohmann

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.

Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann, Olaf Spinczyk

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs.

Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel Lohmann

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

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes.

Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

dOSEK: A Dependable RTOS for Automotive Applications.

Martin Hoffmann, Christian Dietrich, Daniel Lohmann

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

A JVM for soft-error-prone embedded systems.

Isabella Stilkerich, Michael Strotz, Christoph Erhardt, Martin Hoffmann, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience.

Martin Hoffmann, Christian Dietrich, Daniel Lohmann

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012

Taking control: Modular and adaptive robotics process control systems.

Peter Ulbrich, Florian Franzmann, Christian Harkort, Martin Hoffmann, Tobias Klaus, Anja Rebhan, Wolfgang Schröder-Preikschat

Proceedings of the IEEE International Symposium on Robotic and Sensors Environments Proceedings, 2012

Eliminating Single Points of Failure in Software-Based Redundancy.

Peter Ulbrich, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Wolfgang Schröder-Preikschat, Reiner Schmid

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Fail*: Towards a Versatile Fault Injection Experiment Framework.

Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk

Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

2011

Revisiting Fault-Injection Experiment-Platform Architectures.

Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011