Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. - Nathalie Bertrand 001; Benjamin Bordais; Loïc Hélouët; Thomas Mari; Julie Parreaux; Ocan Sankur (RSSRail, 2019)

Explaining Safety Violations in Real-Time Systems. - Thomas Mari; Thao Dang 001; Gregor Gössler (FORMATS, 2021)

Causal explanations for reactive real-time systems. (Explications causales pour les systèmes temps réel réactifs). - Thomas Mari (2023)