Static and Dynamic Analysis of Timed Distributed Traces

No abstract is available for this paper.

• Publication year

  2012

• Venue

  IEEE Real-Time Systems Symposium

• Publication date

  2012-12-04

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/RTSS.2012.69
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study

  2012cited by this paper
• A Small Model Theorem for Rectangular Hybrid Automata Networks

  2012cited by this paper
• Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified

  2011cited by this paper
• Z3: An Efficient SMT Solver

  2008influential reference
• Formal Verification of Simulation Traces Using Computation Slicing

  2007cited by this paper
• A verification framework for hybrid systems

  2007cited by this paper
• The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)

  2006cited by this paper
• Formal Analysis of the Operational Concept for the Small Aircraft Transportation System

  2006influential reference
• The Theory of Timed I/O Automata

  2006cited by this paper
• Digital Object Identifier (DOI) 10.1007/s00446-004-0117-0 Techniques and applications of computation slicing ⋆

  2005cited by this paper
• The Theory of Timed I/o Automata

  2003influential reference
• Hybrid Systems: Computation and Control

  2003cited by this paper
• Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

  2003cited by this paper
• On slicing a distributed computation

  2001cited by this paper
• Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods

  2000cited by this paper
• Snapshots : Determining Global States of Distributed Systems

  1999cited by this paper
• A New Class of Decidable Hybrid Systems

  1999cited by this paper
• Efficient Distributed Detection of Conjunctions of Local Predicates

  1998cited by this paper
• Efficient Symbolic Detection of Global Properties in Distributed Systems

  1998cited by this paper
• Efficient Detection of Channel Predicates in Distributed Systems

  1997cited by this paper
• Observation of Global Properties in Distributed Systems

  1996cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper
• What's decidable about hybrid automata?

  1995cited by this paper
• Detection of Weak Unstable Predicates in Distributed Programs

  1994cited by this paper
• Consistent global states of distributed systems: fundamental concepts and mechanisms

  1993cited by this paper
• Detection of Global State Predicates

  1991cited by this paper
• Consistent detection of global predicates

  1991cited by this paper
• A new fault-tolerant algorithm for clock synchronization

  1984cited by this paper
• Time, clocks, and the ordering of events in a distributed system

  1978cited by this paper

• TraceAI: Intelligent Distributed Tracing Using Large Language Models

  2025cites this paper
• Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

  2022cites this paper
• Model-bounded Monitoring of Hybrid Systems

  2021cites this paper
• Real-Time Verification for Distributed Cyber-Physical Systems

  2019cites this paper
• Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

  2019cites this paper
• Evaluation of Distributed Query-Based Monitoring over Data Distribution Service

  2019cites this paper
• Cyber-Physical System Checkpointing and Recovery

  2018cites this paper
• A Systematic Mapping Study on the Verification of Cyber-Physical Systems

  2018cites this paper
• Enabling Context-Awareness by Predicate Detection in Asynchronous Environments

  2016influential citation
• Porting Code Across Simple Mobile Robots

  2016cites this paper
• StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems

  2015cites this paper
• Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime

  2015influential citation
• Dynamic analysis of Cyber-Physical Systems

  2015cites this paper
• A Clock-Based Specification of Cyber-Physical Systems

  2014cites this paper
• Proving abstractions of dynamical systems through numerical simulations

  2014cites this paper
• Design of a Sliding Window over Distributed and Asynchronous Event Streams

  2014influential citation
• StarL for programming reliable robotic networks

  2013cites this paper
• Verification of annotated models from executions

  2013cites this paper
• Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments

  2013influential citation
• Uniform verification of safety for parameterized networks of hybrid automata

  2013cites this paper
• Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

  year unknowncites this paper