A logic of concrete time intervals

No abstract is available for this paper.

• Publication year

  1990

• Venue

  [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science

• Publication date

  1990-06-04

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/LICS.1990.113763
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Time-Constrained Automata (Extended Abstract)

  1991cited by this paper
• Model-checking for real-time systems

  1990cited by this paper
• An Introduction to Input/Output Automata

  1989cited by this paper
• Time bounds for real-time process control in the presence of timing uncertainty

  1989cited by this paper
• Temporal Constraint Networks

  1989cited by this paper
• Models and algorithms for race analysis in asynchronous circuits

  1988cited by this paper
• Automatic verification of asynchronous circuits using temporal logic

  1986cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• Automatic Verification of Asynchronous Circuits

  1983cited by this paper
• Real-time programming and asynchronous message passing

  1983cited by this paper

• From Verification to Causality-based Explications

  2021cites this paper
• Decidable ∃ *∀ * First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates

  2020cites this paper
• Accurate analysis of real-time stream processing applications: using dataflow models and timed automata

  2019cites this paper
• Computational model validation using a novel multiscale multidimensional spatio-temporal meta model checking approach

  2016cites this paper
• Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems

  2013cites this paper
• An improvement in Timing Analysis of Asynchronous Real-time System

  2012cites this paper
• Efficient timed model checking for discrete-time systems

  2006cites this paper
• Automata For Modeling Real-Time

  2005cites this paper
• Interval Approach to Parallel Timed Systems Verification

  2003cites this paper
• Real-time systems - scheduling, analysis, and verification

  2002cites this paper
• Interval logic. Proof theory and theorem proving

  2002cites this paper
• Automated Proof Support for Interval Logics

  2001cites this paper
• Analysis of Timed Systems Using Time-Abstracting Bisimulations

  2001cites this paper
• A language and simulator for hybrid systems

  1999cites this paper
• Signed Interval Logic

  1999cites this paper
• On Discretization of Delays in Timed Automata and Digital Circuits

  1998cites this paper
• Engineering Real-Time Robotics Software Systems Using CLEOPATRA

  1998cites this paper
• The Benefits of Relaxing Punctuality * t

  1998cites this paper
• L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice)

  1998cites this paper
• Verification of Temporal and Real-Time Properties of Statecharts

  1997cites this paper
• Continuous modeling of real-time and hybrid systems: from concepts to tools

  1997cites this paper
• An Efficient Algorithm for Minimizing Real-Time Transition Systems

  1997cites this paper
• A quantitative approach to the formal verification of real-time systems

  1996cites this paper
• Generalized Quantitative Temporal Reasoning

  1996cites this paper
• Automated Deduction in a Graphical Temporal Logic

  1996cites this paper
• Parametric Timing Analysis for Real-Time Systems

  1996cites this paper
• The Beneets of Relaxing Punctuality

  1996cites this paper
• On First Order Interval Temporal Logic

  1995cites this paper
• Timing analysis of industrial real-time systems

  1995cites this paper
• Symbolic approximations for verifying real-time systems

  1995cites this paper
• Timing Veri cation by Successive Approximation 1

  1995cites this paper
• Timing behavior analysis for real-time systems

  1995cites this paper
• On a class of timer hybrid systems reducible to finite state automata

  1995cites this paper
• An implementable formal language for hard real-time systems

  1995cites this paper
• An Ounce of Prevention is Worth a Pound of Cure Towards Physically(cid:0)Correct Speci(cid:1)cations of Embedded Real(cid:0)Time

  1994cites this paper
• An ounce of prevention is worth a pound of cure. Towards physically-correct specifications of embedded real-time systems

  1994cites this paper
• Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata

  1994cites this paper
• Designing and Implementing Correct Real-Time Systems

  1994cites this paper
• Computing quantitative characteristics of finite-state real-time systems

  1994cites this paper
• Interval logics for temporal specification and verification

  1994cites this paper
• A Restricted Class of 1-register Machines Presburger Arithmetic with Divisibility Veriication Example: Timing-based Mutual Exclusion Symbolic Computation Computing Consistent Parameter Valuations 3.1 a Decidability Result

  1993cites this paper
• Temporal Deduction in a Graphical Logic

  1993cites this paper
• A real-time interval logic and its decision procedure

  1993cites this paper
• Parametric real-time reasoning

  1993cites this paper
• Building Responsive Systems from Physically-correct Speciications

  1993cites this paper
• Model-Checking in Dense Real-time

  1993cites this paper
• Specification, simulation, and verification of timing behavior

  1993cites this paper
• Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems

  1992cites this paper
• Model-Checking for Real-Time Systems Specified in Lotos

  1992cites this paper
• Building Responsive Systems from Physically-correct Specifications

  1992cites this paper
• Modelling real-time systems: Issues and challenges

  1992cites this paper
• Timing Verification by Successive Approximation

  1992cites this paper
• Timing-based, distributed computation: algorithms and impossibility results

  1992cites this paper
• An implementation of three algorithms for timing verification based on automata emptiness

  1992cites this paper
• Trace algebra for automatic verification of real-time concurrent systems

  1992cites this paper
• Formal hardware verification methods: A survey

  1992cites this paper
• Symbolic model checking for real-time systems

  1992cites this paper
• Minimization of Timed Transition Systems

  1992cites this paper
• Building Responsive Systems from Physically-correct Specifications

  1992cites this paper
• Verifying Automata Specifications of Probabilistic Real-time Systems

  1991cites this paper
• Planning for embedded systems: A real-time prospective

  1991cites this paper
• Techniques for automatic verification of real-time systems

  1991cites this paper
• Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)

  1991cites this paper
• Time-Constrained Automata (Extended Abstract)

  1991cites this paper
• Logics and Models of Real Time: A Survey

  1991cites this paper
• Real-Time and the Mu-Calculus (Preliminary Report)

  1991cites this paper
• Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic

  1991cites this paper
• Planning for Embedded Systems: a Real-time Prospective

  1991cites this paper
• The control of dense real-time discrete event systems

  1991cites this paper
• Minimum and maximum delay problems in real-time systems

  1991cites this paper
• Specification and verification of real-time embedded systems using time-constrained reactive automata

  1991cites this paper
• The Beneets of Relaxing Punctuality

  1991cites this paper
• The benefits of relaxing punctuality

  1991cites this paper
• A real-time transition model for analyzing behavioral compatibility of telecommunications services

  1991cites this paper
• The benefits of relaxing punctuality

  1991cites this paper
• Automata For Modeling Real-Time Systems

  1990cites this paper
• The Input Output Timed Automaton - A model for real-time parallel computation

  1990cites this paper
• Quantitative temporal reasoning

  1990cites this paper
• Real-time logics: complexity and expressiveness

  1990cites this paper
• Model-checking for real-time systems

  1990cites this paper
• Temporal Structures

  1989cites this paper
• Functional specification of time-sensitive communicating systems

  1989cites this paper
• Specification and automatic verification of self-timed queues

  1989cites this paper