Author of the publication

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

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