Name Card

Full name Familienname, Vorname
Reinbacher, Thomas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-12 of 12 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Runtime verification of microcontroller binary codeArtikel Article 2014
2Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Runtime verification of embedded real-time systemsArtikel Article2013
3Reinbacher, Thomas Analysis of embedded real-time systems at runtimeThesis Hochschulschrift2013
4Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Real-Time Runtime Verification on ChipKonferenzbeitrag Inproceedings 2012
5Reinbacher, Thomas ; Geist, Johannes ; Moosbrugger, Patrick ; Horauer, Martin ; Steininger, Andreas Parallel Runtime Verification of Temporal Properties for Embedded SoftwareKonferenzbeitrag Inproceedings 2012
6Reinbacher, Thomas ; Horauer, Martin ; Steininger, Andreas A Runtime Verification Unit for MicrocontrollersKonferenzbeitrag Inproceedings 2012
7Reinbacher, Thomas ; Brauer, Jörg Precise control flow reconstruction using boolean logicKonferenzbeitrag Inproceedings 2011
8Reinbacher, Thomas ; Gückel, Dominik ; Horauer, Martin Testing microcontroller software simulatorsKonferenzbeitrag Inproceedings 2011
9Reinbacher, Thomas ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg ; Kowalewski, Stefan Hardware support for efficient testing of embedded softwareKonferenzbeitrag Inproceedings 2011
10Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Past Time LTL Runtime Verification for Microcontroller Binary CodeKonferenzbeitrag Inproceedings 2011
11Reinbacher, Thomas ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan Automated test-trace inspection for microcontroller binary codeKonferenzbeitrag Inproceedings 2011
12Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Test-Case Generation for Embedded Binary Code Using Abstract InterpretationKonferenzbeitrag Inproceedings 2010