FH-Prof. DI Dr. Martin Horauer

Article

• Horauer, Martin; Widhalm, Dominik; Tauner, Stefan; Mirtl, Stefan (2015) Verification challenges of complex system-on-chip devices, in: e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
• Reinbacher, Thomas; Brauer, Jörg; Horauer, Martin; Steininger, Andreas; Kowalewski, Stefan (2014) Runtime verification of microcontroller binary code, in: Elsevier Science of Computer Programming, Volume 80, Part A
• Horauer, Martin; Zauner, Martin; Schuster, Harald (2011) A System-level Test for Automotive Communication Subsystems, in: e&i, Elektrotechnik und Informationstechnik, Heft 6.2011
• Reinbacher, Thomas; Horauer, Martin; Schlich, Bastian; Brauer, Jörg; Scheuer, Florian (2011) Model Checking Embedded Software of an Industrial Knitting Machine, in: International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2
• Armengoud, Eric; Steininger, Andreas; Horauer, Martin (2008) Towards a Systematic Test for Embedded Automotive Communication Systems, in: IEEE Transactions on Industrial Informatics, Vol. 4, Iss. 3
• Milbredt, Paul; Horauer, Martin; Reif, Konrad (2007) Wakeup and Startup of FlexRay Cross Linkings, in: ATZ elektronik, p. 30-32, Dez. 2007

Conference Proceeding

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

Lecture

• Fibich, Christian; Tauner, Stefan; Rössler, Peter; Horauer, Martin; Matschnig, Martin; Taucher, Herbert (2018) Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu, IEEE 13th International Symposium on Industrial Embedded Systems (SIES), Graz, 2018
• Gerstmayer, Florian; Hausladen, Jürgen; Kramer, Michael; Horauer, Martin (2017) A Binary Protection Framework for Embedded Systems Software, 12th IEEE International Symposium on Industrial Embedded Systems (SIES2017)
• Glatz, Bernd; Schuster, Harald; Horauer, Martin; Rauscher, Thomas; Obermaisser, Roman (2016) Fault Injection for IEC 61499 Applications, 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09
• Glatz, Bernd; Cleary, Fionn; Horauer, Martin; Schuster, Harald; Balog, Peter (2016) Complementing Testing of IEC61499 Function Blocks with Model-Checking, The 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016
• Jerabek, Thomas; Horauer, Martin (2016) Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software, The Ninth International Conference on Dependability (DEPEND 2016), Nice, July 2016
• Widhalm, Dominik; Tauner, Stefan; Horauer, Martin (2015) Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment, The Ninth International Conference on Dependability (DEPEND 2016), Nice, July 2016
• Glatz, Bernd; Beneder, Roman; Horauer, Martin; Rauscher, Thomas (2015) Deadlock Detection Runtime Service for Embedded Linux, 0th Conference on Emerging Technologies & Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015
• Widhalm, Dominik; Tauner, Stefan; Horauer, Martin; Schumacher, Achim; Haggenmiller, Alexander (2015) A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,, IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015
• Tauner, Stefan; Widhalm, Dominik; Horauer, Martin (2015) Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities, IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015,
• Hausladen, Jürgen; Pohn, Birgit; Horauer, Martin (2014) A Cloud-based Integrated Development Environment for Embedded Systems, 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
• Schuster, Harald; Horauer, Martin; Kramer, Michael; Liebhart, Heinz; Büger, Josef (2014) A Log-Tool Suite for Embedded Systems, 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal

Part of a book

• Horauer, Martin; Rössler, Peter (2011) FlexRay (Chapter 44), in: The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011, CRC Press