TY  - CHAP
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Kramer, Michael
A1  - Leibhart, Heinz
A1  - Büger, Josef
T1  - A Log-Tool Suite for Embedded Systems
T2  - Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - GEN
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Kramer, Michael
A1  - Liebhart, Heinz
A1  - Büger, Josef
T1  - A Log-Tool Suite for Embedded Systems
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - CHAP
A1  - Beneder, Roman
A1  - Glatz, Bernd
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Memory Leak Detection Runtime-Service for Embedded Linux Devices
T2  - Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014
KW  - Software
KW  - Linux
Y1  - 
ER  - 
TY  - CHAP
A1  - Beneder, Roman
A1  - Glatz, Bernd
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Runtime Verification Infrastructure for Embedded Linux
T2  - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
KW  - Embedded Systems
KW  - Linux
Y1  - 
ER  - 
TY  - CHAP
A1  - Hausladen, Jürgen
A1  - Pohn, Birgit
A1  - Horauer, Martin
T1  - A Cloud-based Integrated Development Environment for Embedded Systems
T2  - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
KW  - Embedded Systems
Y1  - 
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  - GEN
A1  - Hausladen, Jürgen
A1  - Pohn, Birgit
A1  - Horauer, Martin
T1  - A Cloud-based Integrated Development Environment for Embedded Systems
KW  - Embedded Systems
Y1  - 
ER  -