Search - Archive ouverte HAL Access content directly

Filter your results

7 Results

Software Architecture of Modern Model Checkers

Fabrice Kordon , Michael Leuschel , Jaco van de Pol , Yann Thierry-Mieg
Computing 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 Automata

Étienne André , Dylan Marinho , Jaco van de Pol
TAP 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)

Laure Petrucci , Jaco van de Pol
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 Automata

Étienne André , Vincent Bloemen , Laure Petrucci , Jaco van de Pol
25th 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 Automata

Hoang Gia Nguyen , Laure Petrucci , Jaco van de Pol
2018 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
Image document

MCC’2017 - The Seventh Model Checking Contest

Fabrice Kordon , Hubert Garavel , Lom Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS 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 Automata

Étienne André , Dylan Marinho , Laure Petrucci , Jaco van de Pol
20th 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