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  - 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  - Steininger, Andreas
A1  - Müller, Tobias
A1  - Horauer, Martin
A1  - Brauer, Jörg
T1  - Hardware Support for Efficient Testing of Embedded Software
T2  - Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 1
EP  - 10
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
T2  - Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
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  - 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  -