Thomas Reinbacher

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Temporal Constraints

Health Management

Engineering Systems

Top Venues

Sci. Comput. Program.

Ausgezeichnete Informatikdissertationen

Publications

Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Runtime verification of microcontroller binary code. Sci. Comput. Program. 80 (2014)
Thomas Reinbacher, Matthias Függer, Jörg Brauer
Runtime verification of embedded real-time systems. Formal Methods Syst. Des. 44 (3) (2014)
Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. TACAS (2014)
Thomas Reinbacher
Analyse von eingebetteten Echtzeitsystemen zur Laufzeit. Ausgezeichnete Informatikdissertationen (2013)
Thomas Reinbacher, César Guzmán-Alvarez
Template-Based Synthesis of Plan Execution Monitors. HAIS (2013)
Thomas Reinbacher, Matthias Függer, Jörg Brauer
Real-Time Runtime Verification on Chip. RV (2012)
Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski
Automated Test-Trace Inspection for Microcontroller Binary Code. RV (2011)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS (2011)
Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer
Model checking embedded software of an industrial knitting machine. Int. J. Inf. Technol. Commun. Convergence 1 (2) (2011)
Thomas Reinbacher, Jörg Brauer
Precise control flow reconstruction using boolean logic. EMSOFT (2011)
Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer
Testing Microcontroller Software Simulators. GI-Jahrestagung (2011)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS (2010)
Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski
Stack bounds analysis for microcontroller assembly code. WESS (2009)
Thomas Reinbacher, Martin Horauer, Bastian Schlich
Using 3-valued memory representation for state space reduction in embedded assembly code model checking. DDECS (2009)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich
Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES (2009)
Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich
Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES (2008)