Martin Horauer

According to our database1, Martin Horauer authored at least 40 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Characterization of Interconnect Fault Effects in SRAM-based FPGAs.
Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

Bitstream- Level Interconnect Fault Characterization for SRAM-based FPGAs.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2021
Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020
Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures.
Proceedings of the 2020 Federated Conference on Computer Science and Information Systems, 2020

2019
FIJI: Fault InJection Instrumenter.
EURASIP J. Embed. Syst., 2019

Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications.
Proceedings of the 8th Mediterranean Conference on Embedded Computing, 2019

Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection.
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

2018
Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Event Storms in IEC 61499 Applications.
Proceedings of the Conference on Design of Circuits and Integrated Systems, 2018

2017
Binary protection framework for embedded systems.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

HLshield: a reliability enhancement framework for high-level synthesis.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

Vulnerability analysis of storage elements in HLS-generated designs using high-level profiling.
Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

2016
Fault injection for IEC 61499 applications.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Verification challenges of complex system-on-chip devices.
Elektrotech. Informationstechnik, 2015

A common platform for bridging pre- and post-silicon verification in mixed-signal designs.
Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2015

Deadlock detection runtime service for Embedded Linux.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
Runtime verification of microcontroller binary code.
Sci. Comput. Program., 2014

A cloud-based integrated development environment for embedded systems.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

dandel.io - Design of an audio-recorder accessory.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

Runtime verification infrastructure for Embedded Linux.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Memory leak detection runtime-service for embedded Linux devices.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2011
Model checking embedded software of an industrial knitting machine.
Int. J. Inf. Technol. Commun. Convergence, 2011

A system-level test for automotive communication subsystems.
Elektrotech. Informationstechnik, 2011

Testing Microcontroller Software Simulators.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Past Time LTL Runtime Verification for Microcontroller Binary Code.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

2009
Refining assembly code static analysis for the Intel MCS-51 microcontroller.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Using 3-valued memory representation for state space reduction in embedded assembly code model checking.
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

2008
Towards a Systematic Test for Embedded Automotive Communication Systems.
IEEE Trans. Ind. Informatics, 2008

Challenges in embedded model checking - a simulator for the [mc]square model checker.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

An investigation of the clique problem in FlexRay.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks.
Proceedings of the 4th IEEE International Symposium on Electronic Design, 2008

2007
A Test Tool for FlexRay-based Embedded Systems.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2006
Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005
A structured approach for the systematic test of embedded automotive communication systems.
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Efficient stimulus generation for testing embedded distributed systems the FlexRay example.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

1998
NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization.
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1997
Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU).
Real Time Syst., 1997


  Loading...