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

Synthesis of sampling modes for adaptive control., , , , , und . ICCSCE, Seite 294-299. IEEE, (2014)Concurrent Usage Control Implementation Verification Using the SPIN Model Checker., , und . CNSA, Volume 89 von Communications in Computer and Information Science, Seite 214-223. Springer, (2010)Formal Analysis of Hybrid Systems Using Feature Indented Assertions., und . CoRR, (2017)Robust f0 extraction from monophonic signals using adaptive sub-band filtering., , , und . Speech Commun., (2020)Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (3): 447-451 (2012)Assertions for Protecting Mixed-Signal Latency Contracts in Power Management., , , und . IEEE Trans. Very Large Scale Integr. Syst., 28 (8): 1745-1756 (2020)CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications., , , und . ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (Januar 2023)Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers., , , , und . PerCom Workshops, Seite 392-397. IEEE, (2023)Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization., , und . SafeAI@AAAI, Volume 3381 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits., , , , , , und . DATE, Seite 1-6. IEEE, (2023)