TY  - CHAP
A1  - Horauer, Martin
A1  - Rössler, Peter
T1  - FlexRay (Chapter 44)
T2  - The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011
KW  - Industrial
KW  - Communication System
KW  - Embedded Systems
Y1  - 2019
PB  - CRC Press
ER  - 
TY  - CHAP
A1  - Kutschera, Christof
A1  - Horauer, Martin
A1  - Ray, Markus
A1  - Steinmair, Daniel
A1  - Gorski, Peter
T1  - A Flexible Sensor-mat to Automate the Process of People Counting
T2  - roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011
KW  - Person Counting
Y1  - 2019
SN  - 978-1-61208-150-2
SP  - 13
EP  - 16
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Past Time LTL Runtime Verification for Microcontroller Binary Code
T2  - Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 37
EP  - 51
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Steininger, Andreas
A1  - Müller, Tobias
A1  - Horauer, Martin
A1  - Brauer, Jörg
T1  - Hardware Support for Efficient Testing of Embedded Software
T2  - Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 1
EP  - 10
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  - 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  -