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