Context: The aim of statistical causal inference (SCI) methods is to estimate causal effects
from observational data (ie, when randomized controlled trials are not possible). In this …

In view of the growing complexity of modern software architectures, formal models are
increasingly used to understand why a system works the way it does, opposed to simply …

The rapid deployment of digital systems into all aspects of daily life requires embedding
social constructs into the digital world. Because of the complexity of these systems, there is a …

Goal-conflict analysis has been widely used as an abstraction for risk analysis in goal-
oriented requirements engineering approaches. In this context, where the expected …

Actual causality is increasingly well understood. Recent formal approaches, proposed by
Halpern and Pearl, have made this concept mature enough to be amenable to automated …

Goal-oriented requirements engineering approaches propose capturing how a system
should behave through the specification of high-level goals, from which requirements can …

This article introduces a general framework for fault ascription, which consists in identifying,
within a multi-component system, the components whose faulty behavior has caused the …

Given a behavior of interest, automatically determining the corresponding responsible entity
(ie, the root cause) is a task of critical importance in program static analysis. In this article, a …

Necessity and sufficiency are well-established notions in logic and causality analysis, but
have barely received attention in the formal methods community. In this paper, we present …

In goal-oriented requirements engineering approaches, conflict analysis has been proposed
as an abstraction for risk analysis. Intuitively, given a set of expected goals to be achieved by …