@inproceedings{WenzlRoesslerPuhm,
  author    = {Wenzl, Matthias and R{\"o}ssler, Peter and Puhm, Andreas},
  title     = {Checking Application-level Properties Using Assertion Synthesis},
  series = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA},
  booktitle = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA},
  pages     = {9},
  subject      = {Assertion-based Verification},
  language  = {en}
}
@article{ScheferWenzlWenzl,
  author    = {Schefer-Wenzl, Sigrid and Wenzl, Matthias},
  title     = {Roboter mit Himbeeren, Ein {\"U}berblick {\"u}ber Roboterbaus{\"a}tze und GPIO Bibliotheken auf Raspberry Pi (2)},
  series = {Entwickler Magazin 2015},
  journal   = {Entwickler Magazin 2015},
  number    = {Entwickler Magazin Juni 2015},
  pages     = {pp 64-68},
  subject      = {Robotic},
  language  = {de}
}
@article{WenzlMerzdovnikWeippl,
  author    = {Wenzl, Matthias and Merzdovnik, Georg and Weippl, Edgar},
  title     = {ISaFe - Injecting Security Features into Constrained Embedded Firmware},
  series = {ERCIM News},
  volume    = {2019},
  journal   = {ERCIM News},
  number    = {119 (2019)},
  pages     = {25 -- 26},
  subject      = {Binary rewriting},
  language  = {en}
}
@article{WenzlMerzdovnikUllrichetal.,
  author    = {Wenzl, Matthias and Merzdovnik, Georg and Ullrich, Johann and Weippl, Edgar},
  title     = {From Hack to Elaborate Technique - A Survey on Binary Rewriting},
  series = {ACM Computing Surveys (CSUR)},
  volume    = {Volume 52},
  journal   = {ACM Computing Surveys (CSUR)},
  number    = {Number 3 (2019)},
  pages     = {49:1 -- 49:37},
  subject      = {Binary rewriting},
  language  = {en}
}
@inproceedings{WenzlKluka,
  author    = {Wenzl, Matthias and Kluka, Daniel},
  title     = {Adding Channel Security to a Fingerprint Verification Chain},
  series = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)},
  booktitle = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)},
  subject      = {Security},
  language  = {en}
}
@inproceedings{WenzlSchusterObermayeretal.,
  author    = {Wenzl, Matthias and Schuster, Harald and Obermayer, Christian and Balog, Peter},
  title     = {EMBEDDED MULTI CORE VIRTUAL PROTOTYPING FOR SOFTWARE ENGINEERS},
  series = {roceedings of the ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2013, August 4-7, 2013, Portland, Oregon, USA},
  booktitle = {roceedings of the ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2013, August 4-7, 2013, Portland, Oregon, USA},
  subject      = {Embedded Systems},
  language  = {en}
}
@article{WenzlScheferWenzl,
  author    = {Wenzl, Matthias and Schefer-Wenzl, Sigrid},
  title     = {Ran an den Knochen: Java embedded auf dem Beagle Bone},
  series = {Entwickler Magazin Spezial "Internet of Things", April 2014},
  journal   = {Entwickler Magazin Spezial "Internet of Things", April 2014},
  number    = {Entwickler Magazin Spezial "Internet of Things", April 2014},
  pages     = {pp. 93-97},
  subject      = {Java},
  language  = {de}
}
@article{WenzlScheferWenzl,
  author    = {Wenzl, Matthias and Schefer-Wenzl, Sigrid},
  title     = {Java Embedded auf dem Beagle Bone},
  series = {Java Magazin Heft 7},
  journal   = {Java Magazin Heft 7},
  pages     = {Seiten 86-91},
  subject      = {Java},
  language  = {de}
}
@inproceedings{SchusterWenzlZauner,
  author    = {Schuster, Harald and Wenzl, Matthias and Zauner, Martin},
  title     = {A Framework for Teaching Embedded Multi-Core Programming},
  series = {Proceedings of the 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China},
  booktitle = {Proceedings of the 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China},
  pages     = {292 -- 297},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{Wenzl,
  author    = {Wenzl, Matthias},
  title     = {Evaluating best practices for teaching multi-core programming},
  series = {Ireland International Conference on Education (IIEC-2012), October 29-31, 2012, Dublin, Ireland},
  booktitle = {Ireland International Conference on Education (IIEC-2012), October 29-31, 2012, Dublin, Ireland},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{WenzlFibichRoessleretal.,
  author    = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin},
  title     = {Logic Synthesis of Assertions for Saftey-critical Applications},
  series = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015},
  booktitle = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015},
  subject      = {Safety},
  language  = {en}
}
@misc{WenzlFibichRoessleretal.,
  author    = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin},
  title     = {Logic Synthesis of Assertions for Saftey-critical Applications},
  subject      = {Safety},
  language  = {en}
}
@inproceedings{FibichWenzlRoessler,
  author    = {Fibich, Christian and Wenzl, Matthias and R{\"o}ssler, Peter},
  title     = {On Automated Generation of Checker Units from Hardware Assertion Languages},
  series = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014},
  booktitle = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014},
  subject      = {Embedded Systems},
  language  = {en}
}