Autor der Publikation

Statistical model checking for unbounded until formulas.

, und . Int. J. Softw. Tools Technol. Transf., 17 (4): 417-427 (2015)

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

Statistical model checking for unbounded until formulas., und . Int. J. Softw. Tools Technol. Transf., 17 (4): 417-427 (2015)How Can Automatic Feedback Help Students Construct Automata?, , , , , und . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)STMC: Statistical Model Checker with Stratified and Antithetic Sampling., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 448-460. Springer, (2020)Deciding Memory Safety for Forest Datastructures., , , , und . CoRR, (2019)Deciding Accuracy of Differential Privacy Schemes., , , , und . CoRR, (2020)Stability Preserving Simulations and Bisimulations for Hybrid Systems., , und . IEEE Trans. Automat. Contr., 60 (12): 3210-3225 (2015)Document recognition: an attribute grammar approach., , und . Document Recognition, Volume 2660 von SPIE Proceedings, Seite 101-113. SPIE, (1996)Verification of Bounded Discrete Horizon Hybrid Automata., , , und . IEEE Trans. Automat. Contr., 57 (6): 1445-1455 (2012)Conformance testing in the presence of multiple faults., und . SODA, Seite 1136-1145. SIAM, (2005)Testing and Spot-Checking of Data Streams., , , und . Algorithmica, 34 (1): 67-80 (2002)