Thomas Reinbacher

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