Martin Horauer

42 papers A 3C 10Journal 9Unranked 20

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