default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEtienne Renault
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j5]Yann Thierry-Mieg, Etienne Renault
, Emmanuel Paviot-Adet, Denis Poitrenaud:
A model-checker exploiting structural reductions even with stutter sensitive LTL. Sci. Comput. Program. 235: 103089 (2024)- [c15]Anissa Kheireddine, Etienne Renault, Souheib Baarir:
Interpolation-Based Learning for Bounded Model Checking. ENASE 2024: 605-614 - [c14]Antoine Martin, Etienne Renault, Alexandre Duret-Lutz:
Translation of Semi-extended Regular Expressions Using Derivatives. CIAA 2024: 234-248 - 2023
- [j4]Anissa Kheireddine, Etienne Renault, Souheib Baarir:
Towards better heuristics for solving bounded model checking problems. Constraints An Int. J. 28(1): 45-66 (2023) - [j3]Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault:
Go2Pins: a framework for the LTL verification of Go programs (extended version). Int. J. Softw. Tools Technol. Transf. 25(1): 77-94 (2023) - 2022
- [c13]Anissa Kheireddine, Etienne Renault, Souheib Baarir:
Tuning SAT solvers for LTL Model Checking. APSEC 2022: 259-268 - [c12]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:
From Spot 2.0 to Spot 2.10: What's New? CAV (2) 2022: 174-187 - [c11]Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. FORTE 2022: 170-187 - [i3]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:
From Spot 2.0 to Spot 2.10: What's New? CoRR abs/2206.11366 (2022) - [i2]Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
Structural Reductions and Stutter Sensitive Properties. CoRR abs/2212.04218 (2022) - 2021
- [c10]Anissa Kheireddine, Etienne Renault, Souheib Baarir:
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). CP 2021: 7:1-7:11 - [c9]Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault:
Go2Pins: A Framework for the LTL Verification of Go Programs. SPIN 2021: 140-156 - [i1]Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
LTL under reductions with weaker conditions than stutter-invariance. CoRR abs/2111.03342 (2021) - 2020
- [j2]Etienne Renault:
Improving swarming using genetic algorithms. Innov. Syst. Softw. Eng. 16(2): 143-159 (2020)
2010 – 2019
- 2019
- [c8]Denis Poitrenaud, Etienne Renault:
Combining Parallel Emptiness Checks with Partial Order Reductions. ICFEM 2019: 370-386 - 2018
- [c7]Etienne Renault:
Improving Parallel State-Space Exploration Using Genetic Algorithms. VECoS 2018: 133-149 - [p1]Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault:
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning 2018: 457-507 - 2017
- [j1]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. 19(6): 653-673 (2017) - 2016
- [c6]Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu:
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. ATVA 2016: 122-129 - [c5]Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault:
Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA 2016: 340-356 - 2015
- [c4]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS 2015: 613-627 - 2014
- [b1]Etienne Renault:
Contribution aux tests de vacuité pour le model checking explicite. (Contribution to emptiness checks for explicit model checking). Pierre and Marie Curie University, Paris, France, 2014 - 2013
- [c3]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR 2013: 668-682 - [c2]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS 2013: 580-593 - 2010
- [c1]Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault:
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop 2010: 103-121
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
