Search - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly

Filter your results

23 Results
authIdHal_s : didier-le-botlan
Image document

Leveraging polyhedral reductions for solving Petri net reachability problems

Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
International Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Journal articles hal-03973463v1
Image document

Recasting MLF

Didier Le Botlan , Didier Rémy
Information and Computation, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
Journal articles inria-00156628v4
Image document

A New Product Construction for the Diagnosability of Patterns in Time Petri Net

Éric Lubat , Silvano Dal Zilio , Didier Le Botlan , Yannick Pencolé , Audine Subias
59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Conference papers hal-02989834v1
Image document

Verification of Real-Time Specification Patterns on Time Transition Systems

Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
2011
Reports hal-00593963v5
Image document

Real-Time Specification Patterns and Tools

Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, Aug 2012, Paris, France. pp. 1-15, ⟨10.1007/978-3-642-32469-7_1⟩
Conference papers hal-00782649v1
Image document

Formalisation et génération d'injections

Eric Alata , Didier Le Botlan
9ème édition de la conférence Francophone SARSSI, May 2014, Lyon, France. 13p
Conference papers hal-01022924v1

On the Petri Nets with a Single Shared Place and Beyond

Thomas Hujsa , Bernard Berthomieu , Silvano Dal Zilio , Didier Le Botlan
2020
Preprints, Working Papers, ... hal-02992541v1
Image document

An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods

Pascal Acco , Guillaume Auriol , Elodie Chanthery , M.-A Détourbe , Pierre Emmanuel Hladik , et al.
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Journal articles hal-02189482v1
Image document

A Real-Time Specification Patterns Language

Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
2011
Reports hal-00593965v4
Image document

Counting Petri net markings from reduction equations

Bernard Berthomieu , Didier Le Botlan , Silvano Dal Zilio
International Journal on Software Tools for Technology Transfer, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩
Journal articles hal-02125337v1
Image document

A Formal Framework to Specify and Verify Real Time Properties on Critical Systems

Didier Le Botlan , Silvano Dal Zilio , Nouha Abid
International Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
Journal articles hal-00941248v1
Image document

Accelerating the Computation of Dead and Concurrent Places using Reductions

Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
Conference papers hal-03268388v1
Image document

Automated Polyhedral Abstraction Proving

Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩
Conference papers hal-04115006v1
Image document

A Verified Approach for Checking Real-Time Specification Patterns

Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
VECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
Conference papers hal-00782647v2
Image document

Activité pédagogique sur la création d'un jeu d'évasion

Guillaume Auriol , Sonia Ben Dhia , Elodie Chanthery , Pierre-Emmanuel Hladik , Didier Le Botlan , et al.
6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Conference papers hal-02307883v1
Image document

A State Class Construction for Computing the Intersection of Time Petri Nets Languages

Éric Lubat , Silvano Dal Zilio , Didier Le Botlan , Yannick Pencolé , Audine Subias
17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩
Conference papers hal-02263832v1
Image document

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina

Silvano Dal Zilio , Bernard Berthomieu , Didier Le Botlan
2015
Preprints, Working Papers, ... hal-01202741v1
Image document

Petri Net Reductions for Counting Markings

Bernard Berthomieu , Didier Le Botlan , Silvano Dal Zilio
International Symposium on Model Checking Software (SPIN 2018), Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_4⟩
Conference papers hal-01822078v1

Presentation of the 9th Edition of the Model Checking Contest

Elvio Amparore , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal Zilio , Francesco Gallà , et al.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Conference papers hal-02094047v1

Checking marking reachability with the state equation in Petri net subclasses

Thomas Hujsa , Bernard Berthomieu , Silvano Dal Zilio , Didier Le Botlan
2020
Preprints, Working Papers, ... hal-02992521v1
Image document

Time-accurate Middleware for the Virtualization of Communication Protocols

Rafael Scarduelli , Pierre-Alain Bourdil , Silvano Dal Zilio , Didier Le Botlan
Rapport LAAS n° 18126. 2018, 48p
Technical Reports hal-01793367v1
Image document

MCC’2017 - The Seventh Model Checking Contest

Fabrice Kordon , Hubert Garavel , Lom Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings hal-01917492v1
Image document

Real-Time Model Checking Support for AADL

Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , M Filali , Didier Le Botlan , et al.
[Research Report] LAAS-CNRS. 2015
Reports hal-01121605v1