Causality analysis and fault ascription in component-based systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1361116 (Why is no real title available?)
- scientific article; zbMATH DE number 1493045 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- A theory of diagnosis from first principles
- Actual causation: a stone soup essay
- CONCUR 2003 - Concurrency Theory
- Causal inference by string diagram surgery
- Causality and Counterfactuals in the Situation Calculus
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Configuration structures, event structures and Petri nets
- Counterfactuals.
- Diagnosis with Petri net unfoldings
- Explaining counterexamples using causality
- Fault ascription in concurrent systems
- Graded causation and defaults
- Introduction to Discrete Event Systems
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
Cited in
(11)- Explaining safety violations in real-time systems
- Explaining Hyperproperty Violations
- Detection and diagnosis of deviations in distributed systems of autonomous agents
- A type-based analysis of causality loops in hybrid systems modelers
- Operational causality -- necessarily sufficient and sufficiently necessary
- Causal debugging for concurrent systems
- Causal reasoning for safety in Hennessy Milner logic
- Fault ascription in concurrent systems
- Temporal causality in reactive systems
- Responsibility analysis by abstract interpretation
- A formalization of Heisenbugs and their causes
This page was built for publication: Causality analysis and fault ascription in component-based systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193287)
