@article{ReinbacherBrauerHoraueretal.,
  author    = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
  title     = {Runtime verification of microcontroller binary code},
  series = {Elsevier Science of Computer Programming, Volume 80, Part A},
  journal   = {Elsevier Science of Computer Programming, Volume 80, Part A},
  number    = {Elsevier Science of Computer Programming, Volume 80, Part A},
  pages     = {pp. 109-129},
  subject      = {Microcontroller},
  language  = {en}
}
@misc{HausladenPohnHorauer,
  author    = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin},
  title     = {A Cloud-based Integrated Development Environment for Embedded Systems},
  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     = {Past Time LTL Runtime Verification for Microcontroller Binary Code},
  series = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011},
  booktitle = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011},
  pages     = {37 -- 51},
  subject      = {Embedded Systems},
  language  = {en}
}
@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{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{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{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}
}
@inproceedings{MuhrHoellerHorauer,
  author    = {Muhr, Hannes and H{\"o}ller, Roland and Horauer, Martin},
  title     = {A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression},
  series = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China},
  booktitle = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China},
  subject      = {Hardware},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example},
  series = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy},
  booktitle = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy},
  pages     = {763 -- 770},
  subject      = {Testing},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {Automatic Parameter Identification in FlexRay based Automotive Communication Networks},
  series = {Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic},
  booktitle = {Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic},
  pages     = {897 -- 904},
  subject      = {Automotive},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories},
  series = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary},
  booktitle = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary},
  pages     = {113 -- 120},
  subject      = {Hardware Architecture},
  language  = {en}
}