Thomas Mari

According to our database, Thomas Mari authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Thomas Mari

PhD thesis, 2023

2021

Explaining Safety Violations in Real-Time Systems.

Thomas Mari, Thao Dang, Gregor Gössler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2019

Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.

Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019