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

Formal methods for coverage analysis of architectural power states in power-managed designs., , , und . ASP-DAC, Seite 585-590. IEEE, (2012)The Notion of Cross Coverage in AMS Design Verification., , , , , und . ASP-DAC, Seite 217-222. IEEE, (2020)SMT-Based Verification of Safety-Critical Embedded Control Software., , , , , , und . IEEE Embed. Syst. Lett., 13 (3): 138-141 (2021)Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images., , und . CoRR, (2021)An Algorithmic Approach to Formally Verify an ECC Library., , und . ACM Trans. Design Autom. Electr. Syst., 23 (5): 63:1-63:26 (2018)Formal assessment of reliability specifications in embedded cyber-physical systems., , und . J. Appl. Log., (2016)An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors., , , und . VLSID, Seite 181-186. IEEE, (2021)Formal Verification of Power Management Logic with Mixed-Signal Domains., , , , , , und . VLSID, Seite 239-244. IEEE Computer Society, (2017)SACReD: An Attack Framework on SAC Resistant Delay-PUFs leveraging Bias and Reliability Factors., , , und . DAC, Seite 85-90. IEEE, (2021)SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware., , , , , und . DATE, Seite 310-313. IEEE, (2020)