Publications in context of DIScoVER

Talks, Conference and Journal Contributions

Wenzl M., Rössler P. and Puhm A.: "Checking Application-level Properties Using Assertion Synthesis", 2019 ASME/IEEE International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA, 9 pages
Wenzl M., Merzdovnik G., Ullrich J. and Weippl E.: "From Hack to Elaborate Technique - A Survey on Binary Rewriting", 2019 ACM Computing Surveys (CSUR), Volume 52, Number 3 (2019), pp. 49:1 - 49:37
M. Wenzl, D. Kluka: "Adding Channel Security To A Fingerprint Verification Chain", 2017 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Cleveland, Ohio, USA, August 6-9, 2017 , accepted for publication
M. Wenzl: "Simulation based Falsification - An overview", CPS Lunchtalk, TU Wien, 9th of December , 2015
M. Wenzl, S. Schefer-Wenzl: "Roboter mit Himbeeren Ein Überblick über Roboterbausätze und GPIO Bibliotheken auf Raspberry Pi (2)", Entwickler magazin 6.15, 2015