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  - 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  -