@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}
}