Suivre
Etienne Renault
Etienne Renault
Teacher / Researcher in Computer Sciences
Adresse e-mail validée de lrde.epita.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
3272016
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
242018
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
192017
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
162015
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
Spot 2.0—a framework for ltl and w-automata manipulation
A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu
International Symposium on Automated Technology for Verification and …, 0
5
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
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
32022
Improving swarming using genetic algorithms
E Renault
Innovations in Systems and Software Engineering 16 (2), 143-159, 2020
22020
Self-reconfigurable modular robots and their symbolic configuration space
S Baarir, LM Hillah, F Kordon, E Renault
Monterey Workshop, 103-121, 2010
22010
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
International Conference on Formal Techniques for Distributed Objects …, 2022
2022
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–18