Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing

No abstract is available for this paper.

• Publication year

  2003

• Venue

  International Conference on Principles of Distributed Systems

• Publication date

  2003-12-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-27860-3_17
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Symbolic Model Checking

  2016cited by this paper
• Runtime safety analysis of multithreaded programs

  2003cited by this paper
• Comparison of SPIN and VIS for protocol verification

  2003influential reference
• Partial Order Trace Analyzer (POTA) for Distributed Programs

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

  2002cited by this paper
• Elements of distributed computing

  2002cited by this paper
• Detecting temporal logic predicates on the happened-before model

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

  2001cited by this paper
• Automata-based verification of temporal properties on running programs

  2001cited by this paper
• On detecting global predicates in distributed computations

  2001cited by this paper
• Monitoring Java Programs with Java PathExplorer

  2001influential reference
• Monitoring programs using rewriting

  2001cited by this paper
• Checking Finite Traces Using Alternating Automata

  2001cited by this paper
• Concurrent Programming: The Java Programming Language

  2001cited by this paper
• On slicing a distributed computation

  2001cited by this paper
• Java-MaC: a Run-time Assurance Tool for Java Programs

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

  2000cited by this paper
• The Temporal Rover and the ATG Rover

  2000cited 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
• The Model Checker SPIN

  1997influential reference
• Local and temporal predicates in distributed systems

  1995cited by this paper
• Model Checking Using Net Unfoldings

  1993cited by this paper
• All from One, One for All: on Model Checking Using Representatives

  1993cited by this paper
• A partial approach to model checking

  1991cited by this paper
• Logical time in distributed computing systems

  1991cited by this paper
• A stubborn attack on state explosion

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

  1978cited by this paper

• Monitoring Distributed Systems Based on Partial Order Executions with Global States

  2025cites this paper
• Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals

  2023cites this paper
• Decentralized runtime verification of message sequences in message-based systems

  2022cites this paper
• Decentralized Asynchronous Crash-resilient Runtime Verification

  2022cites this paper
• A Genetic-Algorithms-Based Technique for Detecting Distributed Predicates

  2018cites this paper
• Runtime Verification for Decentralised and Distributed Systems

  2018influential citation
• Monitoring Distributed Component-Based Systems

  2017cites this paper
• Efficient abstraction algorithms for predicate detection

  2017cites this paper
• Tracking Dependent Information Flows

  2017influential citation
• Surveillance de systèmes à composants multi-threads et distribués. (monitoring multi-threaded and distributed (component-based) systems)

  2017cites this paper
• Runtime Verification for Decentralized and Distributed Systems ∗

  2017influential citation
• Formal Specification and Verification of Security Guidelines

  2017cites this paper
• Algorithms for analyzing parallel computations

  2017cites this paper
• monitoring multi-threaded and distributed (component-based) systems

  2017cites this paper
• Monitoring Multi-threaded Component-Based Systems

  2016cites this paper
• What Is a Trace? A Runtime Verification Perspective

  2016cites this paper
• Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

  2016cites this paper
• Modeling, analyzing and slicing periodic distributed computations

  2014cites this paper
• Online Algorithms to Generate Slices for Regular Temporal Logic Predicates

  2014cites this paper
• Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

  2014cites this paper
• Detecting Distributed Predicates Using Genetic Algorithms

  2013cites this paper
• A Harmony Search Based Algorithm for Detecting Distributed Predicates

  2012cites this paper
• Efficient, expressive, and effective runtime verification

  2012cites this paper
• Time and State in Distributed Systems

  2010cites this paper
• Modeling and Analyzing Periodic Distributed Computations

  2010influential citation
• Runtime Verification with the RV System

  2010cites this paper
• Monitoring Oriented Programming and Analysis

  2009cites this paper
• Detecting and tolerating faults in distributed systems

  2008cites this paper
• Meet-and join-closure of CTL operators

  2008cites this paper
• Maximality of Atomic Causality

  2008cites this paper
• On the complexity of partial order trace model checking

  2008cites this paper
• Maximal Causal Models for Multithreaded Systems

  2008cites this paper
• jPredictor

  2008cites this paper
• Producing Short Counterexamples Using "Crucial Events"

  2008cites this paper
• Development and Validation of Distributed Reactive Control Systems

  2008cites this paper
• Formal Verification of Simulation Traces Using Computation Slicing

  2007cites this paper
• Detecting Temporal Logic Predicates on Distributed Computations

  2007influential citation
• Parametric and Sliced Causality

  2007cites this paper
• Runtime Verification of k-Mutual Exclusion for SoCs

  2007influential citation
• Using Atoms to Simplify Distributed Programs Checking

  2007cites this paper
• Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

  2007cites this paper
• Testing Distributed Systems Through Symbolic Model Checking

  2007influential citation
• Testing Distributed Systems through Symbolic Model Checking of Traces

  2007influential citation
• Efficient online monitoring of Ltl properties for asynchronous distributed systems

  2006cites this paper
• Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces

  2006cites this paper
• Brief Announcement: Many Slices Are Better Than One

  2006cites this paper
• Predicting Concurrency Errors at Runtime using Sliced Causality

  2005cites this paper
• Techniques for formal verification of concurrent and distributed program traces

  2004cites this paper
• Checking properties of distributed computations

  2004cites this paper
• Formal verification of a system-on-chip using computation slicing

  2004influential citation
• On Checking Whether a Predicate Definitely Holds

  2003cites this paper
• Using Order in Distributed Computing

  year unknowncites this paper