Author of the publication

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.

, , , , , and . PECCS, page 70-75. SciTePress, (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)A Novel Embedded Platform for Secure and Privacy-Concerned Cross-Domain Service Access., , and . IV, page 1961-1967. IEEE, (2019)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)Searching Extended IP-XACT Components for SoC Design Based on Requirements Similarity., , , , , , and . IEEE Systems Journal, 5 (1): 70-79 (2011)Simulation Based Verification of Energy Storage Architectures for Higher Class Tags supported by Energy Harvesting Devices., , , , , and . DSD, page 463-462. IEEE Computer Society, (2007)TEODACS : A new vision for testing dependable automotive communication systems., , , , , , and . SIES, page 257-260. IEEE, (2008)Automated simulation-based verification of power requirements for Systems-on-Chips., , , , , and . DDECS, page 8-11. IEEE Computer Society, (2010)A Decentralized Service-Platform towards Cross-Domain Entitlement Handling., , and . Blockchain, page 455-462. IEEE, (2019)Simulation platform for UHF RFID., , , , , and . DATE, page 918-923. EDA Consortium, San Jose, CA, USA, (2007)Power Management Strategies for Battery-driven Higher Class UHF RFID Tags Supported by Energy Harvesting Devices., , , and . AutoID, page 122-127. IEEE, (2007)