Didier Le Botlan
Orcid: 0000-0002-6457-2740
According to our database1,
Didier Le Botlan
authored at least 29 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
2023
Int. J. Softw. Tools Technol. Transf., February, 2023
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Ser., 2023
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2021
Proceedings of the Model Checking Software - 27th International Symposium, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
CoRR, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
CoRR, 2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
2015
CoRR, 2015
2014
Int. J. Crit. Comput. Based Syst., 2014
2013
2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
2009
2006
A Language for Quality of Service Requirements Specification in Web Services Orchestrations.
Proceedings of the Service-Oriented Computing, 2006
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).
PhD thesis, 2004
Alice through the looking glass.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004
2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003