Victor Roussanaly

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 3

Top Topics

Recently Developed

Computationally Efficient

Regular Expressions

Top Venues

Publications

Victor Roussanaly, Yliès Falcone
Decentralised Runtime Verification of Timed Regular Expressions. TIME (2022)
Victor Roussanaly, Ocan Sankur, Nicolas Markey
Abstraction Refinement Algorithms for Timed Automata. CAV (1) (2019)
Victor Roussanaly, Ocan Sankur, Nicolas Markey
Abstraction Refinement Algorithms for Timed Automata. CoRR (2019)