Etienne Renault

According to our database, Etienne Renault authored at least 20 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards better heuristics for solving bounded model checking problems.

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Constraints An Int. J., March, 2023

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., February, 2023

2022

Structural Reductions and Stutter Sensitive Properties.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

CoRR, 2022

LTL Under Reductions with Weaker Conditions Than Stutter Invariance.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Tuning SAT solvers for LTL Model Checking.

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Go2Pins: A Framework for the LTL Verification of Go Programs.

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper).

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Improving swarming using genetic algorithms.

Etienne Renault

Innov. Syst. Softw. Eng., 2020

2019

Combining Parallel Emptiness Checks with Partial Order Reductions.

Denis Poitrenaud, Etienne Renault

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Improving Parallel State-Space Exploration Using Genetic Algorithms.

Etienne Renault

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

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

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

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

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

Proceedings of the Automated Technology for Verification and Analysis, 2016

Heuristics for Checking Liveness Properties with Partial Order Reductions.

Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Parallel Explicit Model Checking for Generalized Büchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

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

Etienne Renault

PhD thesis, 2014

2013

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Three SCC-Based Emptiness Checks for Generalized Büchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2010

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space.

Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010