Autor der Publikation

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.

, , , , , und . Int. J. Softw. Tools Technol. Transf., 16 (5): 457-464 (2014)

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

Verification of Java Programs Using Symbolic Execution and Invariant Generation., und . SPIN, Volume 2989 von Lecture Notes in Computer Science, Seite 164-181. Springer, (2004)Learning Techniques for Software Verification and Validation., und . ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 505-507. Springer, (2012)Finding Feasible Counter-examples when Model Checking Abstracted Java Programs., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 284-298. Springer, (2001)Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement., , , und . CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 329-351. Springer, (2016)Symbolic execution with mixed concrete-symbolic solving., , und . ISSTA, Seite 34-44. ACM, (2011)Learning Assumptions for Verifying Cryptographic Protocols Compositionally., , , und . FACS, Volume 13077 von Lecture Notes in Computer Science, Seite 3-23. Springer, (2021)DifFuzz: differential fuzzing for side-channel analysis., , und . ICSE, Seite 176-187. IEEE / ACM, (2019)On reliability of patch correctness assessment., , , , , und . ICSE, Seite 524-535. IEEE / ACM, (2019)NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks., , , , und . ICSE (Companion Volume), Seite 25-28. IEEE, (2021)Rule-Based Testing of Neural Networks., , , und . SE4SafeML@SIGSOFT FSE, Seite 1-5. ACM, (2023)