Martin Horauer

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 13

Top Topics

Fault Injection

Events Occurring

Embedded Systems

Top Venues

Publications

Christian Fibich, Martin Horauer, Roman Obermaisser
Characterization of Interconnect Fault Effects in SRAM-based FPGAs. DDECS (2023)
Christian Fibich, Martin Horauer, Roman Obermaisser
Bitstream- Level Interconnect Fault Characterization for SRAM-based FPGAs. DATE (2023)
Christian Fibich, Martin Horauer, Roman Obermaisser
Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs. DATE (2021)
Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer
Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures. FedCSIS (2020)
Christian Fibich, Martin Horauer, Roman Obermaisser
Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection. ISIE (2019)
Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Martin Matschnig, Herbert Taucher
FIJI: Fault InJection Instrumenter. EURASIP J. Embed. Syst. 2019 (1) (2019)
Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Markus Krapfenbauer, Martin Linauer, Martin Matschnig, Herbert Taucher
Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications. MECO (2019)
David Pescha, Martin Horauer
Event Storms in IEC 61499 Applications. DCIS (2018)
Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Herbert Taucher, Martin Matschnig
Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu. SIES (2018)
Christian Fibich, Martin Horauer, Roman Obermaisser
HLshield: a reliability enhancement framework for high-level synthesis. SIES (2017)
Florian Gerstmayer, Jürgen Hausladen, Michael Kramer, Martin Horauer
Binary protection framework for embedded systems. SIES (2017)
Christian Fibich, Martin Horauer, Roman Obermaisser
Vulnerability analysis of storage elements in HLS-generated designs using high-level profiling. ICSRS (2017)
Bernd Glatz, Harald Schuster, Martin Horauer, Thomas Rauscher, Roman Obermaisser
Fault injection for IEC 61499 applications. ETFA (2016)
Dominik Widhalm, Stefan Tauner, Martin Horauer, Achim Schumacher, Alexander Haggenmiller
A common platform for bridging pre- and post-silicon verification in mixed-signal designs. I2MTC (2015)
Bernd Glatz, Roman Beneder, Martin Horauer, Thomas Rauscher
Deadlock detection runtime service for Embedded Linux. ETFA (2015)
Martin Horauer, Dominik Widhalm, Stefan Tauner, Stefan Mirtl
Verification challenges of complex system-on-chip devices. Elektrotech. Informationstechnik 132 (6) (2015)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Runtime verification of microcontroller binary code. Sci. Comput. Program. 80 (2014)
Andreas Puhm, Michael Kramer, Patrick Moosbrugger, Martin Horauer
Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation. ETFA (2014)
Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher
Runtime verification infrastructure for Embedded Linux. MESA (2014)
Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher
Memory leak detection runtime-service for embedded Linux devices. ETFA (2014)
Jürgen Hausladen, Birgit Pohn, Martin Horauer
A cloud-based integrated development environment for embedded systems. MESA (2014)
Wolfgang Fleck, Dominik Hollmuller, Johannes Wittmann, Gregor Aradi, Roman Beneder, Martin Horauer
dandel.io - Design of an audio-recorder accessory. MESA (2014)
Martin Horauer, Martin Zauner, Harald Schuster
A system-level test for automotive communication subsystems. Elektrotech. Informationstechnik 128 (6) (2011)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS (2011)
Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer
Model checking embedded software of an industrial knitting machine. Int. J. Inf. Technol. Commun. Convergence 1 (2) (2011)
Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer
Testing Microcontroller Software Simulators. GI-Jahrestagung (2011)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS (2010)
Thomas Reinbacher, Martin Horauer, Bastian Schlich
Using 3-valued memory representation for state space reduction in embedded assembly code model checking. DDECS (2009)
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich
Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES (2009)
Eric Armengaud, Andreas Steininger, Martin Horauer
Towards a Systematic Test for Embedded Automotive Communication Systems. IEEE Trans. Ind. Informatics 4 (3) (2008)
Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich
Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES (2008)
Paul Milbredt, Andreas Steininger, Martin Horauer
Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks. DELTA (2008)
Paul Milbredt, Martin Horauer, Andreas Steininger
An investigation of the clique problem in FlexRay. SIES (2008)
Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. SIES (2007)
Martin Horauer, Oliver Praprotnik, Martin Zauner, Roland Höller, Paul Milbredt
A Test Tool for FlexRay-based Embedded Systems. SIES (2007)
Eric Armengaud, Andreas Steininger, Martin Horauer
Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks. ETFA (2006)
Eric Armengaud, Andreas Steininger, Martin Horauer
Efficient stimulus generation for testing embedded distributed systems the FlexRay example. ETFA (2005)
Eric Armengaud, Florian Rothensteiner, Andreas Steininger, Roman Pallierer, Martin Horauer, Martin Zauner
A structured approach for the systematic test of embedded automotive communication systems. ITC (2005)
Martin Horauer, Ulrich Schmid, Klaus Schossmaier
NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization. IPPS/SPDP Workshops (1998)
Klaus Schossmaier, Ulrich Schmid, Martin Horauer, Dietmar Loy
Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Real Time Syst. 12 (3) (1997)