A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 1997)

Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi; Floriano Zini (The Logic Programming Paradigm, 1999)

Multi-agent Systems Development as a Software Engineering Enterprise. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi; Floriano Zini (PADL, 1999)

A bottom-up semantics for linear logic programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (PPDP, 2000)

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (FLOPS, 2001)

On the Relations between Disjunctive and Linear Logic Programming. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 2001)

Algorithmic Verification of Invalidation-Based Protocols. - Marco Bozzano; Giorgio Delzanno (CAV, 2002)

Automated protocol verification in linear logic. - Marco Bozzano; Giorgio Delzanno (PPDP, 2002)

Beyond Parameterized Verification. - Marco Bozzano; Giorgio Delzanno (TACAS, 2002)

An effective fixpoint semantics for linear logic programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (Theory Pract. Log. Program., 2002)

Improving Safety Assessment of Complex Systems: An Industrial Case Study. - Marco Bozzano; Antonella Cavallo; Massimo Cifaldi; Laura Valacca; Adolfo Villafiorita (FME, 2003)

Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. - Marco Bozzano; Adolfo Villafiorita (SAFECOMP, 2003)

Verifying Industrial Hybrid Systems with MathSAT. - Gilles Audemard; Marco Bozzano; Alessandro Cimatti; Roberto Sebastiani (BMC@CAV, 2004)

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. - Marco Bozzano; Giorgio Delzanno (J. Symb. Comput., 2004)

Model Checking Linear Logic Specifications. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (Theory Pract. Log. Program., 2004)

The MathSAT 3 System. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (CADE, 2005)

Efficient Satisfiability Modulo Theories via Delayed Theory Combination. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani (CAV, 2005)

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (TACAS, 2005)

Encoding RTL Constructs for MathSAT: a Preliminary Report. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Anders Franzén; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Roberto Sebastiani (PDPAR@CAV, 2005)

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (J. Autom. Reason., 2005)

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. - Piergiorgio Bertoli; Marco Bozzano; Alessandro Cimatti (MoChArt, 2006)

Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. - Richard Banach; Marco Bozzano (SAFECOMP, 2006)

Efficient theory combination via boolean search. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani (Inf. Comput., 2006)

Symbolic Fault Tree Analysis for Reactive Systems. - Marco Bozzano; Alessandro Cimatti; Francesco Tapparo (ATVA, 2007)

The FSAP/NuSMV-SA Safety Analysis Platform. - Marco Bozzano; Adolfo Villafiorita (Int. J. Softw. Tools Technol. Transf., 2007)

Codesign of dependable systems: A component-based modeling language. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (MEMOCODE, 2009)

Model-Based Codesign of Critical Embedded Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (ACES-MB@MoDELS, 2009)

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (SAFECOMP, 2009)

Verification and performance evaluation of aadl models. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (ESEC/SIGSOFT FSE, 2009)

A Model Checker for AADL. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri; Ralf Wimmer 001 (CAV, 2010)

A Comprehensive Approach to On-Board Autonomy Verification and Validation. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev (IJCAI, 2011)

Safety, Dependability and Performance Analysis of Extended AADL Models. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (Comput. J., 2011)

Symbolic Model Checking and Safety Assessment of Altarica models. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Symbolic Synthesis of Observability Requirements for Diagnosability. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive (AAAI, 2012)

A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta (AAAI (Late-Breaking Developments), 2013)

Efficient Analysis of Reliability Architectures via Predicate Abstraction. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei (Haifa Verification Conference, 2013)

Automated Analysis of Reliability Architectures. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei (ICECCS, 2013)

The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. - Richard Banach; Marco Bozzano (Formal Aspects Comput., 2013)

The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. - Richard Banach; Marco Bozzano (Formal Aspects Comput., 2013)

Formal Safety Assessment via Contract-Based Design. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei; Stefano Tonetta (ATVA, 2014)

Towards Pareto-optimal parameter synthesis for monotonic cost functions. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Marco Gario; Alberto Griggio (FMCAD, 2014)

An Integrated Process for FDIR Design in Aerospace. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Régis De Ferluc; Marco Gario; Andrea Guiotto; Yuri Yushtein (IMBSA, 2014)

Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta (TACAS, 2014)

Spacecraft early design validation using formal methods. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Panagiotis Katsaros; Konstantinos Mokos; Viet Yen Nguyen; Thomas Noll 001; Bart Postma; Marco Roveri (Reliab. Eng. Syst. Saf., 2014)

SMT-Based Validation of Timed Failure Propagation Graphs. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Andrea Micheli (AAAI, 2015)

Efficient Anytime Techniques for Model-Based Safety Analysis. - Marco Bozzano; Alessandro Cimatti; Alberto Griggio; Cristian Mattarei (CAV (1), 2015)

Formal Design and Safety Analysis of AIR6110 Wheel Brake System. - Marco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; David Jones; Greg Kimberly; T. Petri; R. Robinson; Stefano Tonetta (CAV (1), 2015)

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta (Log. Methods Comput. Sci., 2015)

Safety assessment of AltaRica models via symbolic model checking. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Sci. Comput. Program., 2015)

Automated Verification and Tightening of Failure Propagation Models. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Gianni Zampedri (AAAI, 2016)

Automated Synthesis of Timed Failure Propagation Graphs. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti (IJCAI, 2016)

The xSAP Safety Analysis Platform. - Benjamin Bittner; Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Marco Gario; Alberto Griggio; Cristian Mattarei; Andrea Micheli; Gianni Zampedri (TACAS, 2016)

Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti (IMBSA, 2017)

Causality and Temporal Dependencies in the Design of Fault Management Systems. - Marco Bozzano (CREST@ETAPS, 2017)

COMPASS 3.0. - Marco Bozzano; Harold Bruintjes; Alessandro Cimatti; Joost-Pieter Katoen; Thomas Noll 001; Stefano Tonetta (TACAS (1), 2019)

Formal reliability analysis of redundancy architectures. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei (Formal Aspects Comput., 2019)

Model-Based Safety Analysis of Mode Transitions. - Marco Bozzano; Peter Munk; Markus Schweizer; Stefano Tonetta; Viktória Vozárová (SAFECOMP, 2020)

Efficient SMT-Based Analysis of Failure Propagation. - Marco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; Alberto Griggio; Martin Jonás; Greg Kimberly (CAV (2), 2021)

Model-based Safety Assessment of a Triple Modular Generator with xSAP. - Marco Bozzano; Alessandro Cimatti; Marco Gario; David Jones; Cristian Mattarei (Formal Aspects Comput., 2021)

A Comprehensive Approach to On-board Autonomy Verification and Validation. - Marco Bozzano; Alessandro Cimatti; Marco Roveri (ACM Trans. Intell. Syst. Technol., 2021)

The VALU3S ECSEL project: Verification and validation of automated systems safety and security. - Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer 002; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; et al. (Microprocess. Microsystems, 2021)

COMPASTA: Extending TASTE with Formal Design and Verification Functionality. - Alberto Bombardelli; Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Massimo Nazaria; Edoardo Nicolodi; Stefano Tonetta (IMBSA, 2022)

Analysis of Cyclic Fault Propagation via ASP. - Marco Bozzano; Alessandro Cimatti; Alberto Griggio; Martin Jonás; Greg Kimberly (LPNMR, 2022)

Formal Design and Validation of an Automatic Train Operation Control System. - Arturo Amendola; Lorenzo Barruffo; Marco Bozzano; Alessandro Cimatti; Salvatore De Simone; Eugenio Fedeli; Artem Gabbasov; Domenico Ernesto Garrubba; Massimiliano Girardi; Diana Serra; Roberto Tiella; Gianni Zampedri (RSSRail, 2022)

Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. - Marco Bozzano; Alessandro Cimatti; Alberto Griggio; Martin Jonás (TACAS (2), 2022)

Searching for Ribbon-Shaped Paths in Fair Transition Systems. - Marco Bozzano; Alessandro Cimatti; Stefano Tonetta; Viktória Vozárová (TACAS (1), 2022)

Diagnosability of fair transition systems. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta; Viktória Vozárová (Artif. Intell., 2022)

Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. - Isabella Lanzani; Riccardo Scattolini; Enrico Zio; Alessandro Cimatti; Marco Bozzano; Stefano Tonetta (ICSRS, 2023)

Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory. - Alexander Diedrich; René Heesch; Marco Bozzano; Björn Ludwig; Alessandro Cimatti; Oliver Niggemann (DX, 2024)

Towards Formal Design of FDIR Components with AI. - Marco Bozzano; Alessandro Cimatti; Marco Cristoforetti; Alberto Griggio; Piergiorgio Svaizer; Stefano Tonetta (ISoLA (4), 2024)

Towards a Unifying View of Fault Propagation Analyses and Notations. - Marco Bozzano; Alessandro Cimatti; Alberto Griggio; Fajar Haifani (IMBSA, 2025)