Author of the publication

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)

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)Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices., , , and . Power-aware Computing Systems, volume 07041 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)A Novel Embedded Platform for Secure and Privacy-Concerned Cross-Domain Service Access., , and . IV, page 1961-1967. IEEE, (2019)SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip., , , , , and . SpringSim (Mod4Sim), page 7:1-7:12. ACM, (2017)A UHF RFID measurement and evaluation test system., , , , and . Elektrotech. Informationstechnik, 124 (11): 384-390 (2007)Specification-based Verification of Embedded Systems by Automated Test Case Generation., , , , and . DIPES, volume 271 of IFIP, page 35-44. Springer, (2008)A software performance simulation methodology for rapid system architecture exploration., , , , , and . ICECS, page 494-497. IEEE, (2008)Automatic Generation of a Verification Platform., , , and . FDL, page 153-165. ECSI, (2005)Searching Extended IP-XACT Components for SoC Design Based on Requirements Similarity., , , , , , and . IEEE Syst. J., 5 (1): 70-79 (2011)A Decentralized Service-Platform towards Cross-Domain Entitlement Handling., , and . Blockchain, page 455-462. IEEE, (2019)