The following pages link to Model-checking in dense real-time (Q689092):
Displaying 50 items.
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- Branching-time logics with path relativisation (Q386037) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- On regions and zones for event-clock automata (Q487253) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Minimum and maximum delay problems in real-time systems (Q685111) (← links)
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← 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)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Model checking MASL specification of distributed real-time systems (Q946007) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Decision problems for lower/upper bound parametric timed automata (Q1041291) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- Symbolic model checking for real-time systems (Q1327398) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Verification in loosely synchronous queue-connected discrete timed automata. (Q1401187) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- On the expressivity and complexity of quantitative branching-time temporal logics (Q1401306) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Model checking temporal properties of reaction systems (Q1749193) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- Min-max event-triggered computation tree logic (Q1847543) (← links)
