Follow
Etienne Renault
Etienne Renault
Teacher / Researcher in Computer Sciences
Verified email at lrde.epita.fr - 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
2822016
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
262013
Parallel model checking algorithms for linear-time temporal logic
J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J Pol, ...
Handbook of Parallel Constraint Reasoning, 457-507, 2018
212018
Parallel explicit model checking for generalized Büchi automata
E Renault, A Duret-Lutz, F Kordon, D Poitrenaud
International Conference on Tools and Algorithms for the Construction and …, 2015
172015
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 (6), 653-673, 2017
162017
Strength-based decomposition of the property Büchi automaton for faster model checking
E Renault, A Duret-Lutz, F Kordon, D Poitrenaud
International Conference on Tools and Algorithms for the Construction and …, 2013
72013
Heuristics for checking liveness properties with partial order reductions
A Duret-Lutz, F Kordon, D Poitrenaud, E Renault
International Symposium on Automated Technology for Verification and …, 2016
42016
Self-reconfigurable modular robots and their symbolic configuration space
S Baarir, LM Hillah, F Kordon, E Renault
Monterey Workshop, 103-121, 2010
22010
Improving swarming using genetic algorithms
E Renault
Innovations in Systems and Software Engineering 16 (2), 143-159, 2020
12020
Improving parallel state-space exploration using genetic algorithms
E Renault
International Conference on Verification and Evaluation of Computer and …, 2018
12018
LTL under reductions with weaker conditions than stutter-invariance
E Paviot-Adet, D Poitrenaud, E Renault, Y Thierry-Mieg
arXiv preprint arXiv:2111.03342, 2021
2021
Go2Pins: a framework for the LTL verification of Go programs
A Kirszenberg, A Martin, H Moreau, E Renault
International Symposium on Model Checking Software, 140-156, 2021
2021
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper)
A Kheireddine, E Renault, S Baarir
27th International Conference on Principles and Practice of Constraint …, 2021
2021
Combining Parallel Emptiness Checks with Partial Order Reductions
D Poitrenaud, E Renault
International Conference on Formal Engineering Methods, 370-386, 2019
2019
Research Process
E Renault
2017
Contribution aux tests de vacuité pour le model checking explicite
E Renault
Paris 6, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–16