@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{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{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{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{ReinbacherKramerHoraueretal.,
  author    = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian},
  title     = {hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker},
  series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  pages     = {277 -- 280},
  subject      = {Embedded Systems},
  language  = {en}
}
@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{ReinbacherKramerHoraueretal.,
  author    = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian},
  title     = {Motivating Model Checking of Embedded Systems Software},
  series = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China},
  booktitle = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China},
  isbn      = {978-1-4244-2367-5},
  pages     = {546 -- 551},
  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{MilbredtHorauerSteininger,
  author    = {Milbredt, Paul and Horauer, Martin and Steininger, Andreas},
  title     = {An Investigation of the Clique Problem in FlexRay},
  series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  isbn      = {978-1-4244-1994-4},
  subject      = {Embedded Systems},
  language  = {en}
}