Victor Roussanaly

According to our database, Victor Roussanaly authored at least 3 papers between 2019 and 2022.

Collaborative distances:

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

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