| 2014 | TACAS | Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. | Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann |
| 2013 | HAIS | Template-Based Synthesis of Plan Execution Monitors. | Thomas Reinbacher, Csar Guzmn-Alvarez |
| 2012 | RV | Real-Time Runtime Verification on Chip. | Thomas Reinbacher, Matthias Fgger, Jrg Brauer |
| 2011 | EMSOFT | Precise control flow reconstruction using boolean logic. | Thomas Reinbacher, Jrg Brauer |
| 2011 | FMICS | Past Time LTL Runtime Verification for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
| 2011 | GI | Testing Microcontroller Software Simulators. | Thomas Reinbacher, Dominique Gckel, Stefan Kowalewski, Martin Horauer |
| 2011 | RV | Automated Test-Trace Inspection for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski |
| 2009 | CASES | Stack bounds analysis for microcontroller assembly code. | Jrg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski |
| 2009 | DDECS | Using 3-valued memory representation for state space reduction in embedded assembly code model checking. | Thomas Reinbacher, Martin Horauer, Bastian Schlich |