The following pages link to A theory of timed automata (Q1322162):
Displayed 50 items.
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- Hardness of preorder checking for basic formalisms (Q650916) (← links)
- 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)