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