Etienne Renault

30 papers A 3B 4C 6Journal 10Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	How to Make the Most Out of SIMD on AArch64? ISC Serval Martinot-Lagarde, Lou Knauer, Etienne Renault
2025	—	`conf`	Lowering and Runtime Support for Fortran's Multi-Image Parallel Features using LLVM Flang, PRIF, and Caffeine. SC Workshops Dan Bonachea, Katherine Rasmussen, Damian W. I. Rouson, Jean-Didier Pailleux, Etienne Renault, Brad Richardson
2025	—	`conf`	Noise Injection for Performance Bottleneck Analysis. Euro-Par (1) Aurélien Delval, Pablo de Oliveira Castro, William Jalby, Etienne Renault
2025	J	`jnl`	Noise Injection for Performance Bottleneck Analysis. CoRR Aurélien Delval, Pablo de Oliveira Castro, William Jalby, Etienne Renault
2025	J	`jnl`	Structural Reductions and Stutter Sensitive Properties. Log. Methods Comput. Sci. Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2024	J	`jnl`	A model-checker exploiting structural reductions even with stutter sensitive LTL. Sci. Comput. Program. Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud
2024	B	`conf`	Interpolation-Based Learning for Bounded Model Checking. ENASE Anissa Kheireddine, Etienne Renault, Souheib Baarir
2024	C	`conf`	Translation of Semi-extended Regular Expressions Using Derivatives. CIAA Antoine Martin, Etienne Renault, Alexandre Duret-Lutz
2023	J	`jnl`	Go2Pins: a framework for the LTL verification of Go programs (extended version). Int. J. Softw. Tools Technol. Transf. Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
2023	J	`jnl`	Towards better heuristics for solving bounded model checking problems. Constraints An Int. J. Anissa Kheireddine, Etienne Renault, Souheib Baarir
2022	—	`conf`	From Spot 2.0 to Spot 2.10: What's New? CAV (2) Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
2022	J	`jnl`	From Spot 2.0 to Spot 2.10: What's New? CoRR Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
2022	C	`conf`	LTL Under Reductions with Weaker Conditions Than Stutter Invariance. FORTE Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2022	J	`jnl`	Structural Reductions and Stutter Sensitive Properties. CoRR Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2022	C	`conf`	Tuning SAT solvers for LTL Model Checking. APSEC Anissa Kheireddine, Etienne Renault, Souheib Baarir
2021	—	`conf`	Go2Pins: A Framework for the LTL Verification of Go Programs. SPIN Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
2021	J	`jnl`	LTL under reductions with weaker conditions than stutter-invariance. CoRR Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2021	A	`conf`	Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). CP Anissa Kheireddine, Etienne Renault, Souheib Baarir
2020	J	`jnl`	Improving swarming using genetic algorithms. Innov. Syst. Softw. Eng. Etienne Renault
2019	C	`conf`	Combining Parallel Emptiness Checks with Partial Order Reductions. ICFEM Denis Poitrenaud, Etienne Renault
2018	C	`conf`	Improving Parallel State-Space Exploration Using Genetic Algorithms. VECoS Etienne Renault
2018	—	`ch.`	Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
2017	J	`jnl`	Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2016	B	`conf`	Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
2016	B	`conf`	Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. ATVA Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
2015	A	`conf`	Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2014	—	`—`	Contribution aux tests de vacuité pour le model checking explicite. (Contribution to emptiness checks for explicit model checking). Etienne Renault
2013	A	`conf`	Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2013	B	`conf`	Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2010	—	`conf`	Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault