Author of the publication

Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems.

, , , , , and . SAFECOMP Workshops, volume 9923 of Lecture Notes in Computer Science, page 359-370. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML., , , , , and . PECCS, page 70-75. SciTePress, (2016)Power consumption profile analysis for security attack simulation in smart cards at high abstraction level., , , , , and . EMSOFT, page 214-217. ACM, (2005)Software Configuration Based on Order Processes., , , , , and . BMSD, volume 275 of Lecture Notes in Business Information Processing, page 200-220. (2016)SECURECONFIG: NFC and QR-code based hybrid approach for smart sensor configuration., , , , , and . RFID, page 41-46. IEEE, (2017)Set of Power-Management Patterns for Mobile Embedded Systems., , , , , and . VikingPLoP, page 5:1-5:13. ACM, (2014)A Generic Timing Mechanism for Using the APPLES Gate-Level Simulator in a Mixed-Level Simulation Environment., , and . PATMOS, volume 3254 of Lecture Notes in Computer Science, page 799-808. Springer, (2004)Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions., , , and . WISTP, volume 6033 of Lecture Notes in Computer Science, page 316-323. Springer, (2010)Fault insertion testing of a novel CPLD-based fail-safe system., , , and . DATE, page 214-219. IEEE, (2009)Secured Offline Authentication on Industrial Mobile Robots Using Biometric Data., , and . RoboCup, volume 11175 of Lecture Notes in Computer Science, page 143-155. Springer, (2017)A secured offline authentication approach for industrial mobile robots., , , , and . CASE, page 308-313. IEEE, (2017)