Marco Bozzano

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