Marco Bozzano

Available identifiers

zbMath Open bozzano.marcoMaRDI QIDQ470018

List of research outcomes

Publication	Date of Publication	Type
Efficient analysis of cyclic redundancy architectures via Boolean fault propagation	2024-02-01	Paper
Searching for ribbon-shaped paths in fair transition systems	2024-01-23	Paper
Analysis of cyclic fault propagation via ASP	2023-04-04	Paper
Diagnosability of fair transition systems	2022-07-08	Paper
Formal reliability analysis of redundancy architectures	2019-03-13	Paper
Formal safety assessment via contract-based design	2015-12-17	Paper
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic	2015-11-05	Paper
The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits	2014-11-11	Paper
The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits	2014-11-11	Paper
Encoding RTL constructs for \textsc{MathSAT}: a preliminary report	2013-09-26	Paper
Verifying industrial hybrid systems with \textsc{MathSAT}	2013-09-20	Paper
On the relations between disjunctive and linear logic programming	2013-05-24	Paper
Symbolic Fault Tree Analysis for Reactive Systems	2008-07-03	Paper
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis	2007-11-01	Paper
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols	2007-08-24	Paper
M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures	2007-01-24	Paper
Efficient theory combination via Boolean search	2006-10-25	Paper
Computer Aided Verification	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Model checking linear logic specifications	2005-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4472240	2004-08-04	Paper
An effective fixpoint semantics for linear logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804903	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2763695	2002-01-22	Paper

Research outcomes over time

This page was built for person: Marco Bozzano