CounterExample Validation and Test Case Generation Framework for Verifiying Embedded Software


Project Acronym Projekt Kurzbezeichnung
CEVTES
 
Project Title (de) Projekttitel (de)
CounterExample Validation and Test Case Generation Framework for Verifiying Embedded Software
 
Project Title (en) Projekttitel (en)
CounterExample Validation and Test Case Generation Framework for Verifiying Embedded Software
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FFG - Österr. Forschungsförderungs- gesellschaft mbH
Grant number Förderkennnummer
825891
 

Publications

Results 1-10 of 10 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Runtime verification of embedded real-time systemsArtikel Article2013
2Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Real-Time Runtime Verification on ChipKonferenzbeitrag Inproceedings 2012
3Reinbacher, Thomas ; Horauer, Martin ; Steininger, Andreas A Runtime Verification Unit for MicrocontrollersKonferenzbeitrag Inproceedings 2012
4Reinbacher, Thomas ; Geist, Johannes ; Moosbrugger, Patrick ; Horauer, Martin ; Steininger, Andreas Parallel Runtime Verification of Temporal Properties for Embedded SoftwareKonferenzbeitrag Inproceedings 2012
5Reinbacher, Thomas ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan Automated test-trace inspection for microcontroller binary codeKonferenzbeitrag 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 Precise control flow reconstruction using boolean logicKonferenzbeitrag Inproceedings 2011
8Reinbacher, Thomas ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg ; Kowalewski, Stefan Hardware support for efficient testing of embedded softwareKonferenzbeitrag Inproceedings 2011
9Reinbacher, Thomas ; Gückel, Dominik ; Horauer, Martin Testing microcontroller software simulatorsKonferenzbeitrag Inproceedings 2011
10Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Test-Case Generation for Embedded Binary Code Using Abstract InterpretationKonferenzbeitrag Inproceedings 2010