Thomas Reinbacher

According to our database, Thomas Reinbacher authored at least 16 papers between 2008 and 2014.

Collaborative distances:

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

2014

Runtime verification of microcontroller binary code.

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski

Sci. Comput. Program., 2014

Runtime verification of embedded real-time systems.

Thomas Reinbacher, Matthias Függer, Jörg Brauer

Formal Methods Syst. Des., 2014

Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.

Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Template-Based Synthesis of Plan Execution Monitors.

Thomas Reinbacher, César Guzmán-Alvarez

Proceedings of the Hybrid Artificial Intelligent Systems - 8th International Conference, 2013

Analyse von eingebetteten Echtzeitsystemen zur Laufzeit.

Thomas Reinbacher

Proceedings of the Ausgezeichnete Informatikdissertationen 2013, 2013

2012

Real-Time Runtime Verification on Chip.

Thomas Reinbacher, Matthias Függer, Jörg Brauer

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Model checking embedded software of an industrial knitting machine.

Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer

Int. J. Inf. Technol. Commun. Convergence, 2011

Automated Test-Trace Inspection for Microcontroller Binary Code.

Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski

Proceedings of the Runtime Verification - Second International Conference, 2011

Testing Microcontroller Software Simulators.

Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Past Time LTL Runtime Verification for Microcontroller Binary Code.

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Precise control flow reconstruction using boolean logic.

Thomas Reinbacher, Jörg Brauer

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski

Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

2009

Refining assembly code static analysis for the Intel MCS-51 microcontroller.

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Using 3-valued memory representation for state space reduction in embedded assembly code model checking.

Thomas Reinbacher, Martin Horauer, Bastian Schlich

Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

Stack bounds analysis for microcontroller assembly code.

Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski

Proceedings of the 4th Workshop on Embedded Systems Security, 2009

2008

Challenges in embedded model checking - a simulator for the [mc]square model checker.

Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008