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