Add to ORKGIn this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems
Concurrent systems identify systems, either software, hardware or even biological systems, that are ...
We point to several kinds of knowledge that play an important role in controversial examples of actu...
We study causality in the π-calculus. Our notion of causality combines the dependencies given by the...
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that ...
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that ...
Determining and computing root causes in system failures is a significant issue in science and engin...
Counterfactual reasoning is an approach to infer what causes an observed effect by analyzing the hyp...
We consider a slight variant of the CCS calculus and we analyze two operational semantics defined in...
We consider two operational semantics for CCS defined in the literature: the first exploits proved t...
International audienceIn component-based safety-critical systems, when a system safety property is v...
We present a comprehensive language theoretic causality analysis framework for explaining safety pro...
International audienceThis article introduces a general framework for fault ascription, which consis...
The solution to the problem of actual causation - i.e. determining what caused an effect in a specif...
Inspired by the seminal works on causal analysis by Halpern and Pearl, in this paper we introduce a ...
. We study causality in the ß-calculus. Our notion of causality combines the dependencies given by t...
Concurrent systems identify systems, either software, hardware or even biological systems, that are ...
We point to several kinds of knowledge that play an important role in controversial examples of actu...
We study causality in the π-calculus. Our notion of causality combines the dependencies given by the...
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that ...
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that ...
Determining and computing root causes in system failures is a significant issue in science and engin...
Counterfactual reasoning is an approach to infer what causes an observed effect by analyzing the hyp...
We consider a slight variant of the CCS calculus and we analyze two operational semantics defined in...
We consider two operational semantics for CCS defined in the literature: the first exploits proved t...
International audienceIn component-based safety-critical systems, when a system safety property is v...
We present a comprehensive language theoretic causality analysis framework for explaining safety pro...
International audienceThis article introduces a general framework for fault ascription, which consis...
The solution to the problem of actual causation - i.e. determining what caused an effect in a specif...
Inspired by the seminal works on causal analysis by Halpern and Pearl, in this paper we introduce a ...
. We study causality in the ß-calculus. Our notion of causality combines the dependencies given by t...
Concurrent systems identify systems, either software, hardware or even biological systems, that are ...
We point to several kinds of knowledge that play an important role in controversial examples of actu...
We study causality in the π-calculus. Our notion of causality combines the dependencies given by the...