Search - Archive ouverte HAL Access content directly

Filter your results

95 Results
Image document

Decision Problems for Parametric Timed Automata

Étienne André , Didier Lime , Olivier Henri Roux
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩
Conference papers hal-02538055v1
Image document

Optimal-Cost Reachability Analysis Based on Time Petri Nets

Hanifa Boucheneb , Didier Lime , Olivier Henri Roux , Charlotte Seidner
18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia
Conference papers hal-01957173v1
Image document

Statistical model checking for parameterized models

Benoit Delahaye , Paulin Fournier , Didier Lime
2019
Preprints, Working Papers, ... hal-02021064v1

Parametric Verification: An Introduction

Etienne André , Michal Jozef Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩
Journal articles hal-03544041v1
Image document

Blending Timed Formal Models with Clock Transition Systems

Claude Jard , Didier Lime , Olivier Henri Roux
Fundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Journal articles hal-00940970v1

An efficient method for computing exact state space of Petri nets with stopwatches

Morgan Magnin , Didier Lime , Olivier Henri Roux
third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, United Kingdom. pp.59--77
Conference papers hal-00523595v1

Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics

Morgan Magnin , Didier Lime , Olivier Henri Roux
The 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, China. pp.307--326
Conference papers hal-00523612v1
Image document

When are Timed Automata weakly timed bisimilar to Time Petri Nets ?

Béatrice Berard , Franck Cassez , Serge Haddad , Didier Lime , Olivier Henri Roux
25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), Dec 2005, Chennai, India. pp.276--284
Conference papers inria-00368578v1
Image document

A Lazy Query Scheme for Reachability Analysis in Petri Nets

Loïg Jezequel , Didier Lime , Bastien Sérée
International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.360-378, ⟨10.1007/978-3-030-76983-3_18⟩
Conference papers hal-03561703v1
Image document

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs

Bastien Sérée , Loïg Jezequel , Didier Lime
Language and Automata Theory and Applications, Sep 2021, Milan, Italy. pp.279-290, ⟨10.1007/978-3-030-68195-1_22⟩
Conference papers hal-03561972v1
Image document

Parameter Synthesis for Parametric Interval Markov Chains

Benoit Delahaye , Didier Lime , Laure Petrucci
17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, Saint Petersburg, Forida, United States. pp.372 - 390, ⟨10.1007/978-3-662-49122-5_18⟩
Conference papers hal-01590884v1
Image document

Probabilistic Time Petri Nets

Yrvann Emzivat , Benoit Delahaye , Didier Lime , Olivier Henri Roux
37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
Conference papers hal-01590900v1
Image document

Timed Automata with Parametric Updates

Étienne André , Didier Lime , Mathias Ramparison
18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. pp.21-29, ⟨10.1109/acsd.2018.000-2⟩
Conference papers hal-01957157v1
Image document

Parameter Synthesis for Parametric Interval Markov Chains

Benoit Delahaye , Didier Lime , Laure Petrucci
[Research Report] LINA-University of Nantes; Ecole Centrale de Nantes (ECN); LIPN. 2015
Reports hal-01219823v1
Image document

Clock Transition Systems

Didier Lime , Olivier Henri Roux , Claude Jard
2012
Reports hal-00725792v1
Image document

Logical time control of concurrent DES

Jean-Luc Béchennec , Didier Lime , Olivier H. Roux
Discrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩
Journal articles hal-03103458v1
Image document

Comparison of Different Semantics for Time Petri Nets

Béatrice Berard , Franck Cassez , Serge Haddad , Didier Lime , Olivier Henri Roux
3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Oct 2005, Taiwan, Taiwan. pp.293--307
Conference papers inria-00368580v1

Expressiveness and analysis of scheduling extended time Petri nets

Didier Lime , Olivier Henri Roux
5th IFAC International Conference on Fieldbus Systems and their Applications, (FET'03), 2003, Aveiro, Portugal. pp.193--20
Conference papers hal-00523586v1

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Louis-Marie Traonouez , Bartosz Grabiec , Claude Jard , Didier Lime , Olivier Henri Roux
the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Sep 2010, Singapore, Singapore. pp.291-305
Conference papers hal-00523593v1

Shrinking of time Petri nets

Didier Lime , Claude Martinez , Olivier Henri Roux
Discrete Event Dynamic Systems, 2013, 23 (4), pp.419-438
Journal articles hal-00940944v1
Image document

Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems

Baptiste Parquier , Laurent Rioux , Rafik Henia , Romain Soulat , Olivier Henri Roux , et al.
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Conference papers hal-02538041v1
Image document

Reachability in Parametric Interval Markov Chains Using Constraints

Anicet Bart , Benoit Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet
14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩
Conference papers hal-01591036v1

Cost Problems for Parametric Time Petri Nets

Didier Lime , Charlotte Seidner , Olivier Henri Roux
Fundamenta Informaticae, 2021
Journal articles hal-03561426v1

Parametric updates in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
Logical Methods in Computer Science, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩
Journal articles hal-03340905v1

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

Bernard Berthomieu , Didier Lime , Olivier Henri Roux , François Vernadat
Discrete Event Dynamic Systems, 2007, 17 (2), pp.133-158. ⟨10.1007/s10626-006-0011-y⟩
Journal articles istex hal-00489016v1
Image document

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets

Didier Lime , Olivier Henri Roux , Charlotte Seidner
40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), Jun 2019, Aachen, Germany. pp.406-425, ⟨10.1007/978-3-030-21571-2_22⟩
Conference papers hal-02565091v1

On Multi-enabledness in Time Petri Nets

Hanifa Boucheneb , Didier Lime , Olivier Henri Roux
34th International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013, Jun 2013, Milan, Italy. pp.130-149
Conference papers hal-00940994v1
Image document

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Claude Jard , Didier Lime , Olivier Henri Roux , Louis-Marie Traonouez
Formal Methods in System Design, 2013, 43 (3), pp.493-519. ⟨10.1007/s10703-013-0188-2⟩
Journal articles hal-00840368v1

Synthesis of bounded integer parameters for parametric timed reachability games

Aleksandra Jovanovic , Didier Lime , Olivier Henri Roux
Symposium on Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoi, Vietnam. pp.87-101
Conference papers hal-00940988v1

On the expressive power of invariants in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China
Conference papers hal-02267883v1