Autor der Publikation

Parameter Synthesis by Parallel Coloured CTL Model Checking.

, , , , und . CMSB, Volume 9308 von Lecture Notes in Computer Science, Seite 251-263. Springer, (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

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters., , und . EUROCAST (2), Volume 10672 von Lecture Notes in Computer Science, Seite 38-46. Springer, (2017)Partial-Order Reduction in Model Checking Object-Oriented Petri Nets., , und . EUROCAST, Volume 2809 von Lecture Notes in Computer Science, Seite 265-278. Springer, (2003)PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling., , und . EUROCAST, Volume 1333 von Lecture Notes in Computer Science, Seite 591-610. Springer, (1997)Model Checking of Biological Systems., , und . SFM, Volume 7938 von Lecture Notes in Computer Science, Seite 63-112. Springer, (2013)Counterexample-Driven Synthesis for Probabilistic Program Sketches., , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 101-120. Springer, (2019)Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components., , , , und . Euro-Par Workshops, Volume 10104 von Lecture Notes in Computer Science, Seite 519-531. Springer, (2016)Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection., , , , und . CoRR, (2017)Generating and using state spaces of object-oriented Petri nets., , und . Comput. Syst. Sci. Eng., 16 (3): 183-193 (2001)Preface., , , , und . Electron. Notes Theor. Comput. Sci., (2009)Efficient synthesis of robust models for stochastic systems., , , , und . Journal of Systems and Software, (2018)