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  - Balog, Peter
A1  - Horauer, Martin
A1  - Rössler, Peter
T1  - Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design
T2  - Proceedings of the 2009 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2009), DETC2009-87148, Aug. 30-Sept. 02, 2009, San Diego, USA
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Praprotnik, Oliver
A1  - Gartner, Mario
A1  - Zauner, Martin
A1  - Horauer, Martin
T1  - A Test Suite for System Tests of Distributed Automotive Electronics,
T2  - Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta
KW  - Embedded Systems
KW  - Automotive
KW  - Testing
Y1  - 2019
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  - 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  -