Didier Le Botlan

According to our database1, Didier Le Botlan authored at least 17 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Petri Net Reductions for Counting Markings.
CoRR, 2018

Time-accurate Middleware for the Virtualization of Communication Protocols.
CoRR, 2018

Petri Net Reductions for Counting Markings.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

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

Real-Time Model Checking Support for AADL.
CoRR, 2015

2014
A formal framework to specify and verify real-time properties on critical systems.
IJCCBS, 2014

2013
Real-Time Specification Patterns and Tools
CoRR, 2013

A Verified Approach for Checking Real-Time Specification Patterns
CoRR, 2013

2012
Real-Time Specification Patterns and Tools.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2009
Recasting MLF.
Inf. Comput., 2009

2006
A Language for Quality of Service Requirements Specification in Web Services Orchestrations.
Proceedings of the Service-Oriented Computing, 2006

Concurrent aspects.
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

Compositional Abstractions for Search Factories.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2003
MLF: raising ML to the power of system F.
SIGPLAN Notices, 2003

MLF: raising ML to the power of system F.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003


  Loading...