A calculus of durations
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Robust safety of timed automata
- A formal framework for modeling and validating simulink diagrams
- Probabilistic duration calculus for continuous time
- Non-elementary lower bound for Propositional Duration Calculus
- Design for delay verifiability
- Decidability of mean value calculus
- Basic calculus on time scales and some of its applications
- Models for reactivity
- Extending Hoare logic to real-time
- Model-checking discrete duration calculus
- Duration calculus: Logical foundations
- Completeness of the accumulation calculus
- Induction in the timed interval calculus
- Automata over continuous time
- Completeness of temporal logics over infinite intervals.
- Verification of duration systems using an approximation approach
- Specification and verification of multimedia synchronization in duration calculus
- Checking temporal duration properties of timed automata.
- Star free expressions over the reals
- Refinement of time
- Deductive verification of real-time systems using STeP
- PLC-automata: A new class of implementable real-time automata
- Verification, refinement and scheduling of real-time programs
- Efficient verification of a class of time Petri nets using linear programming
- Process algebra for hybrid systems
- An abstract model for proving safety of autonomous urban traffic
- BDI-modelling of complex intracellular dynamics
- Real-time refinement in Manna and Pnueli's temporal logic
- Decidable integration graphs.
- Expressive completeness of duration calculus.
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Positive loop-closed automata: A decidable class of hybrid systems
- Verification of schedulability for real-time programs
- A theory of Orwellian specifications with NewThink
- Compositional verification of real-time systems with explicit clock temporal logic
- A wide-spectrum language for object-based development of real-time systems
- Incremental methods for checking real-time consistency
- Assessing component impairing at mission level
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Verification and enforcement of access control policies
- Guest editors' preface to special issue on interval temporal logics
- The dark side of interval temporal logic: marking the undecidability border
- Compositional reasoning using intervals and time reversal
- A practical approach to model checking duration calculus using Presburger arithmetic
- Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
- An application of temporal projection to interleaving concurrency
- A survey on temporal logics for specifying and verifying real-time systems
- A decision procedure for propositional projection temporal logic with infinite models
- A general tableau method for propositional interval temporal logics: theory and implementation
- Slicing techniques for verification re-use
- A modular static analysis approach to affine loop invariants detection
- Prefix and projection onto state in duration calculus
- Interval duration logic: expressiveness and decidability
- Proving safety of traffic manoeuvres on country roads
- Sharpening the incompleteness of the duration calculus
- Decidability of a hybrid duration calculus
- Automatic verification of combined specifications: an overview
- On verification of linear occurrence properties of real-time systems
- A duration calculus with neighborhood modalities.
- Exploring an interface model for CKA
- Formal modelling, analysis and verification of hybrid systems
- Towards a UTP semantics for Modelica
- Connection between logical and algebraic approaches to concurrent systems
- An abstract model for proving safety of autonomous urban traffic
- Undecidability of the logic of overlap relation over discrete linear orderings
- Verification of cooperating traffic agents
- No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
- Safe and optimal adaptive cruise control
- Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
- Checking integral real-time automata for extended linear duration invariants
- Recent advances in program verification through computer algebra
- A Theory of Duration Calculus with Application
- All those duration calculi: an integrated approach
- Complexity of propositional projection temporal logic with star
- Timing in music and modal temporal logic
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
- Logical Interpolation and Projection onto State in the Duration Calculus
- Safe runtime verification of real-time properties
- Revisiting decidability and optimum reachability for multi-priced timed automata
- scientific article; zbMATH DE number 512949 (Why is no real title available?)
- A mixed decision method for duration calculus
- Hybrid automata with finite bisimulations
- A novel algorithm for intrusion detection based on RASL model checking
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
- Hybrid metric propositional neighborhood logics with interval length binders
- A duration calculus with infinite intervals
- A separation theorem for discrete-time interval temporal logic
- An algebraic approach to temporal logic
- Interfaces between languages for communicating systems
- Labeled @-Calculus: Formalism for Time-Concerned Human Factors
- Separation Logic Semantics for Communicating Processes
- Verification of Linear Duration Invariants by Model Checking CTL Properties
- On the completeness and decidability of duration calculus with iteration
- A Road Map of Interval Temporal Logics and Duration Calculi
- A Road Map of Interval Temporal Logics and Duration Calculi
- Towards a denotational semantics of timed RSL using duration calculus
- An intuitive formal proof for deadline driven scheduler
- A real-time interval logic and its decision procedure
This page was built for publication: A calculus of durations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183485)
