The following pages link to A theory of timed automata (Q1322162):
Displayed 50 items.
- Product interval automata (Q1847544) (← links)
- Counter machines and verification problems. (Q1853523) (← links)
- On probabilistic timed automata. (Q1853732) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Automatic synthesis of a subclass of schedulers in timed systems. (Q1874276) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Eliminating the storage tape in reachability constructions. (Q1874416) (← links)
- Concurrency in timed automata (Q1884910) (← links)
- Updatable timed automata (Q1885906) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Exploiting timed automata based fuzzy controllers for designing adaptive intrusion detection systems (Q1933806) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Composition methods for constructing characteristic formulas for dense-time models (Q1938922) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Checking noninterference in timed CSP (Q1941887) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q1960526) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- Dense-choice counter machines revisited (Q2015129) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm (Q2248059) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- A decidable class of planar linear hybrid systems (Q2257303) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Sampling automata and programs (Q2339473) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- A survey of temporal data mining (Q2371224) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Timed substitutions for regular signal-event languages (Q2385194) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)