Abstraction Refinement Algorithms for Timed Automata. - Victor Roussanaly; Ocan Sankur; Nicolas Markey (CAV (1), 2019)

Efficient verification of real time systems. (Vérification efficace de systèmes en temps réel). - Victor Roussanaly (2020)

Decentralised Runtime Verification of Timed Regular Expressions. - Victor Roussanaly; Yliès Falcone (TIME, 2022)

Distributed Monitoring of Timed Properties. - Léo Henry; Thierry Jéron; Nicolas Markey; Victor Roussanaly (RV, 2024)