Didier Le Botlan

36 papers A 1B 3C 1Journal 21Unranked 9

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	On the Complexity of Proving Polyhedral Reductions. Fundam. Informaticae Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2024	—	`conf`	Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. VMCAI (1) Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2024	J	`jnl`	Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. CoRR Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2023	B	`conf`	Automated Polyhedral Abstraction Proving. Petri Nets Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2023	J	`jnl`	Automated Polyhedral Abstraction Proving. CoRR Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2023	J	`jnl`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 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
2023	B	`conf`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS 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
2023	J	`jnl`	Leveraging polyhedral reductions for solving Petri net reachability problems. CoRR Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2023	J	`jnl`	Leveraging polyhedral reductions for solving Petri net reachability problems. Int. J. Softw. Tools Technol. Transf. Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2021	—	`conf`	Accelerating the Computation of Dead and Concurrent Places Using Reductions. SPIN Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2021	J	`jnl`	Accelerating the Computation of Dead and Concurrent Places using Reductions. CoRR Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
2020	—	`conf`	A New Product Construction for the Diagnosability of Patterns in Time Petri Net. CDC Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
2020	J	`jnl`	Checking marking reachability with the state equation in Petri net subclasses. CoRR Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
2020	J	`jnl`	Counting Petri net markings from reduction equations. Int. J. Softw. Tools Technol. Transf. Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
2020	J	`jnl`	On the Petri Nets with a Single Shared Place and Beyond. CoRR Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
2019	—	`conf`	A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
2019	J	`jnl`	A State Class Construction for Computing the Intersection of Time Petri Nets Languages. CoRR Yannick Pencolé, Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Audine Subias
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 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
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 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
2018	—	`conf`	Petri Net Reductions for Counting Markings. SPIN Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
2018	J	`jnl`	Petri Net Reductions for Counting Markings. CoRR Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
2018	J	`jnl`	Time-accurate Middleware for the Virtualization of Communication Protocols. CoRR Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan
2015	J	`jnl`	Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. CoRR Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan
2015	J	`jnl`	Real-Time Model Checking Support for AADL. CoRR Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
2014	J	`jnl`	A formal framework to specify and verify real-time properties on critical systems. Int. J. Crit. Comput. Based Syst. Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
2014	J	`jnl`	MLF: raising ML to the power of system F. ACM SIGPLAN Notices Didier Le Botlan, Didier Rémy
2013	J	`jnl`	A Verified Approach for Checking Real-Time Specification Patterns CoRR Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
2013	J	`jnl`	Real-Time Specification Patterns and Tools CoRR Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
2012	C	`conf`	Real-Time Specification Patterns and Tools. FMICS Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
2009	J	`jnl`	Recasting MLF. Inf. Comput. Didier Le Botlan, Didier Rémy
2006	—	`conf`	A Language for Quality of Service Requirements Specification in Web Services Orchestrations. ICSOC Workshops Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes
2006	B	`conf`	Concurrent aspects. GPCE Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
2004	—	`conf`	Alice through the looking glass. Trends in Functional Programming Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
2004	—	`conf`	Compositional Abstractions for Search Factories. MOZ Guido Tack, Didier Le Botlan
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
2003	A	`conf`	ML ICFP Didier Le Botlan, Didier Rémy