E-LIB Suche - Ergebnisse für: Le Botlan, Didier

1

Automated Polyhedral Abstraction Proving:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier - p. 324-345 , 2023

Link: https://doi.org/10.1007/..

2

Project and Conquer: Fast Quantifier Elimination for Checki..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier - p. 101-123 , 2023

Link: https://doi.org/10.1007/..

3

Leveraging polyhedral reductions for solving Petri net reac..:

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier
International Journal on Software Tools for Technology Transfer. 25 (2022) 1 - p. 95-114 , 2022

Link: https://doi.org/10.1007/..

4

Accelerating the Computation of Dead and Concurrent Places ..:

, In: Model Checking Software; Lecture Notes in Computer Science,

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier - p. 45-62 , 2021

Link: https://doi.org/10.1007/..

5

A New Product Construction for the Diagnosability of Patter..:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),

Lubat, Eric ; Zilio, Silvano Dal ; Botlan, Didier Le.. - p. 104-109 , 2020

Link: https://doi.org/10.1109/..

6

Presentation of the 9th Edition of the Model Checking Conte..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Amparore, Elvio ; Berthomieu, Bernard ; Ciardo, Gianfranco... - p. 50-68 , 2019

Link: https://doi.org/10.1007/..

7

Counting Petri net markings from reduction equations:

Berthomieu, Bernard ; Le Botlan, Didier ; Dal Zilio, Silvano
International Journal on Software Tools for Technology Transfer. 22 (2019) 2 - p. 163-181 , 2019

Link: https://doi.org/10.1007/..

8

A State Class Construction for Computing the Intersection o..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Lubat, Éric ; Dal Zilio, Silvano ; Le Botlan, Didier.. - p. 79-95 , 2019

Link: https://doi.org/10.1007/..

9

MCC'2017 – The Seventh Model Checking Contest:

, In: Transactions on Petri Nets and Other Models of Concurrency XIII; Lecture Notes in Computer Science,

Kordon, Fabrice ; Garavel, Hubert ; Hillah, Lom Messan... - p. 181-209 , 2018

Link: https://doi.org/10.1007/..

10

MLF : raising ML to the power of system F:

Le Botlan, Didier ; Rémy, Didier
ACM SIGPLAN Notices. 49 (2014) 4S - p. 52-63 , 2014

Link: https://dl.acm.org/doi/1..

11

MLF: raising ML to the power of system F:

Le Botlan, Didier ; Rémy, Didier
ACM SIGPLAN Notices. 49 (2014) 4S - p. 52-63 , 2014

Link: https://doi.org/10.1145/..

12

Recasting MLF:

Botlan, Didier Le ; Rémy, Didier
Information and Computation. 207 (2009) 6 - p. 726-785 , 2009

Link: https://doi.org/10.1016/..

13

Concurrent aspects:

, In: Proceedings of the 5th international conference on Generative programming and component engineering,

Douence, Rémi ; Le Botlan, Didier ; Noyé, Jacques. - p. 79-88 , 2006

Link: https://dl.acm.org/doi/1..

14

MLF: raising ML to the power of system F:

Le Botlan, Didier ; Rémy, Didier
ACM SIGPLAN Notices. 38 (2003) 9 - p. 27-38 , 2003

Link: https://doi.org/10.1145/..

15

MLF : raising ML to the power of system F:

, In: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming,

Le Botlan, Didier ; Rémy, Didier - p. 27-38 , 2003

Link: https://dl.acm.org/doi/1..