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  - 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  - Rothensteiner, Florian
A1  - Zauner, Martin
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Friedl, Hannes
A1  - Pallierer, Roman
T1  - An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol
T2  - Proceedings of Austrochip 2004, October 2004, Villach, Austria
KW  - Embedded Systems
KW  - Automotive
KW  - Communication Systems
Y1  - 2019
SP  - 119
EP  - 123
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  - 
TY  - JOUR
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - Towards a Systematic Test for Embedded Automotive Communication Systems
JF  - IEEE Transactions on Industrial Informatics
KW  - Embedded Systems
KW  - Automotive
Y1  - 2019
VL  - 4
IS  - 3
SP  - 146
EP  - 155
ER  - 
TY  - CHAP
A1  - Fibich, Christian
A1  - Horauer, Martin
A1  - Obermaisser, Roman
T1  - HLShield: A Reliability Enhancement Framework for High-Level Synthesis
T2  - 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Fibich, Christian
A1  - Tauner, Stefan
A1  - Rössler, Peter
A1  - Horauer, Martin
T1  - Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures
T2  - Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria
KW  - Embedded Systems
KW  - Basic Linear Algebra Subprograms
KW  - Benchmarks
KW  - ARM
KW  - RISC-V
Y1  - 
SP  - 663
EP  - 672
ER  - 
TY  - CHAP
A1  - Fibich, Christian
A1  - Tauner, Stefan
A1  - Rössler, Peter
A1  - Horauer, Martin
A1  - Krapfenbauer, Markus
A1  - Linauer, Martin
A1  - Matschnig, Martin
A1  - Taucher, Herbert
T1  - Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications
T2  - 8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro
KW  - Embedded Systems
KW  - Basic Linear Algebra Subprograms
KW  - BLAS
KW  - Benchmark
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Horauer, Martin
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Mirtl, Stefan
T1  - Verification challenges of complex system-on-chip devices
JF  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
KW  - Embedded Systems
KW  - Electronic Engineering
KW  - Information Technology
Y1  - 2019
IS  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
ER  - 
TY  - CHAP
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Horauer, Martin
A1  - Schumacher, Achim
A1  - Haggenmiller, Alexander
T1  - A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,
T2  - Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - GEN
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Horauer, Martin
A1  - Schumacher, Achim
A1  - Haggenmiller, Alexander
T1  - A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - GEN
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Horauer, Martin
T1  - Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Tauner, Stefan
A1  - Widhalm, Dominik
A1  - Horauer, Martin
T1  - Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities
T2  - Proceedings of the IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015
KW  - Embedded Systems
Y1  - 2018
SP  - 36
EP  - 41
ER  - 
TY  - CHAP
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Horauer, Martin
T1  - Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment
T2  - Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA) 2016
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Tauner, Stefan
A1  - Widhalm, Dominik
A1  - Horauer, Martin
T1  - Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities
KW  - Embedded Systems
Y1  - 2018
ER  -