Didier Le Botlan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2024

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net ReachabilityNicolas Amat, Silvano Dal-Zilio, Didier Le Botlan. vmcai 2024: 101-123 [doi]

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. ecrts 2023: [doi]

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. darts, 9(1), 2023. [doi]

Automated Polyhedral Abstraction ProvingNicolas Amat, Silvano Dal-Zilio, Didier Le Botlan. apn 2023: 324-345 [doi]

Leveraging polyhedral reductions for solving Petri net reachability problemsNicolas Amat, Silvano Dal-Zilio, Didier Le Botlan. STTT, 25(1):95-114, February 2023. [doi]

2021

Accelerating the Computation of Dead and Concurrent Places Using ReductionsNicolas Amat, Silvano Dal-Zilio, Didier Le Botlan. spin 2021: 45-62 [doi]

2020

Counting Petri net markings from reduction equationsBernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio. STTT, 22(2):163-181, 2020. [doi]

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: 104-109 [doi]

2019

2018

2014

A formal framework to specify and verify real-time properties on critical systemsNouha Abid, Silvano Dal-Zilio, Didier Le Botlan. ijccbs, 5(1/2):4-30, 2014. [doi]

MLF: raising ML to the power of system FDidier Le Botlan, Didier Rémy. SIGPLAN, 49(4S):52-63, 2014. [doi]

2012

Real-Time Specification Patterns and ToolsNouha Abid, Silvano Dal-Zilio, Didier Le Botlan. fmics 2012: 1-15 [doi]

2009

Recasting MLFDidier Le Botlan, Didier RÃ©my. iandc, 207(6):726-785, 2009. [doi]

2006

A Language for Quality of Service Requirements Specification in Web Services OrchestrationsFabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes. icsoc 2007: 38-49 [doi]

Concurrent aspectsRémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt. GPCE 2006: 79-88 [doi]

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, École Polytechnique, Palaiseau, France, 2004. [doi]

Alice through the looking glassAndreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka. sfp 2006: 79-95

Compositional Abstractions for Search FactoriesGuido Tack, Didier Le Botlan. moz 2005: 211-223 [doi]

2003

ML:::F:::: raising ML to the power of system FDidier Le Botlan, Didier Rémy. ICFP 2003: 27-38 [doi]

ML:::F:::: raising ML to the power of system FDidier Le Botlan, Didier RÃ©my. SIGPLAN, 38(9):27-38, 2003. [doi]

Sign in or sign up to see more results.

runs on WebDSL