Challenges in embedded model checking - a simulator for the [mc]square model checker. - Thomas Reinbacher; Martin Kramer; Martin Horauer; Bastian Schlich (SIES, 2008)

Stack bounds analysis for microcontroller assembly code. - Jörg Brauer; Bastian Schlich; Thomas Reinbacher; Stefan Kowalewski (WESS, 2009)

Using 3-valued memory representation for state space reduction in embedded assembly code model checking. - Thomas Reinbacher; Martin Horauer; Bastian Schlich (DDECS, 2009)

Refining assembly code static analysis for the Intel MCS-51 microcontroller. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Bastian Schlich (SIES, 2009)

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Andreas Steininger; Stefan Kowalewski (MEMICS, 2010)

Precise control flow reconstruction using boolean logic. - Thomas Reinbacher; Jörg Brauer (EMSOFT, 2011)

Past Time LTL Runtime Verification for Microcontroller Binary Code. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Andreas Steininger; Stefan Kowalewski (FMICS, 2011)

Testing Microcontroller Software Simulators. - Thomas Reinbacher; Dominique Gückel; Stefan Kowalewski; Martin Horauer (GI-Jahrestagung, 2011)

Automated Test-Trace Inspection for Microcontroller Binary Code. - Thomas Reinbacher; Jörg Brauer; Daniel Schachinger; Andreas Steininger; Stefan Kowalewski (RV, 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)

Real-Time Runtime Verification on Chip. - Thomas Reinbacher; Matthias Függer; Jörg Brauer (RV, 2012)

Analyse von eingebetteten Echtzeitsystemen zur Laufzeit. - Thomas Reinbacher (Ausgezeichnete Informatikdissertationen, 2013)

Template-Based Synthesis of Plan Execution Monitors. - Thomas Reinbacher; César Guzmán-Alvarez (HAIS, 2013)

Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. - Thomas Reinbacher; Kristin Yvonne Rozier; Johann Schumann (TACAS, 2014)

Runtime verification of embedded real-time systems. - Thomas Reinbacher; Matthias Függer; Jörg Brauer (Formal Methods Syst. Des., 2014)

Runtime verification of microcontroller binary code. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Andreas Steininger; Stefan Kowalewski (Sci. Comput. Program., 2014)