Meet some of our Researchers
Recent Publications
Our most recent peer reviewed publications
-
CTMCs with Imprecisely Timed Observations
(2024) -
Feature causality
Journal of Systems and Software (2024) -
Back to the format
Journal of Logical and Algebraic Methods in Programming (2024) -
Towards a Formal Account on Negative Latency.
(2024) -
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems (MARS 2024)
(2024)