Publications of FH-Prof. Dipl.-Ing. Dr. Martin Horauer

Books and Book Chapters

Horauer M., Rössler P.: FlexRay, in The Industrial Electronics Handbook (2nd Edition) -- Industrial Communbications Systems, Chapter 44, CRC Press, 2011. ISBN: 978-1-4398-0281-6

P. Balog and M. Horauer (Ed.), Austrochip 2006 - Die österr. Tagung zum Themenbereich des Entwurfs integrierter Schaltungen und Systeme, University of Applied Sciences Technikum Wien, 2006, ISBN-13: 978-3-200-00770-3.

M. Horauer, Clock Synchronization in Distributed Systems - Architecture and Evaluation of Ethernet-based Network Interfaces with support for precision clock synchronization, Doctoral Thesis, Vienna University of Technology 2004, available from Südwestdeutscher Verlag für Hochschulschriften SVH, 2009, ISBN: 978-3-8381-0334-1.

Journal Publications

Fibich Ch., Tauner St., Rössler P., Horauer M., Matschnig M., and Taucher H.: FIJI: Fault InJection Instrumenter, EURASIP Journal on Embedded Systems, Februar 2019, 19 pages, ISSN 1687-3963, doi 10.1186/s13639-019-0088-7.

Horauer M., Widhalm D., Tauner St., and Mirtl St.: Verification challenges of complex system-on-chip devices, e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015), Page 269-273. DOI: 10.1007/s00502-015-0314-5.

Th. Reinbacher, J. Brauer, M. Horauer, A. Steininger, St. Kowalewski: Runtime verification of microcontroller binary code, Elsevier Science of Computer Programming, Volume 80, Part A, pp. 109-129, 1 February 2014.

Horauer M., Zauner M., and Schuster H.: A System-level Test for Automotive Communication Subsystems, e&i, Elektrotechnik und Informationstechnik, Heft 6.2011, S. 215-221, Springer Verlag Wien, österreich.

Th. Reinbacher, J. Brauer, M. Horauer, A. Steininger, St. Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation, in Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10), Open Access Series in Informatics, pp. 101-108, Dagstuhl Publishing OASICS Vol. 16, 2011, ISBN: 978-3-939897-22-4.

Reinbacher Th., Horauer M., Schlich B., Brauer J., and Scheuer F.: Model Checking Embedded Software of an Industrial Knitting Machine, International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2, pp. 186--205, 2011.

E. Armengaud and A. Steininger and M. Horauer, Towards a Systematic Test for Embedded Automotive Communication Systems, IEEE Transactions on Industrial Informatics, Vol. 4 Iss. 3, pp. 146-155, 2008. Best Research Paper Award of the City Council of Vienna MA27

K. Schossmaier and U. Schmid and M. Horauer and D. Loy, Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU), Journal of Real-Time Systems, 1997 May, No. 3, Vol. 12, pp. 295--327.

Magazines

P. Milbredt, M. Horauer, K. Reif, Wakeup and Startup of FlexRay Cross Linkings, ATZ elektronik, p. 30-32, Dez. 2007, ISSN 1862-1791 70934.

Conference Publications

ISIE2019: C. Fibich, M. Horauer and R. Obermaisser, Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection, 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019, pp. 1363-1370. doi: 10.1109/ISIE.2019.8781158

MECO2019: C. Fibich et al., Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications, 2019 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro, 2019, pp. 1-6. doi: 10.1109/MECO.2019.8760041

DCIS2018: David Pescha and Martin Horauer: Eventroms in IEC 61499 Applications, XXXIII Conference on Design of Circuits and Integrated Systems (DCIS ’2018), November 14-16, 2018, Lyon, France, pp. 1-5, ISBN 978-1-7281-0171-2.

SIES2018: Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Martin Matschnig, and Herbert Taucher: Preliminary Evaluation of High-level SynthesisTools-Xilinx Vivado and PandA Bambu, Proceedings of 13th Int. Symp. on Industrial Embedded Systems (SIES'2018), June 6-8, 2018, Graz, Austria.

MESS2018: Christian Fibich, Martin Horauer, and Roman Obermaisser: Automated Fault Tolerance Augmentation for HLS-Generated FPGA Designs, Microelectronic Systems Symp. (MESS’2018), Vienna, Austria.

MESA2017: Jürgen Hausladen, Florian Gerstmayer, Thomas Jerabek and Martin Horauer: Integration of Static Worst-Case Execution Time & Stack Usage Analysis for Embedded Systems Software in a Cloud-Based Development Environment, Proceedings of 13th ASME/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA), IDETC/CIE 2017, DETC2017-67402, p. 6, August 6-9, 2017, Cleveland, Ohio, USA.

MESA2017: Jürgen Hausladen, Florian Gerstmayer, Michael Kramer and Martin Horauer: Methods for Protection of Iintellectual Property in Embedded Software - A Survey, Proceedings of 13th ASME/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA), IDETC/CIE 2017, DETC2017-67422, p. 9, August 6-9, 2017, Cleveland, Ohio, USA.

SIES2017: Christian Fibich, Martin Horauer, Roman Obermaisser: HLShield: A Reliability Enhancement Framework for High-Level Synthesis, Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems (SIES2017), p. 10, 14-16 June 2017, Toulouse, France.

SIES2017: Florian Gerstmayer, Jürgen Hausladen, Michael Kramer and Martin Horauer: A Binary Protection Framework for Embedded Systems Software , Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems (SIES2017), p. 8, 14-16 June 2017, Toulouse, France.

DEPEND2016: Thomas Jerabek and Martin Horauer: Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software, The Ninth International Conference on Dependability (DEPEND 2016), p. 7-14, Nice, July 2016, ISBN: 978-1-61208-492-3

ETFA2016: Bernd Glatz, Harald Schuster, Martin Horauer, Thomas Rauscher, Roman Obermaisser: Fault Injection for IEC 61499 Applications, Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09, (Work-in-Progress Submission).

MESA2016a: Dominik Widhalm, Stefan Tauner, Martin Horauer: Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment, The 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), ID: 83, p. 6, Auckland, New Zealand, 29-31 August 2016.

MESA2016b: Bernd Glatz, Fionn Cleary, Martin Horauer, Harald Schuster, Peter Balog: Complementing Testing of IEC61499 Function Blocks with Model-Checking, The 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), ID: 86, p. 7, Auckland, New Zealand, 29-31 August 2016.

DETC2015: Michael Kramer and Martin Horauer: Software Based Methods to Harden Embedded Software at Run-Time: A Survey, Volume 9: 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015, DETC2015-47357, pp. V009T07A008; 5 pages doi:10.1115/DETC2015-47357, ISBN: 978-0-7918-5719-9

AUSTROCHIP 2015: Stefan Tauner, Dominik Widhalm, Martin Horauer: Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities, Proceedings of the 2015 IEEE Austrian Workshop on Microelectronics, p. 36-41, Vienna, 28 Sept. 2015, DOI 10.1109/Austrochip.2015.8.

ETFA 2015: Bernd Glatz, Roman Beneder, Martin Horauer and Thomas Rauscher: Deadlock Detection Runtime Service for Embedded Linux, Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015. ISBN 978-1-4673-7928-1

SENSORCOMM 2015: Andreas Puhm, Michael Karmer and Martin Horauer: An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization, The Ninth International Conference on Sensor Technologies and Applications SESNROCOMM 2015, p. 64-70, Venice, August 2015, ISBN: 978-1-61208-425-1

I2MTC 2015: Dominik Widhalm, Stefan Tauner, Martin Horauer, Achim Schumacher, Alexander Haggenmiller: 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 2015), May 11-14, 2015, 6 pages.

MESA 2014: Roman Beneder, Bernd Glatz, Martin Horauer, and Thomas Rauscher, Runtime Verification Infrastructure for Embedded Linux, Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA'14), paper ID 017, p. 6, September 10-12, Senigallia - Italy, 2014.

ETFA 2014a: Roman Beneder, Bernd Glatz, Martin Horauer, and Thomas Rauscher, Memory Leak Detection Runtime-Service for Embedded Linux Devices, Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), p. 6, September 16-19, Barcelona - Spain, 2014, , ISBN: 978-1-4799-4846-8.

ETFA 2014b: Andreas Puhm, Michael Kramer, Patrick Moosbrugger, and Martin Horauer, Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation, Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), p. 7, September 16-19, Barcelona - Spain, 2014, ISBN: 978-1-4799-4846-8.

CENICS 2014: Harald Schuster, Martin Horauer, Michael Kramer, Heinz Leibhart, Josef Büger, A Log-Tool Suite for Embedded Systems, Proceedings of the 7th International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2014), November 16-20, 2014 - Lisbon, Portugal, 2014.

MESA2013: Horauer M., Schuster H. and Balog P.: Experimental Assessment of the Clique Problem in FlexRay, Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper no. DETCC2013-12888, Portland OR, USA, Aug. 04-07, 2013.

S4D2012: T. Reinbacher, M. Horauer, and A. Steininger, A Runtime Verification Unit for Microcontrolles, in Proceedings of the 4th System, Software, SoC and Silicon Debug Conference (S4D'12), Vienna, Austria, September 19-20, 2012.

MESA2012: T. Reinbacher, J. Geist, P. Moosbrugger, M. Horauer, and A. Steininger, Parallel runtime verification of temporal properties for embedded software, in Proceedings of the 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA'12), Suzhou, China, July 8-10, 2012, pp. 224-231.

WS4C2011: Reinbacher Th., Gückel D., and Horauer M.: Testing Microcontroller Software Simulators, Proceedings of the 1th Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011.

MESA2011: Reinbacher Th., Steininger A., Müller T., Horauer M., and Brauer J.: Hardware Support for Efficient Testing of Embedded Software, Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper no. DETCC2011-47139, pp. 3-12, Washington DC, USA, Aug. 29-31, 2011.

FMICS2011: Reinbacher Th., Brauer J., Horauer M., Steininger A., and Kowalewski St.: Past Time LTL Runtime Verification for Microcontroller Binary Code, Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, 2011, Volume 6959/2011, pp. 37-51, DOI: 10.1007/978-3-642-24431-5_5, Trento, Italy, Aug. 29-30, 2011. (Best Paper Award)

CENICS2011: Kutschera Ch., Horauer M., Ray M., Steinmair D. and Gorski P.: A Flexible Sensor-mat to Automate the Process of People Counting, Proceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, pp. 13-16, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011. ISBN: 978-1-61208-150-2

MEMICS2010: Reinbacher Th., Brauer J., Horauer M., Steininger A., Kowalewski St.: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation, In Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10), Mikulov, Czech Republic, October 22- 24 2010, pp. 151-158. (Best Paper Award)

MESA2010: Niklas P., Zauner M., Horauer M.: Development of an Embedded Monitoring Device for a Manufacturing Plant, Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), p. 398-402, July 15-17, 2010, Qingdao, China.

REALCORP2010: Horauer M., Ray M., Augustin A. and Novak G.: FlexiCount: Eine flexible Personenzählmatte für den mobilen Indoor und Outdoor Einsatz, Proceedings Real Corp 2010, pp. 1095-1100, Vienna, Austria, May 18-20, 2010.

ME2010: Reinbacher Th., Horauer M.: Formale Verifikation von Embedded Systems Software, Informationstagung Mikroelektronik (ME 2010), pp. 289-296, Vienna, Austria, April 7-8, 2010.

EM-Com2009: Reinbacher Th., Horauer M., Schlich B., Brauer J., Scheuer F.: Model Checking Assembly Code of an Industrial Knitting Machine, Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), pp. 97-104, Jeju, Korea, Dec. 10-12, 2009.

CENICS2009: Praprotnik O., Gartner M., Zauner M., Horauer M.: A Test Suite for System Tests of Distributed Automotive Electronics, Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), pp. 67--70, Oct. 11-16, 2009, Sliema, Malta.

SIES2009: Reinbacher Th., Brauer J., Horauer M., Schlich B.: Mastering Architectural Peculiarities in Static Analysis for the Intel MCS-51 Microcontroller, Proceedings of the 2009 International Symposium on Industrial Embedded Systems (SIES 2009), pp. 161--170, July. 8-10, 2009, Lausanne, Switzerland.

MESA2009: Balog P., Horauer M. and Roessler P.: Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design, Proceedings of the 2009 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2009), DETC2009-87148, p. 6, Aug. 30-Sept. 02, 2009, San Diego, USA.

DDECS2009: Reinbacher Th., Horauer M. and Schlich B.: Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking, Proceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), pp. 114--119, April 15-17, 2009, Liberec, Czech Republic.

MESA2008: Reinbacher Th., Kramer M., Horauer M., Schlich B.: Motivating Model Checking of Embedded Systems Software, Proceedings of the 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2008), pp. 546--551, October 12-15, 2008, Beijing, China. ISBN: 978-1-4244-2367-5

ISIE2008: Roessler P., Radlbauer J., Horauer M., Lukasch F., Wimmer M.: Development of a Data Collection Platform, Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), pp. 1953-1958, June 30 - July 2, 2008, Cambridge. ISBN: 978-1-4244-1665-3

SIES2008: Reinbacher Th., Kramer M., Horauer M. and Schlich B.: Challenges in Embedded Model Checking – A Simulator for the [mc]square Model Checker, Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), p.277-280, June 11-13, 2008, Montpellier.

SIES2008: Milbredt P., Horauer M. and Steininger A.: An Investigation of the Clique Problem in FlexRay, Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), p.224-231, June 11-13, 2008, Montpellier.

DELTA2008: Milbredt P., Steininger A. and Horauer M.: Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks, Proceedings of the 4th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2008), p.533-538, Jan. 23-25, 2008, Hong Kong.

MESA2007: Horauer M., Armengaud E. and Steininger A.: CONCEPTS AND TOOLS FOR THE TEST OF THE COMMUNICATION SUB-SYSTEM OF TIME-TRIGGERED DISTRIBUTED EMBEDDED SYSTEMS, Proceedings of the 3nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA07), p.8, Sept. 4-7, 2007, Las Vegas, USA, DETC2007-34439. (Best Paper in Computational Methods and Software)

SIES2007: Horauer M., Praprotnik O., Zauner M., Höller R., Milbredt P.: A Test Tool for FlexRay-based Embedded Systems, Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), pp. 349-352, Lisbon - Portugal, 4-6 July, 2007, ISBN: 1-4244-0840-7.

SIES2007: Th. M. Galla, D. Schreiner, W. Forster, Ch. Kutschera, K. M. Göschka, M. Horauer: Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm, Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), pp. 200-208, Lisbon - Portugal, 4-6 July, 2007, ISBN: 1-4244-0840-7.

MESA2006: H. Muhr, R. Höller and M. Horauer, A Heterogeneous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression, Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA, pp. 20-25, August 13-16, 2006, Beijing, China.

ETFA2006: E. Armengaud, A. Steininger and M. Horauer, Automatic Parameter Identfication in FlexRay based Automotive Communication Networks, 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague - Czech Republic, pp. 897-904, Sept. 2006.

Austrochip2005: E. Armengaud, A. Steininger and M. Horauer, "An Efficient Test and Diagnosis Environment for Communication Controllers", Austrochip 2005 , Vienna - Austria, Oct. 2005.

ETFA2005: E. Armengaud, A. Steininger and M. Horauer, Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example, 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Catania - Italy, pp. 763-770, Sept. 2005, ISBN: 0-7803-9402-X.

ITC2005: E. Armengaud, F. Rothensteiner, A. Steininger, R. Pallierer, M. Horauer and M. Zauner, A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems, Int. Test Conference (ITC 2005), paper 2.1, Austin - Texas - USA, Nov. 2005.

DDECS2005: E. Armengaud, A.Steininger and M.Horauer, A Method for Bit Level Test and Diagnosis of Communication Services, 8th International Workshop on on Design and Diagnostics of Electronic Circuits and Systems (DDECS2005), Sopron - Hungary, April, 2005.

DDECS2005: E. Armengaud, A.Steininger and M.Horauer, A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories, 8th International Workshop on on Design and Diagnostics of Electronic Circuits and Systems (DDECS2005), Sopron - Hungary, April, 2005. (Best Paper Award))

Embedded World2005: R. Pallierer, M. Horauer, M. Zauner, A. Steininger, E. Armengaud and F. Rothensteiner, A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems, Embedded World 2005 Conference, pp. 42-49, Nürnberg - Germany, February 2005.

WFCS2004: E. Armengaud, A.Steininger, M.Horauer and R.Pallierer, A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems, 5th International Workshop on Factory Communication Systems (WFCS2004), pp. 275-283, Vienna - Austria, September 22-24, 2004.

DSN2004: E. Armengaud, A.Steininger, M.Horauer and R.Pallierer, Trade-offs for Systematic Tests of Embedded Communication Systems, Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks (DSN2004), pp. 118--119, Florence - Italy, June 28 - July 1, 2004.

DDECS2004: E. Armengaud, A.Steininger, M.Horauer, R.Pallierer and H. Friedl, A Monitoring Concept for an Automotive Distributed Network - The FlexRay Example, 7th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS2004), pp. 173--178, Slovakia, April 18-21, 2004.

Austrochip2004: M. Horauer, F. Rothensteiner, M. Zauner, E.Armengaud, A. Steininger, H. Friedl and R. Pallierer, An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol, Austrochip 2004, pp. 119-123, Villach - Austria, October 2004. ISBN: 3-200-00211-5

D&E2004 R. Pallierer, M. Horauer and A. Steininger, Monitoring and Fault-Injection of X-by-Wire Communication Networks, Design & Elektronik Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", Munich - Germany, July 2004.

WorkshopIEEE1588: N. Kerö, H. Muhr, G. Gaderer, R. Höller, T. Sauter, M.Horauer, Embedded SynUTC and IEEE 1588 Clock Synchronization for Industrial Ethernet, Workshop on IEEE-1588, Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems, National Institute of Standards and Technology, Gaithersburg, Maryland USA, 24 September, 2003.

PTTO2002: Martin Horauer, Ulrich Schmid, Klaus Schossmaier, Roland Höller, Nikolaus Kerö, PSynUTC - Evaluation of a High Precision Time Synchronization Prototype System for Ethernet LANs, Proceedings of the 34th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'02), Reston, Virginia, USA. December 2002.

SSGRR2002: M. Horauer, R. Höller, Integration of high accurate Clock Synchronization into Ethernet-based Distributed Systems, International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, SSGRR 2002, Jan. 21 - 27, L'Aquila, Italy.

LECC2002: R. Höller, G.Gridling, M. Horauer, N.Kerö, U.Schmid, K. Schossmaier, SynUTC - High Precision Time Synchronization over Ethernet Networks, Proceedings of the 8th Workshop on Electronics for LHC Experiments, Colmar, France, 9-13 September, 2002.

Austrochip2000: M. Horauer, N. Kerö, U. Schmid, A network interface for highly accurate clock synchronization, Proceedings Austrochip 2000, pp93-101, ISBN 3-9501349-0-5.

DSN2001: M. Horauer, Hardware Support for Clock Synchronization in Distributed Systems, Supplement of the 2001 International Conference on Dependable Systems and Networks, Göteborg, Sweden, 1-4 July 2001, pp. A-10 - A-13 (Best Student Paper).

PTTI1999: U.Schmid, M.Horauer, N.Kerö, How to Distribute GPS-Time over COTS-based LANs, 31st Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting, Dana Point - California, December 7-9, 1999.

WPDRTS1998: M. Horauer and U. Schmid and K. Schossmaier, NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization, Proceedings of the 6th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Orlando Florida USA, March 30 -- April 3 1998.

Austrochip1998: M. Horauer, D. Loy, Hardware-unterstützte Uhrensynchronisation in verteilten Systemen,Proceedings Austrochip 98 pp. 67--72, Wiener Neustadt, Austria, October 1998, ISBN 3-901578-03-X. (in german)

Austrochip1997: M. Horauer and D. Loy,UTCLIENT - an ASIC Supporting Clock Synchronization in Distributed Real-Time Systems, Proceedings of Austrochip '97, 1997 April, Linz Austria, pp. 290--296, ISBN 3 85320 826 6, Universitätsverlag Rudolf Trauner.

Austrochip1995: M. Horauer and D. Loy, Adder Synthesis, Proceedings of Austrochip '95, Graz Austria, pp. 81--87, 1995.

Patents

N. Kerö, U. Schmid, M. Horauer, Method for synchronizing computer clocks in networks used for information transmission, device for carrying out said method and data packet suitable for the synchronization of computer clocks, Patent No.: AT5327U (Austrian Patent 05-27-2002), Patent No.: EP1261905 (European Patent 04-12-2002), Patent No.: US2003154309 (US Patent 14-08-2003), Patent No: WO0167216 (Worldwide Patent 13-09-2001)

Further Publications

M. Horauer, W. Duhms, Erweiterngsplatine und Simulatins DLL für das C167-Starterkit, PC-News, p.56 vol. 74, September, 2001.

A. Hubman, M. Horauer, C167-based MP3-Player, Digital inSight, Infineon Technologies, Vol. 1, No. 1, 2000.

A. Hubman, M. Horauer, C167-based MP3-Player, Contact - Infineon Technologies Development Tools Partners Magazine, pp.23, Infineon Technologies, Vol. 3, No. 9, Sept. 2000.

M. Horauer, A. Hubman, MP3 Player mit Infineon C167, PC-News, p.88 vol. 68, June 2000.

M. Horauer, Mikrocomputer - Übungsskriptum zur Lehrveranstaltung 384.005, Research Group Computer Technology, Vienna University of Technology, 1999 (in German).

M. Horauer, Entwicklung einer Network Timestamp Unit für einen Versatile Timing Analyzer zum Monitoring von verteilten Echtzeitsystemen, Diploma thesis, Research Group Computer Technology, Vienna University of Technology, 1994 September (in German).

Short Term Courses & Talks

M. Horauer, Introduction to Model-Checking, lecture at the Technological Educational Institute of Eastern Macedonia and Thrace, Kavala, Greece, 2018.

M. Horauer, Introduction to FlexRay, lecture at the University Budapest, Hungary, 2013.

M. Horauer, Microcontroller Workshop, lecture at the T.E.I. of Kavala, Greece, 2011.

M. Horauer, Embedded Linux, ÖVE/OGMA PI-Seminar for HTL-Teachers, Hollabrunn, Austria, 2011.

M. Horauer, Introduction to FlexRay, lecture at the T.E.I of Kavala, Greece, 2010.

M. Horauer, FlexRay -- a leap ahead?, Kolloquium at the University of Koblenz-Landau, Koblenz, November 2009.

M. Horauer, Controller Area Network, Einführung und Anwendung, Seminar im Rahmen der Vortragsserie: Bussysteme für Gebäude- und Industrieautomation, Veranstalter ÖVE/OGMA und das Pädagogische Institut des Landes Tirol, Innsbruck, April 2002.

M. Horauer, Real-Time Operating Systems, Seminar at the Polytechnic Tornio-Kemi (1 week guest lecturer), Kemi, Finnland, September 2002.

P. Balog, M. Horauer, Computerarchitektur, Schulungsseminar für die Fa. Austrocontrol, Wien, April 2001.

D.Dietrich, D. Loy, M. Horauer, R. Weisgärger, VHDL - Einführung, Hochschulkurs am Außeninstitut der TU-Wien, Wien, März 1996.