Etienne Renault
Etienne Renault
Teacher / Researcher in Computer Sciences
Verified email at lrde.epita.fr - Homepage
TitleCited byYear
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
992016
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
232013
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
112015
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
102017
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
62013
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
32016
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
22018
Improving Parallel State-Space Exploration Using Genetic Algorithms
E Renault
International Conference on Verification and Evaluation of Computer and …, 2018
2018
Contribution aux tests de vacuité pour le model checking explicite
E Renault
Paris 6, 2014
2014
Self-reconfigurable modular robots and their symbolic configuration space
S Baarir, LM Hillah, F Kordon, E Renault
Monterey Workshop, 103-121, 2010
2010
Combining Parallel Emptiness Checks with Partial Order Reductions
D Poitrenaud, E Renault
The system can't perform the operation now. Try again later.
Articles 1–11