Monitoring Distributed Systems Based on Partial Order Executions with Global States

No abstract is available for this paper.

• Publication year

  2025

• Venue

  Runtime Verification

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-032-05435-7_15
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Decentralized Stream Runtime Verification for Timed Asynchronous Networks

  2023cited by this paper
• Distributed runtime verification by past-CTL and the field calculus

  2022influential reference
• Distributed Runtime Verification Under Partial Synchrony

  2020cited by this paper
• ON SOME FINE-GRAINED QUESTIONS IN ALGORITHMS AND COMPLEXITY

  2019cited by this paper
• Lectures on Runtime Verification: Introductory and Advanced Topics

  2018cited by this paper
• The Good, the Bad, and the Ugly, But How Ugly Is Ugly?

  2007cited by this paper
• Detecting Temporal Logic Predicates on Distributed Computations

  2007cited by this paper
• Timestamping messages and events in a distributed system using synchronous communication

  2007cited by this paper
• Efficient model checking for LTL with partial order snapshots

  2006cited by this paper
• Decentralized runtime analysis of multithreaded applications

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

  2005cited by this paper
• A new algorithm for optimal 2-constraint satisfaction and its implications

  2005cited by this paper
• Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing

  2003cited by this paper
• Virtual Time and Global States of Distributed Systems

  2002cited by this paper
• Deciding LTL over Mazurkiewicz traces

  2001cited by this paper
• Computation Slicing: Techniques and Theory

  2001cited by this paper
• Undecidability of Partial Order Logics

  1999cited by this paper
• Model Checking of Safety Properties

  1999cited by this paper
• Detection of global predicates: Techniques and their limitations

  1998cited by this paper
• An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages

  1998cited by this paper
• Deciding Global Partial-Order Properties

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

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Difficult Configurations—On the Complexity of LTrL

  1998cited by this paper
• An expressively complete linear time temporal logic for Mazurkiewicz traces

  1996cited by this paper
• Model-checking of causality properties

  1995cited by this paper
• Traces and Logic

  1995cited by this paper
• Reasoning About Infinite Computations

  1994cited by this paper
• Proving Partial Order Properties

  1994cited by this paper
• A general approach to trace-checking in distributed computing systems

  1994cited by this paper
• On Undecidability of Propositional Temporal Logics on Trace Systems

  1992cited by this paper
• The Temporal Logic of Reactive and Concurrent Systems

  1991cited by this paper
• Linearizability: a correctness condition for concurrent objects

  1990cited by this paper
• Timestamps in Message-Passing Systems That Preserve the Partial Ordering

  1988cited by this paper
• Interleaving set temporal logic

  1987cited by this paper
• The Theory of Database Concurrency Control

  1986cited by this paper
• Event Structures

  1986cited by this paper
• Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness

  1984cited by this paper
• A temporal logic for reasoning about partially ordered computations (Extended Abstract)

  1984cited by this paper
• Reasoning about Infinite Computation Paths (Extended Abstract)

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

  1978cited by this paper

• No citing papers are available for this paper.