Filter your results
- 60
- 35
- 60
- 27
- 3
- 2
- 1
- 1
- 1
- 1
- 94
- 1
- 1
- 2
- 7
- 3
- 15
- 5
- 7
- 8
- 5
- 2
- 8
- 3
- 2
- 3
- 5
- 3
- 4
- 3
- 6
- 2
- 2
- 93
- 2
- 51
- 39
- 20
- 10
- 9
- 9
- 8
- 8
- 7
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 95
- 55
- 16
- 12
- 12
- 8
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
95 Results
|
Decision Problems for Parametric Timed Automata18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩
Conference papers
hal-02538055v1
|
||
|
Optimal-Cost Reachability Analysis Based on Time Petri Nets18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia
Conference papers
hal-01957173v1
|
||
|
Statistical model checking for parameterized models2019
Preprints, Working Papers, ...
hal-02021064v1
|
||
|
Parametric Verification: An IntroductionLNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩
Journal articles
hal-03544041v1
|
||
|
Blending Timed Formal Models with Clock Transition SystemsFundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Journal articles
hal-00940970v1
|
||
An efficient method for computing exact state space of Petri nets with stopwatchesthird 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 semanticsThe 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
|
|||
|
When are Timed Automata weakly timed bisimilar to Time Petri Nets ?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
|
||
|
A Lazy Query Scheme for Reachability Analysis in Petri NetsInternational 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
|
||
|
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted GraphsLanguage and Automata Theory and Applications, Sep 2021, Milan, Italy. pp.279-290, ⟨10.1007/978-3-030-68195-1_22⟩
Conference papers
hal-03561972v1
|
||
|
Parameter Synthesis for Parametric Interval Markov Chains17th 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
|
||
|
Probabilistic Time Petri Nets37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
Conference papers
hal-01590900v1
|
||
|
Timed Automata with Parametric Updates18th 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
|
||
|
Parameter Synthesis for Parametric Interval Markov Chains[Research Report] LINA-University of Nantes; Ecole Centrale de Nantes (ECN); LIPN. 2015
Reports
hal-01219823v1
|
||
|
Clock Transition Systems2012
Reports
hal-00725792v1
|
||
|
Logical time control of concurrent DESDiscrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩
Journal articles
hal-03103458v1
|
||
|
Comparison of Different Semantics for Time Petri Nets3rd 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 nets5th 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 Netsthe 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 netsDiscrete Event Dynamic Systems, 2013, 23 (4), pp.419-438
Journal articles
hal-00940944v1
|
|||
|
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems5th 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
|
||
|
Reachability in Parametric Interval Markov Chains Using Constraints14th 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 NetsFundamenta Informaticae, 2021
Journal articles
hal-03561426v1
|
||
Parametric updates in parametric timed automataLogical 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 StopwatchesDiscrete Event Dynamic Systems, 2007, 17 (2), pp.133-158. ⟨10.1007/s10626-006-0011-y⟩
Journal articles
istex
hal-00489016v1
|
|||
|
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets40th 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 Nets34th 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
|
|||
|
Symbolic Unfolding of Parametric Stopwatch Petri NetsFormal 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 gamesSymposium 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 automata24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China
Conference papers
hal-02267883v1
|