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

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration., , , , und . TASE, Seite 113-120. IEEE, (2019)Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs., , , , , und . DSA, Seite 25-36. IEEE, (2019)ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC., , , , , , , und . ICA, Seite 154-157. IEEE, (2016)Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking., , , , und . ICPADS, Seite 844-851. IEEE, (2019)A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning., , , , , und . DSA, Seite 311-316. IEEE, (2019)A Dual Relaxation Method for Neural Network Verification., , , , und . Int. J. Softw. Eng. Knowl. Eng., 34 (8): 1199-1220 (August 2024)Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets., , , , und . APPT, Volume 8299 von Lecture Notes in Computer Science, Seite 62-76. Springer, (2013)A Novel Color Image Watermarking Method Based on Genetic Algorithm and Hybrid Neural Networks., , , , und . RSCTC, Volume 4259 von Lecture Notes in Computer Science, Seite 806-814. Springer, (2006)Analysis of Interrupt Behavior Based on Probabilistic Model Checking., , , , , und . IIAI-AAI, Seite 86-91. IEEE, (2018)A Survey of Formal Techniques for Hardware/Software Co-verification., , , und . IIAI-AAI, Seite 125-128. IEEE, (2018)