DI Mag. Matthias Wenzl

Research & Development, Lecturer
Department of Embedded Systems
+43-1-3334077-313
Article
- Wenzl, Matthias; Merzdovnik, Georg; Ullrich, Johann; Weippl, Edgar (2019) From Hack to Elaborate Technique - A Survey on Binary Rewriting, in: ACM Computing Surveys (CSUR) Volume 52/Number 3 (2019), pp. 49:1-49:37
- Wenzl, Matthias; Merzdovnik, Georg; Weippl, Edgar (2019) ISaFe - Injecting Security Features into Constrained Embedded Firmware, in: ERCIM News 2019/119 (2019), pp. 25-26
- Schefer-Wenzl, Sigrid; Wenzl, Matthias (2015) Roboter mit Himbeeren, Ein Überblick über Roboterbausätze und GPIO Bibliotheken auf Raspberry Pi (2), in: Entwickler Magazin 2015
- Wenzl, Matthias; Schefer-Wenzl, Sigrid (2014) Ran an den Knochen: Java embedded auf dem Beagle Bone, in: Entwickler Magazin Spezial "Internet of Things", April 2014
- Wenzl, Matthias; Schefer-Wenzl, Sigrid (2013) Java Embedded auf dem Beagle Bone, in: Java Magazin Heft 7
Conference Proceeding
- Wenzl, Matthias; Rössler, Peter; Puhm, Andreas (2019) Checking Application-level Properties Using Assertion Synthesis, in: Proceedings of the ASME/IEEE International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA
- Wenzl, Matthias; Kluka, Daniel (2017) Adding Channel Security to a Fingerprint Verification Chain, in: 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017)
- Wenzl, Matthias; Fibich, Christian; Rössler, Peter; Taucher, Herbert; Matschnig, Martin (2015) Logic Synthesis of Assertions for Saftey-critical Applications, in: Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015
- Fibich, Christian; Wenzl, Matthias; Rössler, Peter (2014) On Automated Generation of Checker Units from Hardware Assertion Languages, in: Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014
- Wenzl, Matthias; Schuster, Harald; Obermayer, Christian; Balog, Peter (2013) EMBEDDED MULTI CORE VIRTUAL PROTOTYPING FOR SOFTWARE ENGINEERS, in: 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
- Schuster, Harald; Wenzl, Matthias; Zauner, Martin (2012) A Framework for Teaching Embedded Multi-Core Programming, in: Proceedings of the 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China, pp. 292-297
- Wenzl, Matthias (2012) Evaluating best practices for teaching multi-core programming, in: Ireland International Conference on Education (IIEC-2012), October 29-31, 2012, Dublin, Ireland
Lecture
- Wenzl, Matthias; Fibich, Christian; Rössler, Peter; Taucher, Herbert; Matschnig, Martin (2015) Logic Synthesis of Assertions for Saftey-critical Applications, International Conference on Industrial Technology (ICIT) 2015, March 17-19, 2015