Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publications

Page 4 of 4.

Mehran Goli; Muhammad Hassan; Daniel Große; Rolf Drechsler
Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking
In: Stefan Conrad; Paul Molitor (Hrsg.). IT - information technology (IT), DE GRUYTER OLDENBOURG, 2019.
Mehran Goli; Muhammad Hassan; Daniel Große; Rolf Drechsler
Automated Analysis of Virtual Prototypes at Electronic System Level
In: 29th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2019), May 9-11, Washington, DC, USA, 2019.
Muhammad Hassan; Daniel Große; Thilo Vörtler; Karsten Einwich; Rolf Drechsler
Functional Coverage-Driven Characterization of RF Amplifiers
In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2019), September 2-4, Southampton, United Kingdom, …
Thilo Vörtler; Karsten Einwich; Muhammad Hassan; Daniel Große
Using Constraints for SystemC AMS Design and Verification
In: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe-2018), October …
Muhammad Hassan; Vladimir Herdt; Hoang M. Le; Mingsong Chen; Daniel Große; Rolf Drechsler
Data Flow Testing for Virtual Prototypes
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017), March 27-31, Lausanne, Switzerland, 2017.
Daniel Große; Hoang M. Le; Muhammad Hassan; Rolf Drechsler
Guided Lightweight Software Test Qualiﬁcation for IP Integration using Virtual Prototypes
In: The 34th IEEE International Conference on Computer Design. IEEE International Conference on Computer Design (ICCD-34), October 3-5, Phoenix, USA, …