Name Card

Full name Familienname, Vorname
Kowalewski, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.002 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 ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg ; Kowalewski, Stefan Hardware support for efficient testing of embedded softwareKonferenzbeitrag Inproceedings 2011
3Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Past Time LTL Runtime Verification for Microcontroller Binary CodeKonferenzbeitrag Inproceedings 2011
4Reinbacher, Thomas ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan Automated test-trace inspection for microcontroller binary codeKonferenzbeitrag Inproceedings 2011
5Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Test-Case Generation for Embedded Binary Code Using Abstract InterpretationKonferenzbeitrag Inproceedings 2010

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reinbacher, Thomas Analysis of embedded real-time systems at runtimeThesis Hochschulschrift2013