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  - 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  - 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  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Kramer, Michael
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
T2  - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
KW  - Embedded Systems
KW  - Embedded Model Checking
Y1  - 2019
SP  - 277
EP  - 280
ER  - 
TY  - CHAP
A1  - Kutschera, Christof
A1  - Horauer, Martin
A1  - Forster, Wolfgang
T1  - Anwendung eines Benchmark-Frameworks für komponentenbasierte Software eingebetteter Systeme
T2  - Tagungsband des 2. Forschungsforum der österreichischen Fachhochschulen
KW  - Embedded Systems
KW  - Benchmark-Framework
Y1  - 2019
PB  - Shaker Verlag
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Kramer, Michael
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - Motivating Model Checking of Embedded Systems Software
T2  - EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China
KW  - Embedded Systems
Y1  - 2019
SN  - 978-1-4244-2367-5
SP  - 546
EP  - 551
ER  - 
TY  - CHAP
A1  - Milbredt, Paul
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
T2  - Proceedings of the 4th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 533
EP  - 538
ER  - 
TY  - CHAP
A1  - Milbredt, Paul
A1  - Horauer, Martin
A1  - Steininger, Andreas
T1  - An Investigation of the Clique Problem in FlexRay
T2  - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
KW  - Embedded Systems
KW  - FlexRay
Y1  - 2019
SN  - 978-1-4244-1994-4
ER  - 
TY  - JOUR
A1  - Milbredt, Paul
A1  - Horauer, Martin
A1  - Reif, Konrad
T1  - Wakeup and Startup of FlexRay Cross Linkings
JF  - ATZ Elektronik
KW  - Collision Avoidance
KW  - Electronic Control Unit
KW  - Active Star
KW  - Asynchronous Mode
KW  - Embedded Systems
Y1  - 2019
SP  - 30
EP  - 32
ER  -