Martin Horauer
Orcid: 0000-0001-6835-0662
According to our database1,
Martin Horauer
authored at least 41 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
50 Jahre ICT an der TU Wien - 20 Jahre Forschungsgruppe Embedded Systems an der FH Technikum Wien.
Elektrotech. Informationstechnik, August, 2024
2023
Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023
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
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
Proceedings of the Conference on Design of Circuits and Integrated Systems, 2018
2017
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017
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
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
2015
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
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
2014
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014
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
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2011
Int. J. Inf. Technol. Commun. Convergence, 2011
Elektrotech. Informationstechnik, 2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
2010
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010
2009
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
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
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
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
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