Etienne Renault
From LRDE
Revision as of 07:59, 29 September 2015 by Etienne Renault (talk | contribs)
- Name: Etienne Renault
- Email: renault@lrde.epita.fr
- Subject: "Composition dynamique de techniques pour le modèle checking efficace"
- Ecole doctorale : EDITE
- Advisors: Fabrice Kordon et Denis Poitrenaud (UPMC-LIP6), Alexandre Duret-Lutz (LRDE)
Comment:
I have been graduated in real-time and distributed systems at UPMC and I'm a PHD student working on the dynamic composition of techniques for Model Checking. I am working at LRDE since year 2011-2012 and my work is integrated in the Spot project.
You can check my website here.
You can check my Google page here.
You can contact me at: renault[at]lrde.epita.fr
Here is the list of my publications since I started my PhD.
| Title | Published in | Date | |
|---|---|---|---|
| Tuning SAT Solvers for LTL Model Checking | Tuning SAT Solvers for LTL Model Checking | Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) | 9 December 2022 |
| From Spot 2.0 to Spot 2.10: What's New? | From Spot 2.0 to Spot 2.10: What's New? | Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) | 6 June 2022 |
| LTL under reductions with weaker conditions than stutter invariance | LTL under reductions with weaker conditions than stutter invariance | Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22) | 18 April 2022 |
| Towards Better Heuristics for Solving Bounded Model Checking Problems | Towards Better Heuristics for Solving Bounded Model Checking Problems | Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21) | 31 August 2021 |
| Go2Pins: A Framework for the LTL Verification of Go Programs | Go2Pins: A Framework for the LTL Verification of Go Programs | Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) | 8 June 2021 |
| Combining Parallel Emptiness Checks with Partial Order Reductions | Combining Parallel Emptiness Checks with Partial Order Reductions | Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) | 2 August 2019 |
| Improving Parallel State-Space Exploration Using Genetic Algorithms | Improving Parallel State-Space Exploration Using Genetic Algorithms | Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) | 14 June 2018 |
| Heuristics for Checking Liveness Properties with Partial Order Reductions | Heuristics for Checking Liveness Properties with Partial Order Reductions | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |
| Spot 2.0 — a framework for LTL and ω-automata manipulation | Spot 2.0 — a framework for LTL and ω-automata manipulation | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |
| Parallel Explicit Model Checking for Generalized Büchi Automata | Parallel Explicit Model Checking for Generalized Büchi Automata | Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) | 13 January 2015 |
| Three SCC-based Emptiness Checks for Generalized Büchi Automata | Three SCC-based Emptiness Checks for Generalized Büchi Automata | Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13) | 9 October 2013 |
| Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking | Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking | Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13) | 8 January 2013 |