Publication:5094115
From MaRDI portal
Didier Lime, Étienne André, Olivier H. Roux
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2004.09171
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On parametric timed automata and one-counter machines
- Parametric timing analysis for real-time systems
- Robust parametric reachability for timed automata
- Decision problems for lower/upper bound parametric timed automata
- What's decidable about hybrid automata?
- A theory of timed automata
- TCTL model checking lower/upper-bound parametric timed automata without invariants
- Integer-complete synthesis for bounded parametric timed automata
- Linear parametric model checking of timed automata
- Advances in Parametric Real-Time Reasoning
- Untimed Language Preservation in Timed Systems
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Proving the Correctness of Multiprocess Programs
- On the Expressiveness of Parametric Timed Automata
- Parametric real-time reasoning
- Durations and parametric model-checking in timed automata
- Real-Time Model-Checking: Parameters everywhere
- Lectures on Concurrency and Petri Nets
- Analysis of timed systems using time-abstracting bisimulations