@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{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{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}
}
@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{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{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{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{HorauerKutscheraSchreiner,
  author    = {Horauer, Martin and Kutschera, Christof and Schreiner, Dietmar},
  title     = {Komponentenbasierte Systemsoftware f{\"u}r die Automobilelektronik},
  series = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  subject      = {Automotive},
  language  = {de}
}
@inproceedings{RoesslerRadlbauerHoraueretal.,
  author    = {R{\"o}ssler, Peter and Radlbauer, Josef and Horauer, Martin and Lukasch, Franz and Wimmer, Martin},
  title     = {Entwicklung eines Satellitenmodems},
  series = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  subject      = {Satellite Modem},
  language  = {de}
}