CounterExample Validation and Test Case Generation Framework for Verifiying Embedded Software

View Statistics Email Alert RSS Feed

Primary Data

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
 

Grants

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.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Runtime verification of embedded real-time systemsArtikel Article 2013
2Reinbacher, Thomas ; Horauer, Martin ; Steininger, Andreas A Runtime Verification Unit for MicrocontrollersKonferenzbeitrag Inproceedings 2012
3Reinbacher, Thomas ; Geist, Johannes ; Moosbrugger, Patrick ; Horauer, Martin ; Steininger, Andreas Parallel Runtime Verification of Temporal Properties for Embedded SoftwareKonferenzbeitrag Inproceedings 2012
4Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Real-Time Runtime Verification on ChipKonferenzbeitrag Inproceedings 2012
5Reinbacher, Thomas ; Brauer, Jörg Precise control flow reconstruction using boolean logicKonferenzbeitrag 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 ; Gückel, Dominik ; Horauer, Martin Testing microcontroller software simulatorsKonferenzbeitrag 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 ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan Automated test-trace inspection for microcontroller binary codeKonferenzbeitrag 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