default search action
Martin Horauer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Martin Horauer
, Peter Rössler
50 Jahre ICT an der TU Wien - 20 Jahre Forschungsgruppe Embedded Systems an der FH Technikum Wien. Elektrotech. Informationstechnik 141(5): 246-255 (2024) - 2023
- [c33]Christian Fibich, Martin Horauer, Roman Obermaisser:
Bitstream- Level Interconnect Fault Characterization for SRAM-based FPGAs. DATE 2023: 1-2 - [c32]Christian Fibich, Martin Horauer, Roman Obermaisser:
Characterization of Interconnect Fault Effects in SRAM-based FPGAs. DDECS 2023: 65-68 - 2021
- [c31]Christian Fibich
Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs. DATE 2021: 1600-1605 - 2020
- [c30]Christian Fibich
Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures. FedCSIS 2020: 663-672
2010 – 2019
- 2019
- [j7]Christian Fibich
FIJI: Fault InJection Instrumenter. EURASIP J. Embed. Syst. 2019(1): 2 (2019) - [c29]Christian Fibich
Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection. ISIE 2019: 1363-1370 - [c28]Christian Fibich
Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications. MECO 2019: 1-6 - 2018
- [c27]David Pescha, Martin Horauer:
Event Storms in IEC 61499 Applications. DCIS 2018: 1-5 - [c26]Christian Fibich
Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu. SIES 2018: 1-4 - 2017
- [c25]Christian Fibich
Vulnerability analysis of storage elements in HLS-generated designs using high-level profiling. ICSRS 2017: 190-194 - [c24]Christian Fibich
HLshield: a reliability enhancement framework for high-level synthesis. SIES 2017: 1-10 - [c23]Florian Gerstmayer, Jürgen Hausladen, Michael Kramer, Martin Horauer:
Binary protection framework for embedded systems. SIES 2017: 1-8 - 2016
- [c22]Bernd Glatz, Harald Schuster, Martin Horauer, Thomas Rauscher, Roman Obermaisser:
Fault injection for IEC 61499 applications. ETFA 2016: 1-3 - 2015
- [j6]Martin Horauer, Dominik Widhalm
Verification challenges of complex system-on-chip devices. Elektrotech. Informationstechnik 132(6): 269-273 (2015) - [c21]Bernd Glatz, Roman Beneder, Martin Horauer, Thomas Rauscher:
Deadlock detection runtime service for Embedded Linux. ETFA 2015: 1-7 - [c20]Dominik Widhalm
A common platform for bridging pre- and post-silicon verification in mixed-signal designs. I2MTC 2015: 1584-1589 - 2014
- [j5]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger
Runtime verification of microcontroller binary code. Sci. Comput. Program. 80: 109-129 (2014) - [c19]Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher:
Memory leak detection runtime-service for embedded Linux devices. ETFA 2014: 1-6 - [c18]Andreas Puhm, Michael Kramer, Patrick Moosbrugger, Martin Horauer:
Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation. ETFA 2014: 1-7 - [c17]Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher:
Runtime verification infrastructure for Embedded Linux. MESA 2014: 1-6 - [c16]Wolfgang Fleck, Dominik Hollmuller, Johannes Wittmann, Gregor Aradi, Roman Beneder, Martin Horauer:
dandel.io - Design of an audio-recorder accessory. MESA 2014: 1-6 - [c15]Jürgen Hausladen, Birgit Pohn, Martin Horauer:
A cloud-based integrated development environment for embedded systems. MESA 2014: 1-5 - 2011
- [j4]Martin Horauer, Martin Zauner, Harald Schuster:
A system-level test for automotive communication subsystems. Elektrotech. Informationstechnik 128(6): 215-221 (2011) - [j3]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): 186-205 (2011) - [c14]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger
Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS 2011: 37-51 - [c13]Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer:
Testing Microcontroller Software Simulators. GI-Jahrestagung 2011: 333 - 2010
- [c12]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS 2010: 101-108
2000 – 2009
- 2009
- [c11]Thomas Reinbacher, Martin Horauer, Bastian Schlich:
Using 3-valued memory representation for state space reduction in embedded assembly code model checking. DDECS 2009: 114-119 - [c10]Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich:
Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170 - 2008
- [j2]Eric Armengaud
Towards a Systematic Test for Embedded Automotive Communication Systems. IEEE Trans. Ind. Informatics 4(3): 146-155 (2008) - [c9]Paul Milbredt, Andreas Steininger
Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks. DELTA 2008: 533-538 - [c8]Paul Milbredt, Martin Horauer, Andreas Steininger
An investigation of the clique problem in FlexRay. SIES 2008: 200-207 - [c7]Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich:
Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES 2008: 245-248 - 2007
- [c6]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: 200-208 - [c5]Martin Horauer, Oliver Praprotnik, Martin Zauner, Roland Höller, Paul Milbredt:
A Test Tool for FlexRay-based Embedded Systems. SIES 2007: 349-352 - 2006
- [c4]Eric Armengaud
Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks. ETFA 2006: 897-904 - 2005
- [c3]Eric Armengaud
Efficient stimulus generation for testing embedded distributed systems the FlexRay example. ETFA 2005 - [c2]Eric Armengaud
A structured approach for the systematic test of embedded automotive communication systems. ITC 2005: 8
1990 – 1999
- 1998
- [c1]Martin Horauer, Ulrich Schmid, Klaus Schossmaier:
NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization. IPPS/SPDP Workshops 1998: 1067-1076 - 1997
- [j1]Klaus Schossmaier, Ulrich Schmid, Martin Horauer, Dietmar Loy:
Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Real Time Syst. 12(3): 295-327 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: