| Spot 2.0—a framework for LTL and-automata manipulation A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud, E Renault, L Xu International Symposium on Automated Technology for Verification and …, 2016 | 424 | 2016 |
| 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, 2022 | 94 | 2022 |
| 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 | 39 | 2018 |
| Three SCC-based emptiness checks for generalized Büchi automata E Renault, A Duret-Lutz, F Kordon, D Poitrenaud International Conference on Logic for Programming Artificial Intelligence …, 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 | 22 | 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 | 20 | 2015 |
| 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 | 11 | 2013 |
| 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 | 6 | 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 | 6 | 2016 |
| Towards better heuristics for solving bounded model checking problems A Kheireddine, E Renault, S Baarir Constraints 28 (1), 45-66, 2023 | 4 | 2023 |
| Improving swarming using genetic algorithms E Renault Innovations in Systems and Software Engineering 16 (2), 143-159, 2020 | 4 | 2020 |
| Structural reductions and stutter sensitive properties E Paviot-Adet, D Poitrenaud, E Renault, Y Thierry-Mieg arXiv preprint arXiv:2212.04218, 2022 | 3 | 2022 |
| LTL under reductions with weaker conditions than stutter invariance E Paviot-Adet, D Poitrenaud, E Renault, Y Thierry-Mieg International Conference on Formal Techniques for Distributed Objects …, 2022 | 3 | 2022 |
| 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 | 3 | 2011 |
| A model-checker exploiting structural reductions even with stutter sensitive LTL Y Thierry-Mieg, E Renault, E Paviot-Adet, D Poitrenaud Science of Computer Programming 235, 103089, 2024 | 1 | 2024 |
| 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 25 (1), 77-94, 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 |
| Translation of Semi-extended Regular Expressions Using Derivatives A Martin, E Renault, A Duret-Lutz International Conference on Implementation and Application of Automata, 234-248, 2024 | | 2024 |
| Interpolation-Based Learning for Bounded Model Checking A Kheireddine, E Renault, S Baarir transition 1, 0, 2024 | | 2024 |
