Name Card

Full name Familienname, Vorname
Brauer, Jörg
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (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 ; Függer, Matthias ; Brauer, Jörg Real-Time Runtime Verification on ChipKonferenzbeitrag Inproceedings 2012
4Reinbacher, Thomas ; Brauer, Jörg Precise control flow reconstruction using boolean logicKonferenzbeitrag Inproceedings 2011
5Reinbacher, Thomas ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg ; Kowalewski, Stefan Hardware support for efficient testing of embedded softwareKonferenzbeitrag Inproceedings 2011
6Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Past Time LTL Runtime Verification for Microcontroller Binary CodeKonferenzbeitrag Inproceedings 2011
7Reinbacher, Thomas ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan Automated test-trace inspection for microcontroller binary codeKonferenzbeitrag Inproceedings 2011
8Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Test-Case Generation for Embedded Binary Code Using Abstract InterpretationKonferenzbeitrag Inproceedings 2010