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  - 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  - Niklas, Peter
A1  - Zauner, Martin
A1  - Horauer, Martin
T1  - Development of an Embedded Monitoring Device for a Manufacturing Plant
T2  - Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China
KW  - Embedded Systems
KW  - Manufacturing
Y1  - 2019
SP  - 398
EP  - 402
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Gückel, Dominique
A1  - Horauer, Martin
T1  - Testing Microcontroller Software Simulators
T2  - Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011
KW  - Embedded Systems
KW  - Microcontroller
KW  - Testing
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Horauer, Martin
A1  - Zauner, Martin
A1  - Schuster, Harald
T1  - A System-level Test for Automotive Communication Subsystems
JF  - e&i, Elektrotechnik und Informationstechnik, Heft 6.2011
KW  - Automotive
KW  - Embedded Systems
Y1  - 2019
IS  - Heft 6.2011
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
T1  - Formale Verifikation von Embedded Systems Software
T2  - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 289
EP  - 296
ER  - 
TY  - CHAP
A1  - Galla, Thomas
A1  - Schreiner, Dietmar
A1  - Forster, Wolfgang
A1  - Kutschera, Christof
A1  - Göschka, Karl
A1  - Horauer, Martin
T1  - Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm
T2  - Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C
KW  - Embedded Systems
KW  - Automotive
Y1  - 2019
SN  - 1-4244-0840-7
SP  - 200
EP  - 208
ER  - 
TY  - CHAP
A1  - Horauer, Martin
A1  - Praprotnik, Oliver
A1  - Zauner, Martin
A1  - Höller, Roland
A1  - Milbredt, Paul
T1  - A Test Tool for FlexRay-based Embedded Systems
T2  - Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SN  - 1-4244-0840-7
SP  - 349
EP  - 352
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  -