2024
The 2023/24 VIEWS Prediction Challenge: Predicting the Number of Fatalities in Armed Conflict, with Uncertainty.
CoRR, 2024

2002
Model Checking - Timed UML State Machines and Collaborations.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002