TY  - CHAP
A1  - Rössler, Peter
A1  - Höller, Roland
A1  - Reisner, Christopher
A1  - Maischberger, Oliver
T1  - Survey and Comparison of Digital Logic Simulators
T2  - Proceedings of 27th Austrochip Conference on Microelectronics, Oct. 24, 2019, Vienna, Austria
KW  - Digital Logic Simulation
KW  - Verification
KW  - Electronic Design Automation
KW  - VLSI Design
KW  - Survey
Y1  - 2020
ER  - 
TY  - CHAP
A1  - Kramer, Michael
A1  - Gerstmayer, Florian
A1  - Hausladen, Jürgen
T1  - Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication
T2  - 2018 IEEE 23rd International Conference on Emerging  Technologies and Factory Automation (ETFA), Turin, Italy, 2018
KW  - Digital Signature
KW  - Cryptography
KW  - Security
KW  - Verification
KW  - Car2X communication
Y1  - 2018
SP  - 1123
EP  - 1126
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Past Time LTL Runtime Verification for Microcontroller Binary Code
T2  - Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 37
EP  - 51
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
T1  - Formale Verifikation von Embedded Systems Software
T2  - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 289
EP  - 296
ER  - 
TY  - GEN
A1  - Kramer, Michael
A1  - Gerstmayer, Florian
A1  - Hausladen, Jürgen
T1  - Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication
KW  - Digital Signature
KW  - Cryptography
KW  - Security
KW  - Verification
KW  - Car2X communication
Y1  - 
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  - JOUR
A1  - Fibich, Christian
A1  - Tauner, Stefan
A1  - Rössler, Peter
A1  - Horauer, Martin
A1  - Matschnig, Martin
A1  - Taucher, Herbert
T1  - FIJI – Fault InJection Instrumenter
JF  - EURASIP Journal on Embedded Systems
KW  - Fault injection
KW  - FPGA
KW  - Safety-critical system
KW  - Verification
KW  - Electronic design automation
Y1  - 2019
VL  - 2019
IS  - Februar 2019
ER  -