DI Mag. Matthias Wenzl
Research & Development, Lecturer
Department of Embedded Systems
CV
Publications
Checking Application-level Properties Using Assertion Synthesis
Adding Channel Security to a Fingerprint Verification Chain
Logic Synthesis of Assertions for Saftey-critical Applications
On Automated Generation of Checker Units from Hardware Assertion Languages
EMBEDDED MULTI CORE VIRTUAL PROTOTYPING FOR SOFTWARE ENGINEERS
A Framework for Teaching Embedded Multi-Core Programming
Evaluating best practices for teaching multi-core programming
ISaFe - Injecting Security Features into Constrained Embedded Firmware
From Hack to Elaborate Technique - A Survey on Binary Rewriting
Roboter mit Himbeeren, Ein Überblick über Roboterbausätze und GPIO Bibliotheken auf Raspberry Pi (2)
Ran an den Knochen: Java embedded auf dem Beagle Bone
Java Embedded auf dem Beagle Bone
Logic Synthesis of Assertions for Saftey-critical Applications