Filter your results
- 20
- 3
- 10
- 5
- 3
- 3
- 1
- 1
- 1
- 22
- 1
- 2
- 1
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 21
- 2
- 23
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 23
- 18
- 8
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Leveraging polyhedral reductions for solving Petri net reachability problemsInternational Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Journal articles
hal-03973463v1
|
||
|
Recasting MLFInformation 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
|
||
|
A New Product Construction for the Diagnosability of Patterns in Time Petri Net59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Conference papers
hal-02989834v1
|
||
|
Verification of Real-Time Specification Patterns on Time Transition Systems2011
Reports
hal-00593963v5
|
||
|
Real-Time Specification Patterns and Tools17th 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
|
||
|
Formalisation et génération d'injections9è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 Beyond2020
Preprints, Working Papers, ...
hal-02992541v1
|
||
|
An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile MethodsJournal 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
|
||
|
A Real-Time Specification Patterns Language2011
Reports
hal-00593965v4
|
||
|
Counting Petri net markings from reduction equationsInternational Journal on Software Tools for Technology Transfer, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩
Journal articles
hal-02125337v1
|
||
|
A Formal Framework to Specify and Verify Real Time Properties on Critical SystemsInternational Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
Journal articles
hal-00941248v1
|
||
|
Accelerating the Computation of Dead and Concurrent Places using Reductions27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
Conference papers
hal-03268388v1
|
||
|
Automated Polyhedral Abstraction Proving44th 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
|
||
|
A Verified Approach for Checking Real-Time Specification PatternsVECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
Conference papers
hal-00782647v2
|
||
|
Activité pédagogique sur la création d'un jeu d'évasion6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Conference papers
hal-02307883v1
|
||
|
A State Class Construction for Computing the Intersection of Time Petri Nets Languages17th 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
|
||
|
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina2015
Preprints, Working Papers, ...
hal-01202741v1
|
||
|
Petri Net Reductions for Counting Markings 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 ContestTools 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 subclasses2020
Preprints, Working Papers, ...
hal-02992521v1
|
||
|
Time-accurate Middleware for the Virtualization of Communication ProtocolsRapport LAAS n° 18126. 2018, 48p
Technical Reports
hal-01793367v1
|
||
|
MCC’2017 - The Seventh Model Checking ContestLNCS 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
|
||
|
Real-Time Model Checking Support for AADL[Research Report] LAAS-CNRS. 2015
Reports
hal-01121605v1
|