DI Mag. Matthias Wenzl

Research & Development, Lektor
Institut für Embedded Systems

Lebenslauf

Checking Application-level Properties Using Assertion Synthesis

Matthias Wenzl, Peter Rössler, Andreas Puhm (2019)
Proceedings of the ASME/IEEE International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA, pp. 9

Adding Channel Security to a Fingerprint Verification Chain

Matthias Wenzl, Daniel Kluka (2017)
13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017)

Logic Synthesis of Assertions for Saftey-critical Applications

Matthias Wenzl, Christian Fibich, Peter Rössler, Herbert Taucher, Martin Matschnig (2015)
Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015

On Automated Generation of Checker Units from Hardware Assertion Languages

Christian Fibich, Matthias Wenzl, Peter Rössler (2014)
Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014

EMBEDDED MULTI CORE VIRTUAL PROTOTYPING FOR SOFTWARE ENGINEERS

Matthias Wenzl, Harald Schuster, Christian Obermayer, Peter Balog (2013)
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

A Framework for Teaching Embedded Multi-Core Programming

Harald Schuster, Matthias Wenzl, Martin Zauner (2012)
Proceedings of the 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China

Evaluating best practices for teaching multi-core programming

Matthias Wenzl (2012)
Ireland International Conference on Education (IIEC-2012), October 29-31, 2012, Dublin, Ireland