Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Author(s)
All words
At least one word
None of the words
Title
All words
At least one word
None of the words
Additional Person(s)
All words
At least one word
None of the words
Referee(s)
All words
At least one word
None of the words
Abstract
All words
At least one word
None of the words
Fulltext
All words
None of the words
Refine
Year of publication
2012
(2)
2013
(1)
2014
(1)
2015
(1)
2017
(1)
2019
(1)
Document Type
Conference Proceeding (7)
(remove)
Keywords
Embedded Systems
(4)
Teaching
(2)
Assertion Synthesis
(1)
Assertion-based Verification
(1)
FPGA
(1)
Fault Detection
(1)
Fingerprints
(1)
PSL
(1)
Safety
(1)
Security
(1)
+ more
7
search hits
1
to
7
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Checking Application-level Properties Using Assertion Synthesis
(2019)
Wenzl, Matthias
;
Rössler, Peter
;
Puhm, Andreas
Adding Channel Security to a Fingerprint Verification Chain
(2017)
Wenzl, Matthias
;
Kluka, Daniel
EMBEDDED MULTI CORE VIRTUAL PROTOTYPING FOR SOFTWARE ENGINEERS
(2013)
Wenzl, Matthias
;
Schuster, Harald
;
Obermayer, Christian
;
Balog, Peter
A Framework for Teaching Embedded Multi-Core Programming
(2012)
Schuster, Harald
;
Wenzl, Matthias
;
Zauner, Martin
Evaluating best practices for teaching multi-core programming
(2012)
Wenzl, Matthias
Logic Synthesis of Assertions for Saftey-critical Applications
(2015)
Wenzl, Matthias
;
Fibich, Christian
;
Rössler, Peter
;
Taucher, Herbert
;
Matschnig, Martin
On Automated Generation of Checker Units from Hardware Assertion Languages
(2014)
Fibich, Christian
;
Wenzl, Matthias
;
Rössler, Peter
1
to
7