TY  - CHAP
A1  - Horauer, Martin
A1  - Ray, Markus
A1  - Augustin, Andreas
A1  - Novak, Gregor
T1  - FlexiCount: Eine flexible Personenzählmatte für den mobilen Indoor und Outdoor Einsatz
T2  - , Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010
KW  - Person Counting
Y1  - 2019
SP  - 1095
EP  - 1100
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  - GEN
A1  - Jerabek, Thomas
A1  - Horauer, Martin
T1  - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software
KW  - Embedded Systems
Y1  - 2018
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  - 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  - 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  - Zauner, Martin
A1  - Praprotnik, Oliver
A1  - Horauer, Martin
T1  - Neue Testlösungen für die Automobilelektronik
T2  - Tagungsband zum 2. Forschungsforum der österreichischen Fachhochschulen 26.-27. März 2008, FH Oberösterreich, Campus Wels
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SN  - 978-3-8322-7023-0
SP  - 267
EP  - 273
PB  - Shaker Verlag
ER  - 
TY  - CHAP
A1  - Pallierer, Roman
A1  - Horauer, Martin
A1  - Zauner, Martin
A1  - Steininger, Andreas
A1  - Armengaud, Eric
A1  - Rothensteiner, Florian
T1  - A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems
T2  - Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany
KW  - Automotive
KW  - Communication Systems
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 42
EP  - 49
ER  - 
TY  - CHAP
A1  - Horauer, Martin
A1  - Kutschera, Christof
A1  - Schreiner, Dietmar
T1  - Komponentenbasierte Systemsoftware für die Automobilelektronik
T2  - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria
KW  - Automotive
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Rössler, Peter
A1  - Radlbauer, Josef
A1  - Horauer, Martin
A1  - Lukasch, Franz
A1  - Wimmer, Martin
T1  - Entwicklung eines Satellitenmodems
T2  - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria
KW  - Satellite Modem
Y1  - 2019
ER  -