Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. - Souheib Baarir; Lom-Messan Hillah; Fabrice Kordon; Etienne Renault (Monterey Workshop, 2010)

Three SCC-Based Emptiness Checks for Generalized Büchi Automata. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (LPAR, 2013)

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (TACAS, 2013)

Contribution aux tests de vacuité pour le model checking explicite. (Contribution to emptiness checks for explicit model checking). - Etienne Renault (2014)

Parallel Explicit Model Checking for Generalized Büchi Automata. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (TACAS, 2015)

Heuristics for Checking Liveness Properties with Partial Order Reductions. - Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud; Etienne Renault (ATVA, 2016)

Spot 2.0 - A Framework for LTL and omega -Automata Manipulation. - Alexandre Duret-Lutz; Alexandre Lewkowicz; Amaury Fauchille; Thibaud Michaud; Etienne Renault; Laurent Xu (ATVA, 2016)

Variations on parallel explicit emptiness checks for generalized Büchi automata. - Etienne Renault; Alexandre Duret-Lutz; Fabrice Kordon; Denis Poitrenaud (Int. J. Softw. Tools Technol. Transf., 2017)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic. - Jiri Barnat; Vincent Bloemen; Alexandre Duret-Lutz; Alfons Laarman; Laure Petrucci; Jaco van de Pol; Etienne Renault (Handbook of Parallel Constraint Reasoning, 2018)

Improving Parallel State-Space Exploration Using Genetic Algorithms. - Etienne Renault (VECoS, 2018)

Combining Parallel Emptiness Checks with Partial Order Reductions. - Denis Poitrenaud; Etienne Renault (ICFEM, 2019)

Improving swarming using genetic algorithms. - Etienne Renault (Innov. Syst. Softw. Eng., 2020)

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). - Anissa Kheireddine; Etienne Renault; Souheib Baarir (CP, 2021)

Go2Pins: A Framework for the LTL Verification of Go Programs. - Alexandre Kirszenberg; Antoine Martin; Hugo Moreau; Etienne Renault (SPIN, 2021)

Tuning SAT solvers for LTL Model Checking. - Anissa Kheireddine; Etienne Renault; Souheib Baarir (APSEC, 2022)

From Spot 2.0 to Spot 2.10: What's New? - 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 (CAV (2), 2022)

LTL Under Reductions with Weaker Conditions Than Stutter Invariance. - Emmanuel Paviot-Adet; Denis Poitrenaud; Etienne Renault; Yann Thierry-Mieg (FORTE, 2022)

Go2Pins: a framework for the LTL verification of Go programs (extended version). - Alexandre Kirszenberg; Antoine Martin; Hugo Moreau; Etienne Renault (Int. J. Softw. Tools Technol. Transf., 2023)

Towards better heuristics for solving bounded model checking problems. - Anissa Kheireddine; Etienne Renault; Souheib Baarir (Constraints An Int. J., 2023)

Interpolation-Based Learning for Bounded Model Checking. - Anissa Kheireddine; Etienne Renault; Souheib Baarir (ENASE, 2024)

Translation of Semi-extended Regular Expressions Using Derivatives. - Antoine Martin; Etienne Renault; Alexandre Duret-Lutz (CIAA, 2024)

A model-checker exploiting structural reductions even with stutter sensitive LTL. - Yann Thierry-Mieg; Etienne Renault; Emmanuel Paviot-Adet; Denis Poitrenaud (Sci. Comput. Program., 2024)

Noise Injection for Performance Bottleneck Analysis. - Aurélien Delval; Pablo de Oliveira Castro; William Jalby; Etienne Renault (Euro-Par (1), 2025)

How to Make the Most Out of SIMD on AArch64? - Serval Martinot-Lagarde; Lou Knauer; Etienne Renault (ISC, 2025)

Structural Reductions and Stutter Sensitive Properties. - Emmanuel Paviot-Adet; Denis Poitrenaud; Etienne Renault; Yann Thierry-Mieg (Log. Methods Comput. Sci., 2025)