Etienne Renault

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 18

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

ATVA

APSEC

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Anissa Kheireddine, Etienne Renault, Souheib Baarir
Interpolation-Based Learning for Bounded Model Checking. ENASE (2024)
Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud
A model-checker exploiting structural reductions even with stutter sensitive LTL. Sci. Comput. Program. 235 (2024)
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
Go2Pins: a framework for the LTL verification of Go programs (extended version). Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Towards better heuristics for solving bounded model checking problems. Constraints An Int. J. 28 (1) (2023)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CoRR (2022)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
Structural Reductions and Stutter Sensitive Properties. CoRR (2022)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. FORTE (2022)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Tuning SAT solvers for LTL Model Checking. APSEC (2022)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CAV (2) (2022)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). CP (2021)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
LTL under reductions with weaker conditions than stutter-invariance. CoRR (2021)
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
Go2Pins: A Framework for the LTL Verification of Go Programs. SPIN (2021)
Etienne Renault
Improving swarming using genetic algorithms. Innov. Syst. Softw. Eng. 16 (2) (2020)
Denis Poitrenaud, Etienne Renault
Combining Parallel Emptiness Checks with Partial Order Reductions. ICFEM (2019)
Etienne Renault
Improving Parallel State-Space Exploration Using Genetic Algorithms. VECoS (2018)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA (2016)
Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. ATVA (2016)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS (2015)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR (2013)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS (2013)
Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop (2010)

Etienne Renault.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Etienne Renault