Using mappings to prove timing properties

No abstract is available for this paper.

• Publication year

  1990

• Venue

  ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing

• Publication date

  1990-08-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/BF02252683
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal methods for the specification and design of real-time safety critical systems

  1992cited by this paper
• Time-Constrained Automata (Extended Abstract)

  1991cited by this paper
• An old-fashioned recipe for real time

  1991cited by this paper
• Temporal proof methodologies for real-time systems

  1991cited by this paper
• Real-time logics: complexity and expressiveness

  1990cited by this paper
• Explicit clock temporal logic

  1990cited by this paper
• Completeness Theorems for Automata

  1990cited by this paper
• Deciding Properties of Timed Transition Models

  1990cited by this paper
• Automata For Modeling Real-Time Systems

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

  1990cited by this paper
• A framework for real-time discrete event control

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

  1989cited by this paper
• The Spring kernel: a new paradigm for real-time operating systems

  1989cited by this paper
• Reasoning About Time in Higher-Level Language Software

  1989cited by this paper
• A transformational method for verifying safety properties in real-time systems

  1989cited by this paper
• Multivalued Possibilities Mappings

  1989cited by this paper
• A Method for Verifying Properties of Modechart Specifications

  1988cited by this paper
• The existence of refinement mappings

  1988cited by this paper
• State-based specification of complex real-time systems

  1988cited by this paper
• Assertional Verification of a Timer Based Protocol

  1988cited by this paper
• Timed acceptances: an algebra of time-dependent computing

  1988cited by this paper
• A Graph-Theoretic Approach for Timing Analysis and its Implementation

  1987cited by this paper
• Hierarchical correctness proofs for distributed algorithms

  1987influential reference
• A Compositional Proof Theory for Real-Time Distributed Message Passing

  1987cited by this paper
• Concurrency control for resilient nested transactions

  1983cited by this paper
• Specifying Concurrent Program Modules

  1983cited by this paper
• Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

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

  1983cited by this paper
• Calculi for Synchrony and Asynchrony

  1983cited by this paper
• Real-Time Behavior of Programs

  1981cited by this paper
• Proving real-time properties of programs with temporal logic

  1981cited by this paper
• Economical solutions for the critical section problem in a distributed system (Extended Abstract)

  1977cited by this paper
• Use of Petri nets for performance evaluation

  1977cited by this paper
• Introduction to mathematical theory of computation

  1972cited by this paper
• MIT / LCS / TM-412 . c USING MAPPINGS TO PROVE TIMING PROPERTIES

  year unknowninfluential reference

• Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators

  2025cites this paper
• Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report

  2019cites this paper
• Timed Automata for the Development of Real-Time Systems

  2011cites this paper
• Towards a Theory of Time-Bounded Verification

  2010cites this paper
• Improved SMT-Based Bounded Model Checking for Real-Time Systems

  2010cites this paper
• Incorporating time factor into behavior protocol model

  2010cites this paper
• Formal specification and verification of components' real-time behavior

  2010cites this paper
• Time-Bounded Verification

  2009cites this paper
• Infinite Structures in Timed Systems

  2009cites this paper
• SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper)

  2008cites this paper
• Model based analysis of Time-aware Web service interactions

  2008cites this paper
• smt-based bounded model checking for real-time systems

  2008cites this paper
• Separating Structure from Functionin the Speci cation and

  2007cites this paper
• Undecidability of Universality for Timed Automata with Minimal Resources

  2007cites this paper
• Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm Transactions on Pro- Gramming

  2007cites this paper
• Translating Timed I / O Automata Specifications for Theorem Proving in PVS by

  2007cites this paper
• 5 the User Interface

  2007cites this paper
• Relational specification of interface modules for real-time systems

  2006cites this paper
• Translating Timed I/O Automata Specifications for Theorem Proving in PVS

  2005cites this paper
• On the language inclusion problem for timed automata: closing a decidability gap

  2004cites this paper
• Clp(f) modeling of hybrid systems

  2004cites this paper
• Hybrid diagrams

  2003cites this paper
• A Guided Method for Testing Timed Input Output Automata

  2003cites this paper
• On the Language In lusion Problem for Timed Automata: Closing a De idability Gap

  2003cites this paper
• Timed Wp-Method: Testing Real-Time Systems

  2002cites this paper
• Simulation-Verification: Biting at the State Explosion Problem

  2001cites this paper
• Testing embedded real-time systems

  2000cites this paper
• Submodule construction for systems of timed I / O automata *

  2000cites this paper
• Verification of Digital and Hybrid Systems

  2000cites this paper
• Accepting Zeno words: a way toward timed refinements

  2000cites this paper
• Timed Automata

  1999cites this paper
• Fault coverage in testing real-time systems

  1999cites this paper
• Event-Clock Automata: A Determinizable Class of Timed Automata

  1999cites this paper
• A Theory of Implementation and Refinement in Timed Petri Nets

  1998cites this paper
• Characterization of the Expressive Power of Silent Transitions in Timed Automata

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

  1998cites this paper
• A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems

  1998cites this paper
• Timed test cases generation based on state characterization technique

  1998cites this paper
• Compositional and hierarchical techniques for the formal verification of real-time systems

  1998cites this paper
• Accepting Zeno Words Without Making Time Stand Still

  1997cites this paper
• Interval and point-based approaches to hybrid system verification

  1997cites this paper
• Revisiting the PAXOS algorithm

  1997cites this paper
• Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification

  1997cites this paper
• Accepting Zeno words without stopping time Research Report LSV

  1997cites this paper
• A Methodology and Support Tools for Analysis of Real-Time Specifications

  1996cites this paper
• Distributed Algorithms

  1996cites this paper
• Forward and Backward Simulations II. Timing-Based Systems *

  1996cites this paper
• Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations

  1996cites this paper
• Verifying Abstractions of Timed Systems

  1996cites this paper
• Correctness of vehicle control systems-a case study

  1996cites this paper
• Mechanical verification of timed automata: a case study

  1996cites this paper
• On the Power of Non-Observable Actions in Timed Automata

  1996cites this paper
• Forward and Backward Simulations, II: Timing-Based Systems

  1996cites this paper
• Timed Automata

  1996cites this paper
• Automata theoretic Veri cation of Real Time Systems

  1995cites this paper
• Requirements modelling of real-time systems

  1995cites this paper
• Incorporating specialized theories into a general purpose theorem prover

  1995cites this paper
• Using simulation techniques to prove timing properties

  1995cites this paper
• Formal verification of timed properties of randomized distributed algorithms

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

  1995cites this paper
• Liveness conditions in model-based service specifications: a case study

  1995cites this paper
• A timing-based schema for stabilizing information exchange

  1995cites this paper
• Timing Problems and Their Handling at System Integration

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

  1995cites this paper
• The Impact of Safety and Reliability Requirements on the Specification of Control Systems

  1994cites this paper
• Efficient asynchronous distributed symmetry breaking

  1994cites this paper
• Verifying timing properties of concurrent algorithms

  1994influential citation
• Real-time system = discrete system + clock variables

  1994cites this paper
• Temporal Proof Methodologies for Timed Transition Systems

  1994cites this paper
• Automatic verification of the timing properties of MMT automata

  1994influential citation
• A Determinizable Class of Timed Automata

  1994cites this paper
• Proving performance propterties (even probabilistic ones)

  1994cites this paper
• A process algebraic approach to the specification and analysis of resource-bound real-time systems

  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
• A Theory of Timed Automata

  1994cites this paper
• Efficiency of semisynchronous versus asynchronous networks

  1994cites this paper
• A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets

  1994cites this paper
• Efficient Asynchronous Distributed

  1994cites this paper
• Reasoning assertionally about real-time systems

  1994cites this paper
• The generalized railroad crossing: a case study in formal verification of real-time systems

  1994cites 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
• Specification, simulation, and verification of timing behavior

  1993cites this paper
• IPTES Project EP5570 A Tool For Analysing High-Level Timed Petri Nets

  1993cites this paper
• Simulation Techniques for Proving Properties of Real-Time Systems

  1993influential citation
• Formal models of communication services: a case study

  1993cites this paper
• Targeting safety-related errors during software requirements analysis

  1993cites this paper
• A Tool For Analysing High-Level Timed Petri Nets

  1993cites this paper
• EFFICIENCY OF SEMI-SYNCHRONOUS VERSUS ASYNCHRONOUS SYSTEMS: ATOMIC SHARED MEMORY

  1993cites this paper
• Analytical Study of Quantitative Timing Properties of Software

  1993cites this paper
• Designing algorithms for distributed systems with partially synchronized clocks

  1993cites this paper
• Performance assertion checking

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

  1992cites this paper
• A simple assertional proof system for real-time systems

  1992cites this paper
• Action Transducers and Timed Automata Action Transducers and Timed Automata

  1992cites this paper
• Action transducers and timed automata

  1992cites this paper
• What Good Are Digital Clocks?

  1992cites this paper
• Detecting Unsafe Error Recovery Schedules

  1992cites this paper
• Formal Specification and Timing Analysis of High-Integrity Real-Time Systems

  1992cites this paper
• Sooner is Safer Than Later

  1992cites this paper
• An upper and a lower bound for tick synchronization

  1992cites this paper