@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{PraprotnikZauner,
  author    = {Praprotnik, Oliver and Zauner, Martin},
  title     = {System-Testumgebung f{\"u}r die verteilte Automobilelektronik},
  series = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010},
  booktitle = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010},
  pages     = {305 -- 310},
  subject      = {Embedded Systems},
  language  = {de}
}
@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{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{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{KittenbergerBrodlVavra,
  author    = {Kittenberger, Thomas and Brodl, L. and Vavra, Norbert},
  title     = {Experiences using autonomous model airplanes for embedded control education and for bachelor and diploma projects},
  series = {Proceedings of "Robotics in Education", Sept. 16-17, 2010, Bratislava, Slovakia},
  booktitle = {Proceedings of "Robotics in Education", Sept. 16-17, 2010, Bratislava, Slovakia},
  subject      = {Embedded Systems},
  language  = {en}
}