@inproceedings{PraprotnikGartnerZauneretal., author = {Praprotnik, Oliver and Gartner, Mario and Zauner, Martin and Horauer, Martin}, title = {A Test Suite for System Tests of Distributed Automotive Electronics,}, series = {Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta}, booktitle = {Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta}, subject = {Embedded Systems}, language = {de} } @misc{GlatzClearyHoraueretal., author = {Glatz, Bernd and Cleary, Fionn and Horauer, Martin and Schuster, Harald and Balog, Peter}, title = {Complementing Testing of IEC61499 Function Blocks with Model-Checking}, subject = {Embedded Systems}, language = {en} } @inproceedings{PuhmKramerHorauer, author = {Puhm, Andreas and Kramer, Michael and Horauer, Martin}, title = {An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization}, series = {Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015}, booktitle = {Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015}, pages = {64 -- 70}, subject = {Clock Synchronization}, language = {en} } @inproceedings{ArmengaudSteiningerHoraueretal., author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin and Pallierer, Roman and Friedl, Hannes}, title = {A Monitoring concept for an Automotive Distributed Network - The Flexray Example}, series = {Proceedings of the 7th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2004), 18-21 April 2004, Slovakia}, booktitle = {Proceedings of the 7th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2004), 18-21 April 2004, Slovakia}, pages = {173 -- 178}, subject = {Monitoring}, language = {en} } @inproceedings{ArmengaudSteiningerHoraueretal., author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin and Pallierer, Roman}, title = {Design Trade-Offs for Systematic Tests of Embedded Communication Systems}, series = {Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 28 - July 1, Florence, Italy}, booktitle = {Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 28 - July 1, Florence, Italy}, pages = {118 -- 119}, subject = {Test Design}, language = {en} } @inproceedings{PeschaHorauer, author = {Pescha, David and Horauer, Martin}, title = {Eventroms in IEC 61499 Applications}, series = {Proceedings of XXXIII Conference on Design of Circuits and Integrated Systems (DCIS '2018), November 14-16, 2018, Lyon, France}, booktitle = {Proceedings of XXXIII Conference on Design of Circuits and Integrated Systems (DCIS '2018), November 14-16, 2018, Lyon, France}, isbn = {978-1-7281-0171-2}, pages = {6}, subject = {IEC Standards}, language = {en} } @inproceedings{HausladenGerstmayerJerabeketal., author = {Hausladen, J{\"u}rgen and Gerstmayer, Florian and Jerabek, Thomas and Horauer, Martin}, title = {Integration of Static Worst-Case Execution Time \& Stack Usage Analysis for Embedded Systems Software in a Cloud-Based Development Environment}, series = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, booktitle = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, subject = {Cloud}, language = {en} } @inproceedings{HausladenGerstmayerKrameretal., author = {Hausladen, J{\"u}rgen and Gerstmayer, Florian and Kramer, Michael and Horauer, Martin}, title = {Methods for Protection of Iintellectual Property in Embedded Software - A Survey}, series = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, booktitle = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, subject = {Intellectual Property}, language = {en} } @inproceedings{GlatzSchusterHoraueretal., author = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman}, title = {Fault Injection for IEC 61499 Applications}, series = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09}, booktitle = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09}, subject = {Embedded Systems}, language = {en} } @inproceedings{GerstmayerHausladenKrameretal., author = {Gerstmayer, Florian and Hausladen, J{\"u}rgen and Kramer, Michael and Horauer, Martin}, title = {A Binary Protection Framework for Embedded Systems Software}, series = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, booktitle = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, subject = {Protection Framework}, language = {en} } @inproceedings{JerabekHorauer, author = {Jerabek, Thomas and Horauer, Martin}, title = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software}, series = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016}, booktitle = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016}, subject = {Embedded Systems}, language = {en} } @misc{GerstmayerHausladenKrameretal., author = {Gerstmayer, Florian and Hausladen, J{\"u}rgen and Kramer, Michael and Horauer, Martin}, title = {A Binary Protection Framework for Embedded Systems Software}, subject = {Protection Framework}, language = {en} } @misc{GlatzSchusterHoraueretal., author = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman}, title = {Fault Injection for IEC 61499 Applications}, subject = {Embedded Systems}, language = {en} } @inproceedings{HausladenPohnHorauer, author = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin}, title = {A Cloud-Based Approach to Development of Embedded Systems Software}, series = {Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015}, booktitle = {Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015}, pages = {7}, subject = {Cloud}, language = {en} } @inproceedings{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, series = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, booktitle = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, subject = {Linux}, language = {en} } @misc{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, subject = {Linux}, language = {en} } @misc{JerabekHorauer, author = {Jerabek, Thomas and Horauer, Martin}, title = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software}, subject = {Embedded Systems}, language = {de} } @inproceedings{KutscheraHorauerRayetal., author = {Kutschera, Christof and Horauer, Martin and Ray, Markus and Steinmair, Daniel and Gorski, Peter}, title = {A Flexible Sensor-mat to Automate the Process of People Counting}, series = {roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011}, booktitle = {roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011}, isbn = {978-1-61208-150-2}, pages = {13 -- 16}, subject = {Person Counting}, language = {en} } @inproceedings{BenederGlatzHoraueretal., author = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas}, title = {Memory Leak Detection Runtime-Service for Embedded Linux Devices}, series = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014}, booktitle = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014}, subject = {Software}, language = {en} } @inproceedings{BenederGlatzHoraueretal., author = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas}, title = {Runtime Verification Infrastructure for Embedded Linux}, series = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, subject = {Embedded Systems}, language = {en} }