Filter your results
- 4
- 2
- 3
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 5
- 1
- 6
- 5
- 5
- 4
- 1
- 1
- 6
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
6 Results
|
|
sorted by
|
|
Guaranteeing Timed Opacity using Parametric Timed Model CheckingACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩
Journal articles
hal-03798157v1
|
||
|
A Benchmarks Library for Extended Parametric Timed AutomataTAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
Conference papers
hal-03265573v1
|
||
|
Expiring opacity problems in parametric timed automata2023
Preprints, Working Papers, ...
hal-04151207v1
|
||
|
Efficient Convex Zone Merging in Parametric Timed Automata20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩
Conference papers
hal-03772708v1
|
||
|
strategFTO: Untimed control for timed opacity8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩
Conference papers
hal-03874435v1
|
||
|
Désobscurcissement de prédicats opaquesInria Nancy - Grand Est. 2020
Reports
hal-04134856v1
|