PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monitoring CTMCs by Multi-clock Timed Automata.

, , , , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 507-526. Springer, (2018)

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.

Prof. Dr. Pieter Anne Vermeer University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Viewpoints on "Logic activities in Europe", twenty years later., , , , und . Bulletin of the EATCS, (2016)A Linear Process-Algebraic Format for Probabilistic Systems with Data., , , und . ACSD, Seite 213-222. IEEE Computer Society, (2010)Code Generation Based on Formal BURS Therory and Heuristic Search., und . Acta Inf., 34 (8): 597-635 (1997)A Stochastic Causality-Based Process Algebra., , , und . Comput. J., 38 (7): 552-565 (1995)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , und . Distributed Computing, 9 (4): 157-171 (1996)Specification and Analysis of Soft Real-Time Systems: Quantity and Quality., , und . RTSS, Seite 104-114. IEEE Computer Society, (1999)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , und . CoRR, (2019)Three-valued abstraction for probabilistic systems., , , und . J. Log. Algebr. Program., 81 (4): 356-389 (2012)A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions., , , , und . Formal Methods in System Design, 12 (2): 189-216 (1998)Model-Checking Algorithms for Continuous-Time Markov Chains., , , und . IEEE Trans. Software Eng., 29 (6): 524-541 (2003)