Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). - Klaus Schossmaier; Ulrich Schmid 001; Martin Horauer; Dietmar Loy (Real Time Syst., 1997)

NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization. - Martin Horauer; Ulrich Schmid 001; Klaus Schossmaier (IPPS/SPDP Workshops, 1998)

Efficient stimulus generation for testing embedded distributed systems the FlexRay example. - Eric Armengaud; Andreas Steininger; Martin Horauer (ETFA, 2005)

A structured approach for the systematic test of embedded automotive communication systems. - Eric Armengaud; Florian Rothensteiner; Andreas Steininger; Roman Pallierer; Martin Horauer; Martin Zauner (ITC, 2005)

Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks. - Eric Armengaud; Andreas Steininger; Martin Horauer (ETFA, 2006)

Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. - Thomas M. Galla; Dietmar Schreiner; Wolfgang Forster; Christof Kutschera; Karl M. Göschka; Martin Horauer (SIES, 2007)

A Test Tool for FlexRay-based Embedded Systems. - Martin Horauer; Oliver Praprotnik; Martin Zauner; Roland Höller; Paul Milbredt (SIES, 2007)

Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks. - Paul Milbredt; Andreas Steininger; Martin Horauer (DELTA, 2008)

An investigation of the clique problem in FlexRay. - Paul Milbredt; Martin Horauer; Andreas Steininger (SIES, 2008)

Challenges in embedded model checking - a simulator for the [mc]square model checker. - Thomas Reinbacher; Martin Kramer; Martin Horauer; Bastian Schlich (SIES, 2008)

Towards a Systematic Test for Embedded Automotive Communication Systems. - Eric Armengaud; Andreas Steininger; Martin Horauer (IEEE Trans. Ind. Informatics, 2008)

Using 3-valued memory representation for state space reduction in embedded assembly code model checking. - Thomas Reinbacher; Martin Horauer; Bastian Schlich (DDECS, 2009)

Refining assembly code static analysis for the Intel MCS-51 microcontroller. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Bastian Schlich (SIES, 2009)

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Andreas Steininger; Stefan Kowalewski (MEMICS, 2010)

Past Time LTL Runtime Verification for Microcontroller Binary Code. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Andreas Steininger; Stefan Kowalewski (FMICS, 2011)

Testing Microcontroller Software Simulators. - Thomas Reinbacher; Dominique Gückel; Stefan Kowalewski; Martin Horauer (GI-Jahrestagung, 2011)

A system-level test for automotive communication subsystems. - Martin Horauer; Martin Zauner; Harald Schuster (Elektrotech. Informationstechnik, 2011)

Model checking embedded software of an industrial knitting machine. - Thomas Reinbacher; Martin Horauer; Bastian Schlich; Jörg Brauer; Florian Scheuer (Int. J. Inf. Technol. Commun. Convergence, 2011)

Memory leak detection runtime-service for embedded Linux devices. - Roman Beneder; Bernd Glatz; Martin Horauer; Thomas Rauscher (ETFA, 2014)

Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation. - Andreas Puhm; Michael Kramer; Patrick Moosbrugger; Martin Horauer (ETFA, 2014)

Runtime verification infrastructure for Embedded Linux. - Roman Beneder; Bernd Glatz; Martin Horauer; Thomas Rauscher (MESA, 2014)

dandel.io - Design of an audio-recorder accessory. - Wolfgang Fleck; Dominik Hollmuller; Johannes Wittmann; Gregor Aradi; Roman Beneder; Martin Horauer (MESA, 2014)

A cloud-based integrated development environment for embedded systems. - Jürgen Hausladen; Birgit Pohn; Martin Horauer (MESA, 2014)

Runtime verification of microcontroller binary code. - Thomas Reinbacher; Jörg Brauer; Martin Horauer; Andreas Steininger; Stefan Kowalewski (Sci. Comput. Program., 2014)

Deadlock detection runtime service for Embedded Linux. - Bernd Glatz; Roman Beneder; Martin Horauer; Thomas Rauscher (ETFA, 2015)

A common platform for bridging pre- and post-silicon verification in mixed-signal designs. - Dominik Widhalm; Stefan Tauner; Martin Horauer; Achim Schumacher; Alexander Haggenmiller (I2MTC, 2015)

Verification challenges of complex system-on-chip devices. - Martin Horauer; Dominik Widhalm; Stefan Tauner; Stefan Mirtl (Elektrotech. Informationstechnik, 2015)

Fault injection for IEC 61499 applications. - Bernd Glatz; Harald Schuster; Martin Horauer; Thomas Rauscher; Roman Obermaisser (ETFA, 2016)

Vulnerability analysis of storage elements in HLS-generated designs using high-level profiling. - Christian Fibich; Martin Horauer; Roman Obermaisser (ICSRS, 2017)

HLshield: a reliability enhancement framework for high-level synthesis. - Christian Fibich; Martin Horauer; Roman Obermaisser (SIES, 2017)

Binary protection framework for embedded systems. - Florian Gerstmayer; Jürgen Hausladen; Michael Kramer; Martin Horauer (SIES, 2017)

Event Storms in IEC 61499 Applications. - David Pescha; Martin Horauer (DCIS, 2018)

Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu. - Christian Fibich; Stefan Tauner; Peter Rössler; Martin Horauer; Herbert Taucher; Martin Matschnig (SIES, 2018)

Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection. - Christian Fibich; Martin Horauer; Roman Obermaisser (ISIE, 2019)

Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications. - Christian Fibich; Stefan Tauner; Peter Rössler; Martin Horauer; Markus Krapfenbauer; Martin Linauer; Martin Matschnig; Herbert Taucher (MECO, 2019)

FIJI: Fault InJection Instrumenter. - Christian Fibich; Stefan Tauner; Peter Rössler; Martin Horauer; Martin Matschnig; Herbert Taucher (EURASIP J. Embed. Syst., 2019)

Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures. - Christian Fibich; Stefan Tauner; Peter Rössler; Martin Horauer (FedCSIS, 2020)

Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs. - Christian Fibich; Martin Horauer; Roman Obermaisser (DATE, 2021)

Bitstream- Level Interconnect Fault Characterization for SRAM-based FPGAs. - Christian Fibich; Martin Horauer; Roman Obermaisser (DATE, 2023)

Characterization of Interconnect Fault Effects in SRAM-based FPGAs. - Christian Fibich; Martin Horauer; Roman Obermaisser (DDECS, 2023)

50 Jahre ICT an der TU Wien - 20 Jahre Forschungsgruppe Embedded Systems an der FH Technikum Wien. - Martin Horauer; Peter Rössler (Elektrotech. Informationstechnik, 2024)