The following pages link to A theory of timed automata (Q1322162):
Displayed 50 items.
- How to stop time stopping (Q855006) (← links)
- Analysis of a biphase mark protocol with Uppaal and PVS (Q855013) (← links)
- Workload correlations in multi-processor hard real-time systems (Q858321) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Symbolic models for control systems (Q868433) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Execution information rate for some classes of automata (Q899317) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Model checking memoryful linear-time logics over one-counter automata (Q974117) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Towards a real-time distributed computing model (Q1004326) (← links)
- M-nets: a survey (Q1006339) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- On minimal elements of upward-closed sets (Q1019726) (← links)
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Timed verification of the generic architecture of a memory circuit using parametric timed automata (Q1028737) (← links)
- \(\varepsilon\)-transitions in concurrent timed automata (Q1029035) (← links)
- A Kleene theorem for splitable signals (Q1029089) (← links)
- On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls (Q1040040) (← links)
- Decision problems for lower/upper bound parametric timed automata (Q1041291) (← links)
- A quadratic-time DBM-based successor algorithm for checking timed automata (Q1044715) (← links)
- Timed automata and recognizability (Q1129268) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- Straightening out rectangular differential inclusions (Q1274877) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- On the rational behaviors of concurrent timers (Q1389687) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)