TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller
T2  - Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland
KW  - Embedded Systems
KW  - Microcontroller
Y1  - 2019
SP  - 161
EP  - 170
ER  - 
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  - CHAP
A1  - Reinbacher, Thomas
A1  - Gückel, Dominique
A1  - Horauer, Martin
T1  - Testing Microcontroller Software Simulators
T2  - Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011
KW  - Embedded Systems
KW  - Microcontroller
KW  - Testing
Y1  - 2019
ER  -