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  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking
T2  - roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 114
EP  - 119
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  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
A1  - Bauer, Jörg
A1  - Scheuer, Florian
T1  - Model Checking Assembly Code of an Industrial Knitting Machine
T2  - Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009
KW  - Embedded Systems
KW  - Model Checking
KW  - Knitting Machine
Y1  - 2019
SP  - 97
EP  - 104
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Kramer, Michael
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
T2  - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
KW  - Embedded Systems
KW  - Embedded Model Checking
Y1  - 2019
SP  - 277
EP  - 280
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Kramer, Michael
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - Motivating Model Checking of Embedded Systems Software
T2  - EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China
KW  - Embedded Systems
Y1  - 2019
SN  - 978-1-4244-2367-5
SP  - 546
EP  - 551
ER  - 
TY  - CHAP
A1  - Brauer, Jörg
A1  - Reinbacher, Thomas
A1  - Schlich, Bastian
A1  - Kowalewski, Stefan
T1  - Stack Bounds Analysis for Microcontroller Assembly Code
T2  - Proceedings of the 4th Workshop on Embedded Systems Security (WESS'09) - A Workshop of the Embedded Systems Week (ESWEEK'09), Grenoble, France, Oct. 15, 2009
KW  - Embedded Systems
KW  - Microcontroller
Y1  - 2019
ER  -