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