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  - CHAP
A1  - Muhr, Hannes
A1  - Höller, Roland
A1  - Horauer, Martin
T1  - A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression
T2  - Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China
KW  - Hardware
KW  - Linux
KW  - Clock Suppression
KW  - Simulation
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example
T2  - Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy
KW  - Testing
KW  - Distributed Systems
Y1  - 2019
SP  - 763
EP  - 770
ER  - 
TY  - CHAP
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - Automatic Parameter Identification in FlexRay based Automotive Communication Networks
T2  - Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic
KW  - Automotive
KW  - Communication Network
Y1  - 2019
SP  - 897
EP  - 904
ER  - 
TY  - CHAP
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories
T2  - Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary
KW  - Hardware Architecture
KW  - Memory Access
Y1  - 2019
SP  - 113
EP  - 120
ER  - 
TY  - CHAP
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - A Method for Bit Level Test and Diagnosis of Communication Services
T2  - Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary
KW  - Testing
KW  - Communication Service
Y1  - 2019
SP  - 69
EP  - 74
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  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - An Efficient Test and Diganosis Environment for Communication Controllers
T2  - Proceedings of Austrochip 2006, 11 October, Vienna, Austria
KW  - Testing
KW  - Communication Controller
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
A1  - Pallierer, Roman
T1  - A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems
T2  - Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria
KW  - Testing
KW  - Automotive
KW  - Communication Systems
Y1  - 2019
SP  - 275
EP  - 283
ER  - 
TY  - CHAP
A1  - Pallierer, Roman
A1  - Horauer, Martin
A1  - Steininger, Andreas
T1  - Monitoring and Fault-Injection of X-by-Wire Communication Networks
T2  - Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany
KW  - Communication Network
Y1  - 2019
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  - Horauer, Martin
A1  - Obermaisser, Roman
T1  - Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs
T2  - Proceedings of the 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-5 February 2021, Grenoble, France
KW  - FPGA
KW  - Fault Injection
KW  - Device Variations
Y1  - 
SP  - 1600
EP  - 1605
ER  - 
TY  - CHAP
A1  - Fibich, Christian
A1  - Horauer, Martin
A1  - Obermaisser, Roman
T1  - Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection
T2  - 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019
KW  - Circuit faults
KW  - Reliability engineering
KW  - Field programmable gate arrays
KW  - Fault tolerance
KW  - Fault tolerant systems
Y1  - 2019
SP  - 1363
EP  - 1370
ER  -