TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Past Time LTL Runtime Verification for Microcontroller Binary Code
T2  - Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 37
EP  - 51
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
T1  - Formale Verifikation von Embedded Systems Software
T2  - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 289
EP  - 296
ER  - 
TY  - JOUR
A1  - Fibich, Christian
A1  - Tauner, Stefan
A1  - Rössler, Peter
A1  - Horauer, Martin
A1  - Matschnig, Martin
A1  - Taucher, Herbert
T1  - FIJI – Fault InJection Instrumenter
JF  - EURASIP Journal on Embedded Systems
KW  - Fault injection
KW  - FPGA
KW  - Safety-critical system
KW  - Verification
KW  - Electronic design automation
Y1  - 2019
VL  - 2019
IS  - Februar 2019
ER  -