# Etienne Renault

According to our database

Collaborative distances:

^{1}, Etienne Renault authored at least 10 papers between 2010 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Improving Parallel State-Space Exploration Using Genetic Algorithms.

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

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Variations on parallel explicit emptiness checks for generalized Büchi automata.

STTT, 2017

2016

Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation.

Proceedings of the Automated Technology for Verification and Analysis, 2016

Heuristics for Checking Liveness Properties with Partial Order Reductions.

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Parallel Explicit Model Checking for Generalized Büchi Automata.

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).

PhD thesis, 2014

2013

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

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

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

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

2010

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space.

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