Skip to content

Martin Horauer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

7

Active years

2005–2023

Best venue rank

C

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2023DATEBitstream- Level Interconnect Fault Characterization for SRAM-based FPGAs.Christian Fibich, Martin Horauer, Roman Obermaisser
2023DDECSCharacterization of Interconnect Fault Effects in SRAM-based FPGAs.Christian Fibich, Martin Horauer, Roman Obermaisser
2021DATEDevice- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs.Christian Fibich, Martin Horauer, Roman Obermaisser
2020FedCSISEvaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures.Christian Fibich, Stefan Tauner, Peter Rssler, Martin Horauer
2016ETFAFault injection for IEC 61499 applications.Bernd Glatz, Harald Schuster, Martin Horauer, Thomas Rauscher, Roman Obermaisser
2015ETFADeadlock detection runtime service for Embedded Linux.Bernd Glatz, Roman Beneder, Martin Horauer, Thomas Rauscher
2014ETFAMemory leak detection runtime-service for embedded Linux devices.Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher
2014ETFAProblems and solutions for refitting a sensor network with IEEE1588 clock synchronisation.Andreas Puhm, Michael Kramer, Patrick Moosbrugger, Martin Horauer
2011FMICSPast Time LTL Runtime Verification for Microcontroller Binary Code.Thomas Reinbacher, Jrg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
2011GITesting Microcontroller Software Simulators.Thomas Reinbacher, Dominique Gckel, Stefan Kowalewski, Martin Horauer
2009DDECSUsing 3-valued memory representation for state space reduction in embedded assembly code model checking.Thomas Reinbacher, Martin Horauer, Bastian Schlich
2006ETFAAutomatic Parameter Identi cation in FlexRay based Automotive Communication Networks.Eric Armengaud, Andreas Steininger, Martin Horauer
2005ETFAEfficient stimulus generation for testing embedded distributed systems the FlexRay example.Eric Armengaud, Andreas Steininger, Martin Horauer
2005ITCA structured approach for the systematic test of embedded automotive communication systems.Eric Armengaud, Florian Rothensteiner, Andreas Steininger, Roman Pallierer, Martin Horauer, Martin Zauner