Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Security based design space exploration for CPS., , , , und . SAC, Seite 593-595. ACM, (2020)Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML., , , , , und . PECCS, Seite 70-75. SciTePress, (2016)SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip., , , , , und . SpringSim (Mod4Sim), Seite 7:1-7:12. ACM, (2017)A Design Exploration Framework for Secure IoT-Systems., , , , und . CyberSA, Seite 1-8. IEEE, (2020)Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems., , , , , und . SAFECOMP Workshops, Volume 9923 von Lecture Notes in Computer Science, Seite 359-370. Springer, (2016)SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic Systems., , , , und . ANT/SEIT, Volume 109 von Procedia Computer Science, Seite 392-399. Elsevier, (2017)Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL., , , , , und . ANT/SEIT, Volume 83 von Procedia Computer Science, Seite 245-252. Elsevier, (2016)A novel simulation-based verification pattern for parallel executions in the cloud., , , , , und . EuroPLoP, Seite 20. ACM, (2016)A novel method to speed-up the evaluation of cyber-physical systems (ISO 26262)., , , , und . WISES, Seite 109-114. IEEE, (2015)