Autor der Publikation

Computing Branching Distances Using Quantitative Games.

, , und . ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 59-75. 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

µ-calculus Pushdown Module Checking with Imperfect State Information., , , und . IFIP TCS, Volume 273 von IFIP, Seite 333-348. Springer, (2008)On simulation-based probabilistic model checking of mixed-analog circuits., , und . Formal Methods in System Design, 36 (2): 97-113 (2010)Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems., und . QEST, Seite 3. IEEE Computer Society, (2009)A framework for the rigorous design of highly adaptive timed systems., , , und . FormaliSE@ICSE, Seite 64-70. IEEE Computer Society, (2013)Incremental Invariant Generation for Compositional Design., , , , und . TASE, Seite 157-167. IEEE Computer Society, (2010)A modal specification theory for components with data., , , , und . Sci. Comput. Program., (2014)Formal semantics, modular specification, and symbolic verification of product-line behaviour., , , , und . Sci. Comput. Program., (2014)Extending modal transition systems with structured labels., , , , und . Mathematical Structures in Computer Science, 22 (4): 581-617 (2012)Constraint Markov Chains., , , , , und . Theor. Comput. Sci., 412 (34): 4373-4404 (2011)Hardness of preorder checking for basic formalisms., , und . Theor. Comput. Sci., 412 (49): 6795-6808 (2011)