Pages that link to "Item:Q1428351"
From MaRDI portal
The following pages link to Duration calculus. A formal approach to real-time systems. (Q1428351):
Displaying 42 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170) (← links)
- Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- Decidability of a Hybrid Duration Calculus (Q2867952) (← links)
- Automatic Verification of Combined Specifications: An Overview (Q2873685) (← links)
- On Verification of Linear Occurrence Properties of Real-Time Systems (Q2873689) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Verification of cooperating traffic agents (Q3442637) (← links)
- Checking Integral Real-Time Automata for Extended Linear Duration Invariants (Q3460214) (← links)
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus (Q3643269) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- (Q5015270) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- Trace Analysis Using an Event-Driven Interval Temporal Logic (Q5097635) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)