@inproceedings{SchusterHorauerKrameretal.,
  author    = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Leibhart, Heinz and B{\"u}ger, Josef},
  title     = {A Log-Tool Suite for Embedded Systems},
  series = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal},
  booktitle = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal},
  subject      = {Embedded Systems},
  language  = {en}
}
@misc{SchusterHorauerKrameretal.,
  author    = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Liebhart, Heinz and B{\"u}ger, Josef},
  title     = {A Log-Tool Suite for Embedded Systems},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{BenederGlatzHoraueretal.,
  author    = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas},
  title     = {Memory Leak Detection Runtime-Service for Embedded Linux Devices},
  series = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014},
  booktitle = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014},
  subject      = {Software},
  language  = {en}
}
@inproceedings{BenederGlatzHoraueretal.,
  author    = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas},
  title     = {Runtime Verification Infrastructure for Embedded Linux},
  series = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014},
  booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{HausladenPohnHorauer,
  author    = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin},
  title     = {A Cloud-based Integrated Development Environment for Embedded Systems},
  series = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014},
  booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014},
  subject      = {Embedded Systems},
  language  = {en}
}
@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}
}