@inproceedings{ReinbacherBrauerHoraueretal.,
  author    = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Schlich, Bastian},
  title     = {Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller},
  series = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland},
  booktitle = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland},
  pages     = {161 -- 170},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{BrauerReinbacherSchlichetal.,
  author    = {Brauer, J{\"o}rg and Reinbacher, Thomas and Schlich, Bastian and Kowalewski, Stefan},
  title     = {Stack Bounds Analysis for Microcontroller Assembly Code},
  series = {Proceedings of the 4th Workshop on Embedded Systems Security (WESS'09) - A Workshop of the Embedded Systems Week (ESWEEK'09), Grenoble, France, Oct. 15, 2009},
  booktitle = {Proceedings of the 4th Workshop on Embedded Systems Security (WESS'09) - A Workshop of the Embedded Systems Week (ESWEEK'09), Grenoble, France, Oct. 15, 2009},
  subject      = {Embedded Systems},
  language  = {en}
}