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

Monitoring-based Formal Hardware Verification., , , , und . MBMV, Seite 217-221. Fraunhofer Institut für Integrierte Schaltungen, (2006)Hysteresis Compensation Method for Magnetoresistive Sensors Based on Single Polar Controlled Magnetic Field Pulses., , und . IEEE Trans. Industrial Electronics, 64 (1): 710-716 (2017)Semiformal Verification of Temporal Properties in Embedded Software., , , , , , , und . MBMV, Seite 19-28. Shaker, (2007)Modeling and Formal Verification of Production Automation Systems., , , und . SoftSpez Final Report, Volume 3147 von Lecture Notes in Computer Science, Seite 541-566. Springer, (2004)Fast falsification based on symbolic bounded property checking., , , , , und . DAC, Seite 1077-1082. ACM, (2006)State-based Analysis and UML-driven Equivalence Checking for C++ State Machines., , , , , und . FM+AM, Volume P-179 von LNI, Seite 49-62. GI, (2010)MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures., , , , und . WICSA/ECSA, Seite 253-257. IEEE, (2012)Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen., , , , und . MBMV, Seite 222-226. Fraunhofer Institut für Integrierte Schaltungen, (2006)Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation., , , und . MBMV, Seite 260-269. Shaker, (2004)Overlap reduction in symbolic system traversal., , , , , und . HLDVT, Seite 145-152. IEEE Computer Society, (2005)