|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan | Runtime verification of microcontroller binary code | Artikel Article | 2014 |
| 2 | | Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg | Runtime verification of embedded real-time systems | Artikel Article | 2013 |
| 3 | | Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg | Real-Time Runtime Verification on Chip | Konferenzbeitrag Inproceedings  | 2012 |
| 4 | | Reinbacher, Thomas ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg ; Kowalewski, Stefan | Hardware support for efficient testing of embedded software | Konferenzbeitrag Inproceedings | 2011 |
| 5 | | Reinbacher, Thomas ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan | Automated test-trace inspection for microcontroller binary code | Konferenzbeitrag Inproceedings | 2011 |
| 6 | | Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan | Past Time LTL Runtime Verification for Microcontroller Binary Code | Konferenzbeitrag Inproceedings | 2011 |
| 7 | | Reinbacher, Thomas ; Brauer, Jörg | Precise control flow reconstruction using boolean logic | Konferenzbeitrag Inproceedings | 2011 |
| 8 | | Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan | Test-Case Generation for Embedded Binary Code Using Abstract Interpretation | Konferenzbeitrag Inproceedings | 2010 |
