Pages that link to "Item:Q685111"
From MaRDI portal
The following pages link to Minimum and maximum delay problems in real-time systems (Q685111):
Displayed 23 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Folk theorems on the determinization and minimization of timed automata (Q845728) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Reachability in two-clock timed automata is PSPACE-complete (Q2347796) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)
- (Q5875390) (← links)
- Verifying time Petri nets by linear programming (Q5934289) (← links)