TY  - JOUR
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Runtime verification of microcontroller binary code
JF  - Elsevier Science of Computer Programming, Volume 80, Part A
KW  - Microcontroller
KW  - Binary Code
KW  - Embedded Systems
Y1  - 2019
IS  - Elsevier Science of Computer Programming, Volume 80, Part A
ER  - 
TY  - JOUR
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
A1  - Brauer, Jörg
A1  - Scheuer, Florian
T1  - Model Checking Embedded Software of an Industrial Knitting Machine
JF  - International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2
KW  - Model Checking
KW  - Static Analysis
KW  - Binary Code
KW  - Formal Verification
KW  - Embedded Systems
Y1  - 2019
IS  - Vol. 1, No. 2
ER  - 
TY  - JOUR
A1  - Horauer, Martin
A1  - Zauner, Martin
A1  - Schuster, Harald
T1  - A System-level Test for Automotive Communication Subsystems
JF  - e&i, Elektrotechnik und Informationstechnik, Heft 6.2011
KW  - Automotive
KW  - Embedded Systems
Y1  - 2019
IS  - Heft 6.2011
ER  - 
TY  - JOUR
A1  - Milbredt, Paul
A1  - Horauer, Martin
A1  - Reif, Konrad
T1  - Wakeup and Startup of FlexRay Cross Linkings
JF  - ATZ Elektronik
KW  - Collision Avoidance
KW  - Electronic Control Unit
KW  - Active Star
KW  - Asynchronous Mode
KW  - Embedded Systems
Y1  - 2019
SP  - 30
EP  - 32
ER  - 
TY  - JOUR
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - Towards a Systematic Test for Embedded Automotive Communication Systems
JF  - IEEE Transactions on Industrial Informatics
KW  - Embedded Systems
KW  - Automotive
Y1  - 2019
VL  - 4
IS  - 3
SP  - 146
EP  - 155
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  - 
TY  - JOUR
A1  - Horauer, Martin
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Mirtl, Stefan
T1  - Verification challenges of complex system-on-chip devices
JF  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
KW  - Embedded Systems
KW  - Electronic Engineering
KW  - Information Technology
Y1  - 2019
IS  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
ER  -