Pages that link to "Item:Q1878925"
From MaRDI portal
The following pages link to Forward analysis of updatable timed automata (Q1878925):
Displaying 30 items.
- Better abstractions for timed automata (Q342707) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Efficient emptiness check for timed Büchi automata (Q453519) (← links)
- On regions and zones for event-clock automata (Q487253) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Fast zone-based algorithms for reachability in pushdown timed automata (Q832208) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Timed substitutions for regular signal-event languages (Q2385194) (← links)
- (Q2754107) (← links)
- Formalized Timed Automata (Q2829277) (← links)
- Well (and Better) Quasi-Ordered Transition Systems (Q3067860) (← links)
- Coarse Abstractions Make Zeno Behaviours Difficult to Detect (Q3090824) (← links)
- Exact Incremental Analysis of Timed Automata with an SMT-Solver (Q3172851) (← links)
- Event Clock Automata: From Theory to Practice (Q3172852) (← links)
- Interrupt Timed Automata (Q3617730) (← links)
- Checking Timed Büchi Automata Emptiness Using LU-Abstractions (Q3648834) (← links)
- (Q4536359) (← links)
- LTL Parameter Synthesis of Parametric Timed Automata (Q4571131) (← links)
- (Q5009444) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)
- A unified model for real-time systems: symbolic techniques and implementation (Q6535636) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)
- Simulations for event-clock automata (Q6597952) (← links)
