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