Marco Bozzano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
18
Active years
1999–2026
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAFECOMP | Diagnosis of Runtime Property Violations. | Marco Bozzano, Alessandro Cimatti, Alberto Sambrotta, Stefano Tonetta |
| 2024 | DX | Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory. | Alexander Diedrich, Ren Heesch, Marco Bozzano, Bjrn Ludwig, Alessandro Cimatti, Oliver Niggemann |
| 2024 | ISoLA | Towards Formal Design of FDIR Components with AI. | Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta |
| 2022 | LPNMR | Analysis of Cyclic Fault Propagation via ASP. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2022 | TACAS | Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons |
| 2022 | TACAS | Searching for Ribbon-Shaped Paths in Fair Transition Systems. | Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktria Vozrov |
| 2021 | CAV | Efficient SMT-Based Analysis of Failure Propagation. | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2020 | SAFECOMP | Model-Based Safety Analysis of Mode Transitions. | Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktria Vozrov |
| 2019 | TACAS | COMPASS 3.0. | Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta |
| 2016 | AAAI | Automated Verification and Tightening of Failure Propagation Models. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri |
| 2016 | IJCAI | Automated Synthesis of Timed Failure Propagation Graphs. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
| 2015 | AAAI | SMT-Based Validation of Timed Failure Propagation Graphs. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli |
| 2015 | CAV | Efficient Anytime Techniques for Model-Based Safety Analysis. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei |
| 2015 | CAV | 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 |
| 2014 | ATVA | Formal Safety Assessment via Contract-Based Design. | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta |
| 2014 | FMCAD | Towards Pareto-optimal parameter synthesis for monotonic cost functions. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio |
| 2014 | TACAS | Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |
| 2013 | AAAI | A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |
| 2013 | ICECCS | Automated Analysis of Reliability Architectures. | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei |
| 2012 | AAAI | Symbolic Synthesis of Observability Requirements for Diagnosability. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive |
| 2011 | IJCAI | A Comprehensive Approach to On-Board Autonomy Verification and Validation. | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev |
| 2010 | CAV | A Model Checker for AADL. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
| 2009 | MEMOCODE | Codesign of dependable systems: A component-based modeling language. | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
| 2009 | MODELS | Model-Based Codesign of Critical Embedded Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2009 | SAFECOMP | The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2007 | ATVA | Symbolic Fault Tree Analysis for Reactive Systems. | Marco Bozzano, Alessandro Cimatti, Francesco Tapparo |
| 2006 | SAFECOMP | Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. | Richard Banach, Marco Bozzano |
| 2005 | CADE | The MathSAT 3 System. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2005 | CAV | Efficient Satisfiability Modulo Theories via Delayed Theory Combination. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani |
| 2005 | TACAS | 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, Roberto Sebastiani |
| 2003 | FM | Improving Safety Assessment of Complex Systems: An Industrial Case Study. | Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita |
| 2003 | SAFECOMP | Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. | Marco Bozzano, Adolfo Villafiorita |
| 2002 | CAV | Algorithmic Verification of Invalidation-Based Protocols. | Marco Bozzano, Giorgio Delzanno |
| 2002 | PPDP | Automated protocol verification in linear logic. | Marco Bozzano, Giorgio Delzanno |
| 2002 | TACAS | Beyond Parameterized Verification. | Marco Bozzano, Giorgio Delzanno |
| 2001 | FLOPS | An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 2000 | PPDP | A bottom-up semantics for linear logic programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 1999 | PADL | Multi-agent Systems Development as a Software Engineering Enterprise. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini |