Follow
Etienne Renault
Etienne Renault
SiPearl
Verified email at sipearl.com - Homepage
Title
Cited by
Cited by
Year
Spot 2.0—a framework for LTL and-automata manipulation
A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu
International Symposium on Automated Technology for Verification and …, 2016
4242016
From spot 2.0 to spot 2.10: what’s new?
A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ...
International Conference on Computer Aided Verification, 174-187, 2022
942022
Parallel model checking algorithms for linear-time temporal logic
J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ...
Handbook of Parallel Constraint Reasoning, 457-507, 2018
392018
Three SCC-based emptiness checks for generalized Büchi automata
E Renault, A Duret-Lutz, F Kordon, D Poitrenaud
International Conference on Logic for Programming Artificial Intelligence …, 2013
272013
Variations on parallel explicit emptiness checks for generalized Büchi automata
E Renault, A Duret-Lutz, F Kordon, D Poitrenaud
International Journal on Software Tools for Technology Transfer 19, 653-673, 2017
222017
Parallel explicit model checking for generalized Büchi automata
E Renault, A Duret-Lutz, F Kordon, D Poitrenaud
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
202015
Strength-based decomposition of the property Büchi automaton for faster model checking
E Renault, A Duret-Lutz, F Kordon, D Poitrenaud
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
112013
Spot 2.0 Ğ a framework for LTL and 𝜔-automata manipulation
A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu
ATVA, 2016
62016
Heuristics for checking liveness properties with partial order reductions
A Duret-Lutz, F Kordon, D Poitrenaud, E Renault
Automated Technology for Verification and Analysis: 14th International …, 2016
62016
Towards better heuristics for solving bounded model checking problems
A Kheireddine, E Renault, S Baarir
Constraints 28 (1), 45-66, 2023
42023
Improving swarming using genetic algorithms
E Renault
Innovations in Systems and Software Engineering 16 (2), 143-159, 2020
42020
Structural reductions and stutter sensitive properties
E Paviot-Adet, D Poitrenaud, E Renault, Y Thierry-Mieg
arXiv preprint arXiv:2212.04218, 2022
32022
LTL under reductions with weaker conditions than stutter invariance
E Paviot-Adet, D Poitrenaud, E Renault, Y Thierry-Mieg
International Conference on Formal Techniques for Distributed Objects …, 2022
32022
Self-reconfigurable modular robots and their symbolic configuration space
S Baarir, LM Hillah, F Kordon, E Renault
Foundations of Computer Software. Modeling, Development, and Verification of …, 2011
32011
A model-checker exploiting structural reductions even with stutter sensitive LTL
Y Thierry-Mieg, E Renault, E Paviot-Adet, D Poitrenaud
Science of Computer Programming 235, 103089, 2024
12024
Go2Pins: a framework for the LTL verification of Go programs (extended version)
A Kirszenberg, A Martin, H Moreau, E Renault
International Journal on Software Tools for Technology Transfer 25 (1), 77-94, 2023
12023
Go2Pins: a framework for the LTL verification of Go programs
A Kirszenberg, A Martin, H Moreau, E Renault
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual …, 2021
12021
Improving parallel state-space exploration using genetic algorithms
E Renault
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
12018
Translation of Semi-extended Regular Expressions Using Derivatives
A Martin, E Renault, A Duret-Lutz
International Conference on Implementation and Application of Automata, 234-248, 2024
2024
Interpolation-Based Learning for Bounded Model Checking
A Kheireddine, E Renault, S Baarir
transition 1, 0, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20