Pages that link to "Item:Q1327398"
From MaRDI portal
The following pages link to Symbolic model checking for real-time systems (Q1327398):
Displayed 50 items.
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- Causality problem in real-time calculus (Q346787) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Analysing neurobiological models using communicating automata (Q736844) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← 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)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← 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)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- A theory of discontinuities in physical system models (Q1388999) (← links)
- Verification in loosely synchronous queue-connected discrete timed automata. (Q1401187) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- The Verus language: Representing time efficiently with BDDs (Q1589589) (← 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)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
- Automated verification of an audio-control protocol using UPPAAL (Q1858445) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)