Author of the publication

Quantitative Verification in Practice.

, , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 127. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach., , and . RV, volume 12399 of Lecture Notes in Computer Science, page 517-535. Springer, (2020)Automata Learning Meets Shielding., , , , , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 335-359. Springer, (2022)A modal specification theory for components with data., , , , and . Sci. Comput. Program., (2014)Lower-bound-constrained runs in weighted timed automata., , and . Perform. Evaluation, (2014)Action Investment Energy Games., , and . MEMICS, volume 7721 of Lecture Notes in Computer Science, page 155-167. Springer, (2012)CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics., , , , , , , and . GandALF, volume 390 of EPTCS, page 99-114. (2023)Formal validation of supervisory energy management systems for microgrids., , , , , and . IECON, page 1154-1159. IEEE, (2017)A Faster-Than Relation for Semi-Markov Decision Processes., , and . QAPL@ETAPS, volume 312 of EPTCS, page 29-42. (2019)Timed Comparisons of Semi-Markov Processes., , , , and . LATA, volume 10792 of Lecture Notes in Computer Science, page 271-283. Springer, (2018)Partial Order Reduction for Reachability Games., , , , and . CONCUR, volume 140 of LIPIcs, page 23:1-23:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)