Filter your results
- 6
- 1
- 4
- 2
- 1
- 7
- 1
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 Results
|
|
sorted by
|
|
Software Architecture of Modern Model CheckersComputing and Software Science, State of the Art and Perspectives, 10000, Springer, pp.393-419, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-91908-9_20⟩
Book sections
hal-02343325v1
|
||
|
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
|
||
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)Recent Trends in Algebraic Development Techniques, 12669, Springer International Publishing, pp.3-10, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-73785-6_1⟩
Book sections
hal-03544025v1
|
|||
|
Minimal-Time Synthesis for Parametric Timed Automata25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Apr 2019, Prague, Czech Republic. pp.211--228, ⟨10.1007/978-3-030-17465-1_12⟩
Conference papers
hal-02153342v1
|
||
|
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.1-9, ⟨10.1109/ICECCS2018.2018.00009⟩
Conference papers
hal-03544085v1
|
||
|
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
|
||
|
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
|