Victor Roussanaly

According to our database, Victor Roussanaly authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

Distributed Monitoring of Timed Properties.

Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly

Proceedings of the Runtime Verification - 24th International Conference, 2024

2022

Decentralised Runtime Verification of Timed Regular Expressions.

Victor Roussanaly, Yliès Falcone

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

2020

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

Victor Roussanaly

PhD thesis, 2020

2019

Abstraction Refinement Algorithms for Timed Automata.

Victor Roussanaly, Ocan Sankur, Nicolas Markey

Proceedings of the Computer Aided Verification - 31st International Conference, 2019