18 citations · 23 across the 4 of their papers we have counts for
4 papers
Causality and Temporal Dependencies in the Design of Fault Management Systems
Marco Bozzano
Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system…
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
Marco Bozzano, Alessandro Cimatti, Marco Gario +1
Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by…
The xSAP Safety Analysis Platform
Benjamin Bittner, Marco Bozzano, Roberto Cavada +6
This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In…
An Effective Fixpoint Semantics for Linear Logic Programs
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
In this paper we investigate the theoretical foundation of a new bottom-up semantics for linear logic programs, and more precisely for the fragment of LinLog that consists of the l…