Etienne Renault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
13
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICS | Post-Moore Technologies for Plasma Simulation: A Community Roadmap. | Luca Pennati, Erik M. sgrim, Jeremy J. Williams, Stefan Costea, David Tskhakaya, Leon Kos, Ales Podolnik, Yi Ju, Tapish Narwal, Julian Lenz, Michael Bussmann, Urs Ganse, Minna Palmroth, Kallia Chronaki, Vassilis Papaefstathiou, Etienne Renault, Felix Jung, Martin Schulz, Valentin Seitz, Marta Garcia-Gasulla, Filippo Mantovani, Frank Jenko, Erwin Laure, Stefano Markidis |
| 2025 | EuroPar | Noise Injection for Performance Bottleneck Analysis. | Aurlien Delval, Pablo de Oliveira Castro, William Jalby, Etienne Renault |
| 2025 | SC | Lowering and Runtime Support for Fortran's Multi-Image Parallel Features using LLVM Flang, PRIF, and Caffeine. | Dan Bonachea, Katherine Rasmussen, Damian W. I. Rouson, Jean-Didier Pailleux, Etienne Renault, Brad Richardson |
| 2024 | ENASE | Interpolation-Based Learning for Bounded Model Checking. | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2022 | APSEC | Tuning SAT solvers for LTL Model Checking. | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2022 | CAV | From Spot 2.0 to Spot 2.10: What's New? | Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jrme Dubois, Clment Gillard, Henrich Lauko |
| 2022 | FORTE | LTL Under Reductions with Weaker Conditions Than Stutter Invariance. | Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg |
| 2021 | CP | Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2019 | ICFEM | Combining Parallel Emptiness Checks with Partial Order Reductions. | Denis Poitrenaud, Etienne Renault |
| 2018 | VECoS | Improving Parallel State-Space Exploration Using Genetic Algorithms. | Etienne Renault |
| 2016 | ATVA | Heuristics for Checking Liveness Properties with Partial Order Reductions. | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault |
| 2016 | ATVA | Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. | Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu |
| 2015 | TACAS | Parallel Explicit Model Checking for Generalized Bchi Automata. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2013 | LPAR | Three SCC-Based Emptiness Checks for Generalized Bchi Automata. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2013 | TACAS | Strength-Based Decomposition of the Property Bchi Automaton for Faster Model Checking. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |