Marco Bozzano

Available identifiers

zbMath Open bozzano.marcoMaRDI QIDQ470018

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2848685	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2849590	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Bozzano