| Spot 2.0—a framework for LTL and-automata manipulation A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu Automated Technology for Verification and Analysis: 14th International …, 2016 | 353 | 2016 |
| Parallel model checking algorithms for linear-time temporal logic J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ... Handbook of Parallel Constraint Reasoning, 457-507, 2018 | 30 | 2018 |
| Three SCC-based emptiness checks for generalized Büchi automata E Renault, A Duret-Lutz, F Kordon, D Poitrenaud Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 27 | 2013 |
| Variations on parallel explicit emptiness checks for generalized Büchi automata E Renault, A Duret-Lutz, F Kordon, D Poitrenaud International Journal on Software Tools for Technology Transfer 19, 653-673, 2017 | 19 | 2017 |
| Parallel explicit model checking for generalized Büchi automata E Renault, A Duret-Lutz, F Kordon, D Poitrenaud Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 17 | 2015 |
| From Spot 2.0 to Spot 2.10: What’s New? A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ... Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 2022 | 13 | 2022 |
| Strength-based decomposition of the property Büchi automaton for faster model checking E Renault, A Duret-Lutz, F Kordon, D Poitrenaud Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 9 | 2013 |
| Spot 2.0—a framework for ltl and w-automata manipulation A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu International Symposium on Automated Technology for Verification and …, 2016 | 6 | 2016 |
| Spot 2.0 Ð a framework for LTL and 𝜔-automata manipulation A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu ATVA, 2016 | 5 | 2016 |
| Heuristics for checking liveness properties with partial order reductions A Duret-Lutz, F Kordon, D Poitrenaud, E Renault Automated Technology for Verification and Analysis: 14th International …, 2016 | 5 | 2016 |
| Improving swarming using genetic algorithms E Renault Innovations in Systems and Software Engineering 16 (2), 143-159, 2020 | 3 | 2020 |
| Towards better heuristics for solving bounded model checking problems A Kheireddine, E Renault, S Baarir Constraints 28 (1), 45-66, 2023 | 2 | 2023 |
| Self-reconfigurable modular robots and their symbolic configuration space S Baarir, LM Hillah, F Kordon, E Renault Foundations of Computer Software. Modeling, Development, and Verification of …, 2011 | 2 | 2011 |
| Go2Pins: a framework for the LTL verification of Go programs (extended version) A Kirszenberg, A Martin, H Moreau, E Renault International Journal on Software Tools for Technology Transfer, 1-18, 2023 | 1 | 2023 |
| Go2Pins: a framework for the LTL verification of Go programs A Kirszenberg, A Martin, H Moreau, E Renault Model Checking Software: 27th International Symposium, SPIN 2021, Virtual …, 2021 | 1 | 2021 |
| Improving parallel state-space exploration using genetic algorithms E Renault Verification and Evaluation of Computer and Communication Systems: 12th …, 2018 | 1 | 2018 |
| Structural Reductions and Stutter Sensitive Properties E Paviot-Adet, D Poitrenaud, E Renault, Y Thierry-Mieg arXiv preprint arXiv:2212.04218, 2022 | | 2022 |
| Tuning SAT solvers for LTL Model Checking A Kheireddine, E Renault, S Baarir 2022 29th Asia-Pacific Software Engineering Conference (APSEC), 259-268, 2022 | | 2022 |
| LTL under reductions with weaker conditions than stutter invariance E Paviot-Adet, D Poitrenaud, E Renault, Y Thierry-Mieg Formal Techniques for Distributed Objects, Components, and Systems: 42nd …, 2022 | | 2022 |
| Combining Parallel Emptiness Checks with Partial Order Reductions D Poitrenaud, E Renault Formal Methods and Software Engineering: 21st International Conference on …, 2019 | | 2019 |
