Efficient Convex Zone Merging in Parametric Timed Automata. | 0 | 0.34 | 2022 |
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. | 0 | 0.34 | 2021 |
A Benchmarks Library for Extended Parametric Timed Automata | 0 | 0.34 | 2021 |
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. | 2 | 0.39 | 2021 |
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. | 0 | 0.34 | 2021 |
Automated Verification of Parallel Nested DFS. | 0 | 0.34 | 2020 |
Certifying Emptiness of Timed Büchi Automata. | 0 | 0.34 | 2020 |
Multi-core On-The-Fly Saturation. | 0 | 0.34 | 2019 |
Minimal-Time Synthesis for Parametric Timed Automata. | 0 | 0.34 | 2019 |
Explicit state model checking with generalized Büchi and Rabin automata. | 0 | 0.34 | 2017 |
The RERS 2017 challenge and workshop (invited paper). | 0 | 0.34 | 2017 |
Distributed binary decision diagrams for symbolic reachability. | 0 | 0.34 | 2017 |
Sylvan: Multi-Core Decision Diagrams. | 11 | 0.55 | 2015 |
Solving scheduling problems by untimed model checking - the clinical chemical analyser case study. | 0 | 0.34 | 2005 |