Didier Le Botlan

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 23

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

SPIN

VMCAI (1)

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. CoRR (2024)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. VMCAI (1) (2024)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Leveraging polyhedral reductions for solving Petri net reachability problems. CoRR (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Automated Polyhedral Abstraction Proving. CoRR (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Automated Polyhedral Abstraction Proving. Petri Nets (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Leveraging polyhedral reductions for solving Petri net reachability problems. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Accelerating the Computation of Dead and Concurrent Places Using Reductions. SPIN (2021)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Accelerating the Computation of Dead and Concurrent Places using Reductions. CoRR (2021)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
On the Petri Nets with a Single Shared Place and Beyond. CoRR (2020)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
Checking marking reachability with the state equation in Petri net subclasses. CoRR (2020)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Counting Petri net markings from reduction equations. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
A New Product Construction for the Diagnosability of Patterns in Time Petri Net. CDC (2020)
Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Yannick Pencolé, Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Audine Subias
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. CoRR (2019)
Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS (2019)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Petri Net Reductions for Counting Markings. SPIN (2018)
Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan
Time-accurate Middleware for the Virtualization of Communication Protocols. CoRR (2018)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Petri Net Reductions for Counting Markings. CoRR (2018)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. CoRR (2015)
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
Real-Time Model Checking Support for AADL. CoRR (2015)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
A formal framework to specify and verify real-time properties on critical systems. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Didier Le Botlan, Didier Rémy
MLF: raising ML to the power of system F. ACM SIGPLAN Notices 49 (4S) (2014)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
A Verified Approach for Checking Real-Time Specification Patterns CoRR (2013)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
Real-Time Specification Patterns and Tools CoRR (2013)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
Real-Time Specification Patterns and Tools. FMICS (2012)
Didier Le Botlan, Didier Rémy
Recasting MLF. Inf. Comput. 207 (6) (2009)
Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
Concurrent aspects. GPCE (2006)
Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes
A Language for Quality of Service Requirements Specification in Web Services Orchestrations. ICSOC Workshops (2006)
Guido Tack, Didier Le Botlan
Compositional Abstractions for Search Factories. MOZ (2004)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Alice through the looking glass. Trends in Functional Programming (2004)
Didier Rémy, Didier Le Botlan
: raising ML to the power of system F. SIGPLAN Notices (2003)
Didier Le Botlan, Didier Rémy
: raising ML to the power of system F. ICFP (2003)

Didier Le Botlan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Didier Le Botlan