Martin Horauer

FH-Prof. DI Dr. Martin Horauer

Program Director Bachelor Electronic Engineering
Program Director Master Embedded Systems

Contact

+43-1-3334077-2528martin.horauer@technikum-wien.at

Publications

Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs
  • Christian Fibich, Martin Horauer, Roman Obermaisser (2021)
  • Proceedings of the 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-5 February 2021, Grenoble, France
Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures
  • Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer (2020)
  • Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria
Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications
  • Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Markus Krapfenbauer, Martin Linauer, Martin Matschnig, Herbert Taucher (2019)
  • 8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro, pp. 6
Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection
  • Christian Fibich, Martin Horauer, Roman Obermaisser (2019)
  • 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019
Eventroms in IEC 61499 Applications
  • David Pescha, Martin Horauer (2018)
  • Proceedings of XXXIII Conference on Design of Circuits and Integrated Systems (DCIS ’2018), November 14-16, 2018, Lyon, France, pp. 6
Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu
  • Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Martin Matschnig, Herbert Taucher (2018)
  • IEEE 13th International Symposium on Industrial Embedded Systems (SIES), Graz, 2018, pp. 4
Integration of Static Worst-Case Execution Time & Stack Usage Analysis for Embedded Systems Software in a Cloud-Based Development Environment
  • Jürgen Hausladen, Florian Gerstmayer, Thomas Jerabek, Martin Horauer (2017)
  • 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017)
Vulnerability Analysis of Storage Elements in HLS-Generated Designs using High-Level Profiling
  • Christian Fibich, Martin Horauer, Roman Obermaisser (2017)
  • Proceedings of the 2nd International Conference on System Reliability and Safety (ICSRS2017), 20-22 December 2017, Milan, Italy, pp. 5
Methods for Protection of Iintellectual Property in Embedded Software - A Survey
  • Jürgen Hausladen, Florian Gerstmayer, Michael Kramer, Martin Horauer (2017)
  • 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017)
A Binary Protection Framework for Embedded Systems Software
  • Florian Gerstmayer, Jürgen Hausladen, Michael Kramer, Martin Horauer (2017)
  • 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)
HLShield: A Reliability Enhancement Framework for High-Level Synthesis
  • Christian Fibich, Martin Horauer, Roman Obermaisser (2017)
  • 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)
Complementing Testing of IEC61499 Function Blocks with Model-Checking
  • Bernd Glatz, Fionn Cleary, Martin Horauer, Harald Schuster, Peter Balog (2016)
  • Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016
Fault Injection for IEC 61499 Applications
  • Bernd Glatz, Harald Schuster, Martin Horauer, Thomas Rauscher, Roman Obermaisser (2016)
  • Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09
Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software
  • Thomas Jerabek, Martin Horauer (2016)
  • Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016
A Cloud-Based Approach to Development of Embedded Systems Software
  • Jürgen Hausladen, Birgit Pohn, Martin Horauer (2015)
  • Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015, pp. 7
A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,
  • Dominik Widhalm, Stefan Tauner, Martin Horauer, Achim Schumacher, Alexander Haggenmiller (2015)
  • Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015
Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities
  • Stefan Tauner, Dominik Widhalm, Martin Horauer (2015)
  • Proceedings of the IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015
Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment
  • Dominik Widhalm, Stefan Tauner, Martin Horauer (2015)
  • Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA) 2016
An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization
  • Andreas Puhm, Michael Kramer, Martin Horauer (2015)
  • Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015
Deadlock Detection Runtime Service for Embedded Linux
  • Bernd Glatz, Roman Beneder, Martin Horauer, Thomas Rauscher (2015)
  • Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015
Software Based Methods to Harden Embedded Software at Run-Time: A Survey
  • Michael Kramer, Martin Horauer (2015)
  • ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015, pp. 5
A Cloud-based Integrated Development Environment for Embedded Systems
  • Jürgen Hausladen, Birgit Pohn, Martin Horauer (2014)
  • Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
Memory Leak Detection Runtime-Service for Embedded Linux Devices
  • Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher (2014)
  • Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014
A Log-Tool Suite for Embedded Systems
  • Harald Schuster, Martin Horauer, Michael Kramer, Heinz Leibhart, Josef Büger (2014)
  • Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal
Runtime Verification Infrastructure for Embedded Linux
  • Roman Beneder, Bernd Glatz, Martin Horauer, Thomas Rauscher (2014)
  • Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
Experimental Assessment of the Clique Problem in FlexRay
  • Martin Horauer, Harald Schuster, Peter Balog (2013)
  • Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013
A Flexible Sensor-mat to Automate the Process of People Counting
  • Christof Kutschera, Martin Horauer, Markus Ray, Daniel Steinmair, Peter Gorski (2011)
  • roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011
Past Time LTL Runtime Verification for Microcontroller Binary Code
  • Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski (2011)
  • Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011
Hardware Support for Efficient Testing of Embedded Software
  • Thomas Reinbacher, Andreas Steininger, Tobias Müller, Martin Horauer, Jörg Brauer (2011)
  • Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011
Testing Microcontroller Software Simulators
  • Thomas Reinbacher, Dominique Gückel, Martin Horauer (2011)
  • Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
  • Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski (2010)
  • Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010
FlexiCount: Eine flexible Personenzählmatte für den mobilen Indoor und Outdoor Einsatz
  • Martin Horauer, Markus Ray, Andreas Augustin, Gregor Novak (2010)
  • , Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010
Formale Verifikation von Embedded Systems Software
  • Thomas Reinbacher, Martin Horauer (2010)
  • Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
Development of an Embedded Monitoring Device for a Manufacturing Plant
  • Peter Niklas, Martin Zauner, Martin Horauer (2010)
  • Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China
Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design
  • Peter Balog, Martin Horauer, Peter Rössler (2009)
  • Proceedings of the 2009 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2009), DETC2009-87148, Aug. 30-Sept. 02, 2009, San Diego, USA, pp. 6
Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking
  • Thomas Reinbacher, Martin Horauer, Bastian Schlich (2009)
  • roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic
Model Checking Assembly Code of an Industrial Knitting Machine
  • Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Bauer, Florian Scheuer (2009)
  • Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009
A Test Suite for System Tests of Distributed Automotive Electronics,
  • Oliver Praprotnik, Mario Gartner, Martin Zauner, Martin Horauer (2009)
  • Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta
Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller
  • Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich (2009)
  • Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland
hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
  • Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich (2008)
  • Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
Anwendung eines Benchmark-Frameworks für komponentenbasierte Software eingebetteter Systeme
  • Christof Kutschera, Martin Horauer, Wolfgang Forster (2008)
  • Tagungsband des 2. Forschungsforum der österreichischen Fachhochschulen
Motivating Model Checking of Embedded Systems Software
  • Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich (2008)
  • EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China
Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
  • Paul Milbredt, Andreas Steininger, Martin Horauer (2008)
  • Proceedings of the 4th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong
An Investigation of the Clique Problem in FlexRay
  • Paul Milbredt, Martin Horauer, Andreas Steininger (2008)
  • Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
Neue Testlösungen für die Automobilelektronik
  • Martin Zauner, Oliver Praprotnik, Martin Horauer (2008)
  • Tagungsband zum 2. Forschungsforum der österreichischen Fachhochschulen 26.-27. März 2008, FH Oberösterreich, Campus Wels
Development of a Data Collection Platform
  • Peter Rössler, Josef Radlbauer, Martin Horauer, Franz Lukasch, Marcus Wimmer (2008)
  • Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm
  • Thomas Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl Göschka, Martin Horauer (2007)
  • Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C
A Test Tool for FlexRay-based Embedded Systems
  • Martin Horauer, Oliver Praprotnik, Martin Zauner, Roland Höller, Paul Milbredt (2007)
  • Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007
Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems
  • Martin Horauer (2007)
  • Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA
Entwicklung eines Satellitenmodems
  • Peter Rössler, Josef Radlbauer, Martin Horauer, F. Lukasch, Martin Wimmer (2007)
  • Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria
Komponentenbasierte Systemsoftware für die Automobilelektronik
  • Martin Horauer, Christof Kutschera, Dietmar Schreiner (2007)
  • Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria
A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression
  • Hannes Muhr, Roland Höller, Martin Horauer (2006)
  • Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China
Automatic Parameter Identification in FlexRay based Automotive Communication Networks
  • Eric Armengaud, Andreas Steininger, Martin Horauer (2006)
  • Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic
An Efficient Test and Diganosis Environment for Communication Controllers
  • Eric Armengaud, Andreas Steininger, Martin Horauer (2006)
  • Proceedings of Austrochip 2006, 11 October, Vienna, Austria
A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems
  • Eric Armengaud, Florian Rothensteiner, Andreas Steininger, Roman Pallierer, Martin Horauer, Martin Zauner (2005)
  • paper 2.1 of the International Test Conference (ITC 2005), November, Austin/Texas, USA
A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems
  • Roman Pallierer, Martin Horauer, Martin Zauner, Andreas Steininger, Eric Armengaud, Florian Rothensteiner (2005)
  • Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany
Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example
  • Eric Armengaud, Andreas Steininger, Martin Horauer (2005)
  • Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy
A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories
  • Eric Armengaud, Andreas Steininger, Martin Horauer (2005)
  • Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary
A Method for Bit Level Test and Diagnosis of Communication Services
  • Eric Armengaud, Andreas Steininger, Martin Horauer (2005)
  • Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary
A Monitoring concept for an Automotive Distributed Network - The Flexray Example
  • Eric Armengaud, Andreas Steininger, Martin Horauer, Roman Pallierer, Hannes Friedl (2004)
  • Proceedings of the 7th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2004), 18-21 April 2004, Slovakia
A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems
  • Eric Armengaud, Andreas Steininger, Martin Horauer, Roman Pallierer (2004)
  • Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria
An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol
  • Martin Horauer, Florian Rothensteiner, Martin Zauner, Eric Armengaud, Andreas Steininger, Hannes Friedl, Roman Pallierer (2004)
  • Proceedings of Austrochip 2004, October 2004, Villach, Austria
Design Trade-Offs for Systematic Tests of Embedded Communication Systems
  • Eric Armengaud, Andreas Steininger, Martin Horauer, Roman Pallierer (2004)
  • Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 28 - July 1, Florence, Italy
Monitoring and Fault-Injection of X-by-Wire Communication Networks
  • Roman Pallierer, Martin Horauer, Andreas Steininger (2004)
  • Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany