Author of the publication

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

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