Didier Le Botlan

According to our database, Didier Le Botlan authored at least 29 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Complexity of Proving Polyhedral Reductions.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Fundam. Informaticae, 2024

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Leveraging polyhedral reductions for solving Petri net reachability problems.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Int. J. Softw. Tools Technol. Transf., February, 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, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Dagstuhl Artifacts Ser., 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, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

Automated Polyhedral Abstraction Proving.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2021

Accelerating the Computation of Dead and Concurrent Places Using Reductions.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Model Checking Software - 27th International Symposium, 2021

2020

Counting Petri net markings from reduction equations.

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio

Int. J. Softw. Tools Technol. Transf., 2020

Checking marking reachability with the state equation in Petri net subclasses.

Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2020

On the Petri Nets with a Single Shared Place and Beyond.

Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2020

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

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Time-accurate Middleware for the Virtualization of Communication Protocols.

Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2018

Petri Net Reductions for Counting Markings.

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2015

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina.

Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan

CoRR, 2015

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

CoRR, 2015

2014

MLF: raising ML to the power of system F.

Didier Le Botlan, Didier Rémy

ACM SIGPLAN Notices, 2014

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

2013

A Verified Approach for Checking Real-Time Specification Patterns

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2013

2012

Real-Time Specification Patterns and Tools.

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2009

Recasting MLF.

Didier Le Botlan, Didier Rémy

Inf. Comput., 2009

2006

A Language for Quality of Service Requirements Specification in Web Services Orchestrations.

Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes

Proceedings of the Service-Oriented Computing, 2006

Concurrent aspects.

Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt

Proceedings of the Generative Programming and Component Engineering, 2006

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

PhD thesis, 2004

Alice through the looking glass.

Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Abstractions for Search Factories.

Guido Tack, Didier Le Botlan

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2003

ML^F: raising ML to the power of system F.

Didier Le Botlan, Didier Rémy

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003