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  - 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  - 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  - 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  -