Autor der Publikation

Synthesize Models for Quantitative Analysis Using Automata Learning.

, , , , , und . NETYS, Volume 11704 von Lecture Notes in Computer Science, Seite 75-92. Springer, (2019)

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

Z3-Noodler: An Automata-based String Solver (Technical Report)., , , , , und . CoRR, (2023)GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae., , , , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 466-471. Springer, (2007)PyCT: A Python Concolic Tester., , , , und . APLAS, Volume 13008 von Lecture Notes in Computer Science, Seite 38-46. Springer, (2021)Simulations in Rank-Based Büchi Automata Complementation., , und . APLAS, Volume 11893 von Lecture Notes in Computer Science, Seite 447-467. Springer, (2019)Learning Boolean Functions Incrementally., und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 55-70. Springer, (2012)Optimal sanitization synthesis for web application vulnerability repair., , , , , und . ISSTA, Seite 189-200. ACM, (2016)Learning Büchi Automata and Its Applications., , , und . SETSS, Volume 11430 von Lecture Notes in Computer Science, Seite 38-98. Springer, (2018)Verifying Curve25519 Software., , , , , , , und . CCS, Seite 299-309. ACM, (2014)A decision procedure for string constraints with string/integer conversion and flat regular constraints., , , , und . Acta Informatica, 61 (1): 23-52 (März 2024)Word Equations in Synergy with Regular Constraints., , , , , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 403-423. Springer, (2023)