Autor der Publikation

A Probabilistic Extension of UML Statecharts: Specification and Verification

, , und . Intl. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Seite 355--374. Springer, (September 2002)

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

Teaching Concurrency Concepts to Freshmen., und . Trans. Petri Nets Other Model. Concurr., (2008)Deep Statistical Model Checking., , , , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2020)Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 59-81. Springer, (2001)Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing., , und . IEEE Trans. Aerosp. Electron. Syst., 59 (5): 7166-7182 (Oktober 2023)Admissibility in Probabilistic Argumentation., , , , , und . J. Artif. Intell. Res., (2022)Software Doping Analysis for Human Oversight., , , , , , , und . CoRR, (2023)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , und . TAILOR, Volume 12641 von Lecture Notes in Computer Science, Seite 83-90. Springer, (2020)The 10, 000 Facets of MDP Model Checking., , und . Computing and Software Science, Volume 10000 von Lecture Notes in Computer Science, Springer, (2019)Quantification of Battery Depletion Risk Made Efficient., und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 156-174. Springer, (2022)Bisimulation and Simulation Relations for Markov Chains., , , und . APC 25, Volume 162 von Electronic Notes in Theoretical Computer Science, Seite 73-78. Elsevier, (2005)