Etienne Renault

According to our database1, Etienne Renault authored at least 10 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...