@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{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}
}
@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{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{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{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{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{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}
}
@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}
}
@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{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}
}
@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}
}
@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{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}
}