Marco Bozzano

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 19

Top Topics

Fault Tree Analysis

Safety Analysis

Epistemic Logic

Top Venues

Formal Aspects Comput.

Publications

Isabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. ICSRS (2023)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová
Diagnosability of fair transition systems. Artif. Intell. 309 (2022)
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA (2022)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) (2022)
Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) (2022)
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
Formal Design and Validation of an Automatic Train Operation Control System. RSSRail (2022)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
Analysis of Cyclic Fault Propagation via ASP. LPNMR (2022)
Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei
Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Aspects Comput. 33 (2) (2021)
Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87 (2021)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) (2021)
Marco Bozzano, Alessandro Cimatti, Marco Roveri
A Comprehensive Approach to On-board Autonomy Verification and Validation. ACM Trans. Intell. Syst. Technol. 12 (4) (2021)
Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová
Model-Based Safety Analysis of Mode Transitions. SAFECOMP (2020)
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
COMPASS 3.0. TACAS (1) (2019)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
Formal reliability analysis of redundancy architectures. Formal Aspects Comput. 31 (1) (2019)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. IMBSA (2017)
Marco Bozzano
Causality and Temporal Dependencies in the Design of Fault Management Systems. CREST@ETAPS (2017)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
Automated Synthesis of Timed Failure Propagation Graphs. IJCAI (2016)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri
Automated Verification and Tightening of Failure Propagation Models. AAAI (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. CoRR (2015)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Log. Methods Comput. Sci. 11 (4) (2015)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli
SMT-Based Validation of Timed Failure Propagation Graphs. AAAI (2015)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta
Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) (2015)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei
Efficient Anytime Techniques for Model-Based Safety Analysis. CAV (1) (2015)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98 (2015)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132 (2014)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein
An Integrated Process for FDIR Design in Aerospace. IMBSA (2014)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD (2014)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS (2014)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta
Formal Safety Assessment via Contract-Based Design. ATVA (2014)
Richard Banach, Marco Bozzano
The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. Formal Aspects Comput. 25 (4) (2013)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
Automated Analysis of Reliability Architectures. ICECCS (2013)
Richard Banach, Marco Bozzano
The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Formal Aspects Comput. 25 (4) (2013)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
Efficient Analysis of Reliability Architectures via Predicate Abstraction. Haifa Verification Conference (2013)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) (2013)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive
Symbolic Synthesis of Observability Requirements for Diagnosability. AAAI (2012)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54 (5) (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
A Model Checker for AADL. CAV (2010)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
Codesign of dependable systems: A component-based modeling language. MEMOCODE (2009)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP (2009)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE (2009)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS (2009)
Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
Symbolic Fault Tree Analysis for Reactive Systems. ATVA (2007)
Marco Bozzano, Adolfo Villafiorita
The FSAP/NuSMV-SA Safety Analysis Platform. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt (2006)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
Encoding RTL Constructs for MathSAT: a Preliminary Report. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Richard Banach, Marco Bozzano
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP (2006)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
Efficient theory combination via boolean search. Inf. Comput. 204 (10) (2006)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
The MathSAT 3 System. CADE (2005)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. J. Autom. Reason. 35 (1-3) (2005)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV (2005)
Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani
Verifying Industrial Hybrid Systems with MathSAT. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS (2005)
Marco Bozzano, Giorgio Delzanno
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38 (5) (2004)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
Model Checking Linear Logic Specifications. Theory Pract. Log. Program. 4 (5-6) (2004)
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita
Improving Safety Assessment of Complex Systems: An Industrial Case Study. FME (2003)
Marco Bozzano, Adolfo Villafiorita
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP (2003)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
Model Checking Linear Logic Specifications CoRR (2003)
Marco Bozzano, Giorgio Delzanno
Beyond Parameterized Verification. TACAS (2002)
Marco Bozzano, Giorgio Delzanno
Algorithmic Verification of Invalidation-Based Protocols. CAV (2002)
Marco Bozzano, Giorgio Delzanno
Automated protocol verification in linear logic. PPDP (2002)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
An effective fixpoint semantics for linear logic programs. Theory Pract. Log. Program. 2 (1) (2002)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
On the Relations between Disjunctive and Linear Logic Programming. APPIA-GULP-PRODE 48 (2001)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS (2001)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
An Effective Fixpoint Semantics for Linear Logic Programs CoRR (2001)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
A bottom-up semantics for linear logic programs. PPDP (2000)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
Multi-agent Systems Development as a Software Engineering Enterprise. PADL (1999)
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE (1997)