The following pages link to A theory of timed automata (Q1322162):
Displayed 50 items.
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- Untiming timed languages (Q672021) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Symbolic bisimulations (Q674194) (← links)
- Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
- Reachability results for timed automata with unbounded data structures (Q707597) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Counting and generating permutations in regular classes (Q727971) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Time-budgeting: a component based development methodology for real-time embedded systems (Q736795) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- Timed hyperproperties (Q821560) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- On the complexity of timed pattern matching (Q832025) (← links)
- An integer static analysis for better extrapolation in Uppaal (Q832038) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Fast zone-based algorithms for reachability in pushdown timed automata (Q832208) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Folk theorems on the determinization and minimization of timed automata (Q845728) (← links)
- Robust parametric reachability for timed automata (Q846009) (← links)
- State explosion in almost-sure probabilistic reachability (Q846015) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- 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)