Meet some of our Researchers
Recent Publications
Our most recent peer reviewed publications
-
Parameter synthesis for Markov models
Formal Methods in System Design (2024) -
CTMCs with Imprecisely Timed Observations
(2024) -
Lazy model checking for recursive state machines
Software and Systems Modeling (2024) -
Feature causality
Journal of Systems and Software (2024) -
Back to the format
Journal of Logical and Algebraic Methods in Programming (2024)