Didier Le Botlan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2003–2024
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2019 | TACAS | 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 Gjl Jensen, Log 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 |
| 2012 | FMICS | Real-Time Specification Patterns and Tools. | Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan |
| 2006 | GPCE | Concurrent aspects. | Rmi Douence, Didier Le Botlan, Jacques Noy, Mario Sdholt |
| 2006 | ICSOC | A Language for Quality of Service Requirements Specification in Web Services Orchestrations. | Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes |
| 2003 | ICFP | ML | Didier Le Botlan, Didier Rmy |