Etienne Renault

Etienne Renault

École pour l'Informatique et les Techniques Avancees - Le Kremlin-Bicêtre / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4439962
Graduate School of Computer Science and Advanced Technologies
person_outline Etienne Renault's MOST POPULAR ARTICLES
1-) Spot 2.0—a framework for LTL and-automata manipulationA Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L XuAutomated Technology for Verification and Analysis: 14th International …, 20163332016
2-) From spot 2.0 to spot 2.10: what’s new?A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ...International Conference on Computer Aided Verification, 174-187, 2022472022
3-) Parallel model checking algorithms for linear-time temporal logicJ Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ...Handbook of Parallel Constraint Reasoning, 457-507, 2018332018
4-) Three SCC-based emptiness checks for generalized Büchi automataE Renault, A Duret-Lutz, F Kordon, D PoitrenaudInternational Conference on Logic for Programming Artificial Intelligence …, 2013272013
5-) Variations on parallel explicit emptiness checks for generalized Büchi automataE Renault, A Duret-Lutz, F Kordon, D PoitrenaudInternational Journal on Software Tools for Technology Transfer 19, 653-673, 2017222017