Pages that link to "Item:Q5929099"
From MaRDI portal
The following pages link to Analysis of timed systems using time-abstracting bisimulations (Q5929099):
Displaying 29 items.
- Better abstractions for timed automata (Q342707) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- Folk theorems on the determinization and minimization of timed automata (Q845728) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- Guest editorial: Special issue on formal modeling and analysis of timed systems (Q1699226) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Predicate diagrams for the verification of real-time systems (Q2642985) (← links)
- Predicate abstraction for dense real-time systems (Q2842588) (← links)
- Bounded model checking for timed automata (Q2842869) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Expressiveness of verifiable hierarchical clock systems (Q3005130) (← links)
- On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework (Q3167528) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
- (Q4411976) (← links)
- (Q5094115) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
- A unified model for real-time systems: symbolic techniques and implementation (Q6535636) (← links)
- Automata with timers (Q6536426) (← links)
