MLF: raising ML to the power of system F. - Didier Le Botlan; Didier Rémy (ICFP, 2003)

Compositional Abstractions for Search Factories. - Guido Tack; Didier Le Botlan (MOZ, 2004)

Alice through the looking glass. - Andreas Rossberg; Didier Le Botlan; Guido Tack; Thorsten Brunklaus; Gert Smolka (Trends in Functional Programming, 2004)

MLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite). - Didier Le Botlan (2004)

Concurrent aspects. - Rémi Douence; Didier Le Botlan; Jacques Noyé; Mario Südholt (GPCE, 2006)

A Language for Quality of Service Requirements Specification in Web Services Orchestrations. - Fabien Baligand; Didier Le Botlan; Thomas Ledoux; Pierre Combes (ICSOC Workshops, 2006)

Recasting MLF. - Didier Le Botlan; Didier Rémy (Inf. Comput., 2009)

Real-Time Specification Patterns and Tools. - Nouha Abid; Silvano Dal-Zilio; Didier Le Botlan (FMICS, 2012)

A Verified Approach for Checking Real-Time Specification Patterns - Nouha Abid; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2013)

A formal framework to specify and verify real-time properties on critical systems. - Nouha Abid; Silvano Dal-Zilio; Didier Le Botlan (Int. J. Crit. Comput. Based Syst., 2014)

MLF: raising ML to the power of system F. - Didier Le Botlan; Didier Rémy (ACM SIGPLAN Notices, 2014)

Real-Time Model Checking Support for AADL. - Bernard Berthomieu; Jean-Paul Bodeveix; Silvano Dal-Zilio; Mamoun Filali; Didier Le Botlan; Guillaume Verdier; François Vernadat 001 (CoRR, 2015)

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. - Silvano Dal-Zilio; Bernard Berthomieu; Didier Le Botlan (CoRR, 2015)

Petri Net Reductions for Counting Markings. - Bernard Berthomieu; Didier Le Botlan; Silvano Dal-Zilio (SPIN, 2018)

Time-accurate Middleware for the Virtualization of Communication Protocols. - Rafael Scarduelli; Pierre-Alain Bourdil; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2018)

MCC'2017 - The Seventh Model Checking Contest. - 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

A State Class Construction for Computing the Intersection of Time Petri Nets Languages. - Éric Lubat; Silvano Dal-Zilio; Didier Le Botlan; Yannick Pencolé; Audine Subias (FORMATS, 2019)

Presentation of the 9th Edition of the Model Checking Contest. - 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; et al. (TACAS (3), 2019)

A New Product Construction for the Diagnosability of Patterns in Time Petri Net. - Éric Lubat; Silvano Dal-Zilio; Didier Le Botlan; Yannick Pencolé; Audine Subias (CDC, 2020)

On the Petri Nets with a Single Shared Place and Beyond. - Thomas Hujsa; Bernard Berthomieu; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2020)

Checking marking reachability with the state equation in Petri net subclasses. - Thomas Hujsa; Bernard Berthomieu; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2020)

Counting Petri net markings from reduction equations. - Bernard Berthomieu; Didier Le Botlan; Silvano Dal-Zilio (Int. J. Softw. Tools Technol. Transf., 2020)

Accelerating the Computation of Dead and Concurrent Places Using Reductions. - Nicolas Amat; Silvano Dal-Zilio; Didier Le Botlan (SPIN, 2021)

Automated Polyhedral Abstraction Proving. - Nicolas Amat; Silvano Dal-Zilio; Didier Le Botlan (Petri Nets, 2023)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). - 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; et al. (ECRTS, 2023)

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). - 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; et al. (Dagstuhl Artifacts Ser., 2023)

Leveraging polyhedral reductions for solving Petri net reachability problems. - Nicolas Amat; Silvano Dal-Zilio; Didier Le Botlan (Int. J. Softw. Tools Technol. Transf., 2023)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. - Nicolas Amat; Silvano Dal-Zilio; Didier Le Botlan (VMCAI (1), 2024)

On the Complexity of Proving Polyhedral Reductions. - Nicolas Amat; Silvano Dal-Zilio; Didier Le Botlan (Fundam. Informaticae, 2024)