@inproceedings{SchusterHorauerKrameretal., author = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Leibhart, Heinz and B{\"u}ger, Josef}, title = {A Log-Tool Suite for Embedded Systems}, series = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal}, booktitle = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal}, subject = {Embedded Systems}, language = {en} } @inproceedings{HorauerRayAugustinetal., author = {Horauer, Martin and Ray, Markus and Augustin, Andreas and Novak, Gregor}, title = {FlexiCount: Eine flexible Personenz{\"a}hlmatte f{\"u}r den mobilen Indoor und Outdoor Einsatz}, series = {, Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010}, booktitle = {, Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010}, pages = {1095 -- 1100}, subject = {Person Counting}, language = {de} } @inproceedings{ArmengaudRothensteinerSteiningeretal., author = {Armengaud, Eric and Rothensteiner, Florian and Steininger, Andreas and Pallierer, Roman and Horauer, Martin and Zauner, Martin}, title = {A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems}, series = {paper 2.1 of the International Test Conference (ITC 2005), November, Austin/Texas, USA}, booktitle = {paper 2.1 of the International Test Conference (ITC 2005), November, Austin/Texas, USA}, subject = {Testing}, language = {en} } @inproceedings{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}, series = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016}, booktitle = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Schlich, Bastian}, title = {Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller}, series = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland}, booktitle = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland}, pages = {161 -- 170}, subject = {Embedded Systems}, language = {en} } @inproceedings{Horauer, author = {Horauer, Martin}, title = {Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems}, series = {Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA}, booktitle = {Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA}, subject = {Embedded Systems}, language = {en} } @incollection{HorauerRoessler, author = {Horauer, Martin and R{\"o}ssler, Peter}, title = {FlexRay (Chapter 44)}, series = {The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011}, booktitle = {The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011}, publisher = {CRC Press}, publisher = {Fachhochschule Technikum Wien}, subject = {Industrial}, language = {en} } @inproceedings{BalogHorauerRoessler, author = {Balog, Peter and Horauer, Martin and R{\"o}ssler, Peter}, title = {Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design}, series = {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}, booktitle = {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}, pages = {6}, subject = {Embedded Systems}, language = {en} } @inproceedings{RoesslerRadlbauerHoraueretal., author = {R{\"o}ssler, Peter and Radlbauer, Josef and Horauer, Martin and Lukasch, Franz and Wimmer, Marcus}, title = {Development of a Data Collection Platform}, series = {Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge}, booktitle = {Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge}, subject = {Data Collection}, language = {en} } @misc{SchusterHorauerKrameretal., author = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Liebhart, Heinz and B{\"u}ger, Josef}, title = {A Log-Tool Suite for Embedded Systems}, subject = {Embedded Systems}, language = {en} } @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} } @inproceedings{KramerHorauer, author = {Kramer, Michael and Horauer, Martin}, title = {Software Based Methods to Harden Embedded Software at Run-Time: A Survey}, series = {ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015}, booktitle = {ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015}, isbn = {978-0-7918-5719-9}, pages = {5}, subject = {Embedded Systems}, language = {en} } @inproceedings{HausladenPohnHorauer, author = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin}, title = {A Cloud-based Integrated Development Environment for Embedded Systems}, 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} } @inproceedings{HorauerSchusterBalog, author = {Horauer, Martin and Schuster, Harald and Balog, Peter}, title = {Experimental Assessment of the Clique Problem in FlexRay}, series = {Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013}, booktitle = {Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013}, subject = {Embedded Systems}, language = {en} } @article{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Runtime verification of microcontroller binary code}, series = {Elsevier Science of Computer Programming, Volume 80, Part A}, journal = {Elsevier Science of Computer Programming, Volume 80, Part A}, number = {Elsevier Science of Computer Programming, Volume 80, Part A}, pages = {pp. 109-129}, subject = {Microcontroller}, language = {en} } @misc{HausladenPohnHorauer, author = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin}, title = {A Cloud-based Integrated Development Environment for Embedded Systems}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Past Time LTL Runtime Verification for Microcontroller Binary Code}, series = {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}, booktitle = {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}, pages = {37 -- 51}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherSteiningerMuelleretal., author = {Reinbacher, Thomas and Steininger, Andreas and M{\"u}ller, Tobias and Horauer, Martin and Brauer, J{\"o}rg}, title = {Hardware Support for Efficient Testing of Embedded Software}, series = {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}, booktitle = {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}, pages = {1 -- 10}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherHorauerSchlich, author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian}, title = {Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking}, series = {roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic}, booktitle = {roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic}, pages = {114 -- 119}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Test-Case Generation for Embedded Binary Code Using Abstract Interpretation}, series = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010}, booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010}, subject = {Embedded Systems}, language = {en} } @article{ReinbacherHorauerSchlichetal., author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Brauer, J{\"o}rg and Scheuer, Florian}, title = {Model Checking Embedded Software of an Industrial Knitting Machine}, series = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2}, journal = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2}, number = {Vol. 1, No. 2}, pages = {pp. 186-205}, subject = {Model Checking}, language = {de} } @inproceedings{NiklasZaunerHorauer, author = {Niklas, Peter and Zauner, Martin and Horauer, Martin}, title = {Development of an Embedded Monitoring Device for a Manufacturing Plant}, series = {Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China}, booktitle = {Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China}, pages = {398 -- 402}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherGueckelHorauer, author = {Reinbacher, Thomas and G{\"u}ckel, Dominique and Horauer, Martin}, title = {Testing Microcontroller Software Simulators}, series = {Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011}, booktitle = {Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011}, subject = {Embedded Systems}, language = {en} } @article{HorauerZaunerSchuster, author = {Horauer, Martin and Zauner, Martin and Schuster, Harald}, title = {A System-level Test for Automotive Communication Subsystems}, series = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011}, journal = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011}, number = {Heft 6.2011}, pages = {S. 215-221}, subject = {Automotive}, language = {en} } @inproceedings{ReinbacherHorauer, author = {Reinbacher, Thomas and Horauer, Martin}, title = {Formale Verifikation von Embedded Systems Software}, series = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010}, booktitle = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010}, pages = {289 -- 296}, subject = {Embedded Systems}, language = {en} } @inproceedings{GallaSchreinerForsteretal., author = {Galla, Thomas and Schreiner, Dietmar and Forster, Wolfgang and Kutschera, Christof and G{\"o}schka, Karl and Horauer, Martin}, title = {Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm}, series = {Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C}, booktitle = {Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C}, isbn = {1-4244-0840-7}, pages = {200 -- 208}, subject = {Embedded Systems}, language = {en} } @inproceedings{HorauerPraprotnikZauneretal., author = {Horauer, Martin and Praprotnik, Oliver and Zauner, Martin and H{\"o}ller, Roland and Milbredt, Paul}, title = {A Test Tool for FlexRay-based Embedded Systems}, series = {Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007}, booktitle = {Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007}, isbn = {1-4244-0840-7}, pages = {349 -- 352}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherHorauerSchlichetal., author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Bauer, J{\"o}rg and Scheuer, Florian}, title = {Model Checking Assembly Code of an Industrial Knitting Machine}, series = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009}, booktitle = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009}, pages = {97 -- 104}, subject = {Embedded Systems}, language = {de} } @inproceedings{ReinbacherKramerHoraueretal., author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian}, title = {hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker}, series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, pages = {277 -- 280}, subject = {Embedded Systems}, language = {en} } @inproceedings{KutscheraHorauerForster, author = {Kutschera, Christof and Horauer, Martin and Forster, Wolfgang}, title = {Anwendung eines Benchmark-Frameworks f{\"u}r komponentenbasierte Software eingebetteter Systeme}, series = {Tagungsband des 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen}, booktitle = {Tagungsband des 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen}, publisher = {Shaker Verlag}, subject = {Embedded Systems}, language = {de} } @inproceedings{ReinbacherKramerHoraueretal., author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian}, title = {Motivating Model Checking of Embedded Systems Software}, series = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China}, booktitle = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China}, isbn = {978-1-4244-2367-5}, pages = {546 -- 551}, subject = {Embedded Systems}, language = {en} } @inproceedings{MilbredtSteiningerHorauer, author = {Milbredt, Paul and Steininger, Andreas and Horauer, Martin}, title = {Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks}, series = {Proceedings of the 4th IEEE International Symposium on Electronic Design, Test \& Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong}, booktitle = {Proceedings of the 4th IEEE International Symposium on Electronic Design, Test \& Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong}, pages = {533 -- 538}, subject = {Embedded Systems}, language = {en} } @inproceedings{MilbredtHorauerSteininger, author = {Milbredt, Paul and Horauer, Martin and Steininger, Andreas}, title = {An Investigation of the Clique Problem in FlexRay}, series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, isbn = {978-1-4244-1994-4}, subject = {Embedded Systems}, language = {en} } @inproceedings{ZaunerPraprotnikHorauer, author = {Zauner, Martin and Praprotnik, Oliver and Horauer, Martin}, title = {Neue Testl{\"o}sungen f{\"u}r die Automobilelektronik}, series = {Tagungsband zum 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen 26.-27. M{\"a}rz 2008, FH Ober{\"o}sterreich, Campus Wels}, booktitle = {Tagungsband zum 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen 26.-27. M{\"a}rz 2008, FH Ober{\"o}sterreich, Campus Wels}, publisher = {Shaker Verlag}, isbn = {978-3-8322-7023-0}, pages = {267 -- 273}, subject = {Embedded Systems}, language = {de} } @inproceedings{MuhrHoellerHorauer, author = {Muhr, Hannes and H{\"o}ller, Roland and Horauer, Martin}, title = {A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression}, series = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China}, booktitle = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China}, subject = {Hardware}, language = {en} } @inproceedings{PalliererHorauerZauneretal., author = {Pallierer, Roman and Horauer, Martin and Zauner, Martin and Steininger, Andreas and Armengaud, Eric and Rothensteiner, Florian}, title = {A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems}, series = {Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany}, booktitle = {Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany}, pages = {42 -- 49}, subject = {Automotive}, language = {de} } @inproceedings{ArmengaudSteiningerHorauer, author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin}, title = {Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example}, series = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy}, booktitle = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy}, pages = {763 -- 770}, subject = {Testing}, language = {en} } @inproceedings{ArmengaudSteiningerHorauer, author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin}, title = {Automatic Parameter Identification in FlexRay based Automotive Communication Networks}, series = {Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic}, booktitle = {Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic}, pages = {897 -- 904}, subject = {Automotive}, language = {en} } @inproceedings{ArmengaudSteiningerHorauer, author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin}, title = {A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories}, series = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary}, booktitle = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary}, pages = {113 -- 120}, subject = {Hardware Architecture}, language = {en} } @inproceedings{ArmengaudSteiningerHorauer, author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin}, title = {A Method for Bit Level Test and Diagnosis of Communication Services}, series = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary}, booktitle = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary}, pages = {69 -- 74}, subject = {Testing}, language = {en} } @inproceedings{HorauerKutscheraSchreiner, author = {Horauer, Martin and Kutschera, Christof and Schreiner, Dietmar}, title = {Komponentenbasierte Systemsoftware f{\"u}r die Automobilelektronik}, series = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria}, booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria}, subject = {Automotive}, language = {de} } @inproceedings{ArmengaudSteiningerHorauer, author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin}, title = {An Efficient Test and Diganosis Environment for Communication Controllers}, series = {Proceedings of Austrochip 2006, 11 October, Vienna, Austria}, booktitle = {Proceedings of Austrochip 2006, 11 October, Vienna, Austria}, subject = {Testing}, language = {en} } @inproceedings{HorauerRothensteinerZauneretal., author = {Horauer, Martin and Rothensteiner, Florian and Zauner, Martin and Armengaud, Eric and Steininger, Andreas and Friedl, Hannes and Pallierer, Roman}, title = {An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol}, series = {Proceedings of Austrochip 2004, October 2004, Villach, Austria}, booktitle = {Proceedings of Austrochip 2004, October 2004, Villach, Austria}, pages = {119 -- 123}, subject = {Embedded Systems}, language = {en} } @inproceedings{ArmengaudSteiningerHoraueretal., author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin and Pallierer, Roman}, title = {A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems}, series = {Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria}, booktitle = {Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria}, pages = {275 -- 283}, subject = {Testing}, language = {en} } @inproceedings{PalliererHorauerSteininger, author = {Pallierer, Roman and Horauer, Martin and Steininger, Andreas}, title = {Monitoring and Fault-Injection of X-by-Wire Communication Networks}, series = {Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany}, booktitle = {Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany}, subject = {Communication Network}, language = {en} } @article{MilbredtHorauerReif, author = {Milbredt, Paul and Horauer, Martin and Reif, Konrad}, title = {Wakeup and Startup of FlexRay Cross Linkings}, series = {ATZ Elektronik}, journal = {ATZ Elektronik}, pages = {30 -- 32}, subject = {Collision Avoidance}, language = {en} } @article{ArmengaudSteiningerHorauer, author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin}, title = {Towards a Systematic Test for Embedded Automotive Communication Systems}, series = {IEEE Transactions on Industrial Informatics}, volume = {4}, journal = {IEEE Transactions on Industrial Informatics}, number = {3}, pages = {146 -- 155}, subject = {Embedded Systems}, language = {en} } @inproceedings{FibichHorauerObermaisser, author = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman}, title = {HLShield: A Reliability Enhancement Framework for High-Level Synthesis}, series = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, booktitle = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, subject = {Embedded Systems}, language = {en} } @misc{FibichTaunerRoessleretal., author = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Matschnig, Martin and Taucher, Herbert}, title = {Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu}, subject = {FPGA}, language = {en} } @inproceedings{FibichTaunerRoessleretal., author = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin}, title = {Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures}, series = {Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria}, booktitle = {Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria}, pages = {663 -- 672}, subject = {Embedded Systems}, language = {en} } @inproceedings{FibichHorauerObermaisser, author = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman}, title = {Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs}, series = {Proceedings of the 2021 Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 1-5 February 2021, Grenoble, France}, booktitle = {Proceedings of the 2021 Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 1-5 February 2021, Grenoble, France}, pages = {1600 -- 1605}, subject = {FPGA}, language = {en} } @inproceedings{FibichTaunerRoessleretal., author = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Krapfenbauer, Markus and Linauer, Martin and Matschnig, Martin and Taucher, Herbert}, title = {Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications}, series = {8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro}, booktitle = {8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro}, pages = {6}, subject = {Embedded Systems}, language = {en} } @inproceedings{FibichTaunerRoessleretal., author = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Matschnig, Martin and Taucher, Herbert}, title = {Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu}, series = {IEEE 13th International Symposium on Industrial Embedded Systems (SIES), Graz, 2018}, booktitle = {IEEE 13th International Symposium on Industrial Embedded Systems (SIES), Graz, 2018}, pages = {4}, subject = {FPGA}, language = {en} } @inproceedings{FibichHorauerObermaisser, author = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman}, title = {Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection}, series = {2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019}, booktitle = {2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019}, pages = {1363 -- 1370}, subject = {Circuit faults}, language = {en} } @article{FibichTaunerRoessleretal., author = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Matschnig, Martin and Taucher, Herbert}, title = {FIJI - Fault InJection Instrumenter}, series = {EURASIP Journal on Embedded Systems}, volume = {2019}, journal = {EURASIP Journal on Embedded Systems}, number = {Februar 2019}, pages = {19}, subject = {Fault injection}, language = {en} } @article{HorauerWidhalmTauneretal., author = {Horauer, Martin and Widhalm, Dominik and Tauner, Stefan and Mirtl, Stefan}, title = {Verification challenges of complex system-on-chip devices}, series = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)}, journal = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)}, number = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)}, pages = {Page 269-273}, subject = {Embedded Systems}, language = {en} } @inproceedings{WidhalmTaunerHoraueretal., author = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin and Schumacher, Achim and Haggenmiller, Alexander}, title = {A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,}, series = {Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015}, booktitle = {Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015}, subject = {Embedded Systems}, language = {en} } @misc{WidhalmTaunerHoraueretal., author = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin and Schumacher, Achim and Haggenmiller, Alexander}, title = {A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,}, subject = {Embedded Systems}, language = {en} } @inproceedings{FibichHorauerObermaisser, author = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman}, title = {Vulnerability Analysis of Storage Elements in HLS-Generated Designs using High-Level Profiling}, series = {Proceedings of the 2nd International Conference on System Reliability and Safety (ICSRS2017), 20-22 December 2017, Milan, Italy}, booktitle = {Proceedings of the 2nd International Conference on System Reliability and Safety (ICSRS2017), 20-22 December 2017, Milan, Italy}, pages = {190 -- 194}, subject = {High-Level Synthesis}, language = {en} } @misc{WidhalmTaunerHorauer, author = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin}, title = {Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment}, subject = {Embedded Systems}, language = {en} } @inproceedings{RoesslerRadlbauerHoraueretal., author = {R{\"o}ssler, Peter and Radlbauer, Josef and Horauer, Martin and Lukasch, Franz and Wimmer, Martin}, title = {Entwicklung eines Satellitenmodems}, series = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria}, booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria}, subject = {Satellite Modem}, language = {de} } @inproceedings{TaunerWidhalmHorauer, author = {Tauner, Stefan and Widhalm, Dominik and Horauer, Martin}, title = {Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities}, series = {Proceedings of the IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015}, booktitle = {Proceedings of the IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015}, pages = {36 -- 41}, subject = {Embedded Systems}, language = {en} } @inproceedings{WidhalmTaunerHorauer, author = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin}, title = {Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment}, series = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA) 2016}, booktitle = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA) 2016}, subject = {Embedded Systems}, language = {en} } @misc{TaunerWidhalmHorauer, author = {Tauner, Stefan and Widhalm, Dominik and Horauer, Martin}, title = {Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities}, subject = {Embedded Systems}, language = {en} } @inproceedings{FibichHorauerObermaisser, author = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman}, title = {Characterization of Interconnect Fault Effects in SRAM-based FPGAs}, series = {Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2023), 3-5 May 2023, Tallinn, Estonia}, booktitle = {Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2023), 3-5 May 2023, Tallinn, Estonia}, doi = {https://doi.org/10.1109/DDECS57882.2023.10139343}, pages = {65 -- 68}, subject = {Soft Errors}, language = {en} } @inproceedings{FibichHorauerObermaisser, author = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman}, title = {Bitstream-Level Interconnect Fault Characterization for SRAM-based FPGAs}, series = {Proceedings of the 2023 Design, Automation \& Test in Europe Conference \& Exhibition (DATE 2023), pp. 1-2, 16-18 April 2023, Antwerp, Belgium}, booktitle = {Proceedings of the 2023 Design, Automation \& Test in Europe Conference \& Exhibition (DATE 2023), pp. 1-2, 16-18 April 2023, Antwerp, Belgium}, doi = {10.23919/DATE56975.2023.10136911}, pages = {2}, subject = {FPGA}, language = {en} }