default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Bozzano
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c50]Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta:
Towards Formal Design of FDIR Components with AI. ISoLA (4) 2024: 311-328- 2023
- [c49]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: 376-383 - 2022
- [j18]Benjamin Bittner, Marco Bozzano
, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová:
Diagnosability of fair transition systems. Artif. Intell. 309: 103725 (2022) - [c48]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: 21-27 - [c47]Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly:
Analysis of Cyclic Fault Propagation via ASP. LPNMR 2022: 470-483 - [c46]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: 169-178 - [c45]Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás:
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) 2022: 273-291 - [c44]Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová:
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) 2022: 543-560 - 2021
- [j17]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): 251-295 (2021) - [j16]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: 104349 (2021) - [j15]Marco Bozzano, Alessandro Cimatti, Marco Roveri:
A Comprehensive Approach to On-board Autonomy Verification and Validation. ACM Trans. Intell. Syst. Technol. 12(4): 46:1-46:29 (2021) - [c43]Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly:
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) 2021: 209-230 - 2020
- [c42]Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová:
Model-Based Safety Analysis of Mode Transitions. SAFECOMP 2020: 99-114
2010 – 2019
- 2019
- [j14]Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Formal reliability analysis of redundancy architectures. Formal Aspects Comput. 31(1): 59-94 (2019) - [c41]Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta:
COMPASS 3.0. TACAS (1) 2019: 379-385 - [e2]Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano:
Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Lecture Notes in Computer Science 11842, Springer 2019, ISBN 978-3-030-32871-9 [contents] - 2017
- [c40]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti:
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. IMBSA 2017: 255-271 - [c39]Marco Bozzano:
Causality and Temporal Dependencies in the Design of Fault Management Systems. CREST@ETAPS 2017: 39-46 - [e1]Marco Bozzano, Yiannis Papadopoulos:
Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Lecture Notes in Computer Science 10437, Springer 2017, ISBN 978-3-319-64118-8 [contents] - 2016
- [c38]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri:
Automated Verification and Tightening of Failure Propagation Models. AAAI 2016: 907-913 - [c37]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti:
Automated Synthesis of Timed Failure Propagation Graphs. IJCAI 2016: 972-978 - [c36]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: 533-539 - 2015
- [j13]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) - [j12]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: 464-483 (2015) - [c35]Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli:
SMT-Based Validation of Timed Failure Propagation Graphs. AAAI 2015: 3724-3730 - [c34]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: 518-535 - [c33]Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei:
Efficient Anytime Techniques for Model-Based Safety Analysis. CAV (1) 2015: 603-621 - [i3]Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri:
The xSAP Safety Analysis Platform. CoRR abs/1504.07513 (2015) - 2014
- [j11]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: 20-35 (2014) - [c32]Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta:
Formal Safety Assessment via Contract-Based Design. ATVA 2014: 81-97 - [c31]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio:
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD 2014: 23-30 - [c30]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: 82-95 - [c29]Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta:
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS 2014: 326-340 - 2013
- [j10]Richard Banach, Marco Bozzano:
The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Formal Aspects Comput. 25(4): 573-607 (2013) - [j9]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): 609-657 (2013) - [c28]Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta:
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) 2013 - [c27]Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Efficient Analysis of Reliability Architectures via Predicate Abstraction. Haifa Verification Conference 2013: 279-294 - [c26]Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Automated Analysis of Reliability Architectures. ICECCS 2013: 198-207 - 2012
- [c25]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive:
Symbolic Synthesis of Observability Requirements for Diagnosability. AAAI 2012: 712-718 - 2011
- [j8]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): 754-775 (2011) - [j7]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) - [c24]Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev:
A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403 - 2010
- [c23]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer:
A Model Checker for AADL. CAV 2010: 562-565
2000 – 2009
- 2009
- [c22]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: 121-130 - [c21]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 - [c20]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: 173-186 - [c19]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: 285-286 - 2007
- [j6]Marco Bozzano, Adolfo Villafiorita:
The FSAP/NuSMV-SA Safety Analysis Platform. Int. J. Softw. Tools Technol. Transf. 9(1): 5-24 (2007) - [c18]Marco Bozzano, Alessandro Cimatti, Francesco Tapparo:
Symbolic Fault Tree Analysis for Reactive Systems. ATVA 2007: 162-176 - 2006
- [j5]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): 1493-1525 (2006) - [c17]Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti:
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt 2006: 1-18 - [c16]Richard Banach, Marco Bozzano:
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP 2006: 127-141 - 2005
- [j4]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): 265-293 (2005) - [c15]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani:
The MathSAT 3 System. CADE 2005: 315-321 - [c14]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: 335-349 - [c13]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: 317-333 - [c12]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. PDPAR@CAV 2005: 3-14 - 2004
- [j3]Marco Bozzano, Giorgio Delzanno:
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004) - [j2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. Theory Pract. Log. Program. 4(5-6): 573-619 (2004) - [c11]Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani:
Verifying Industrial Hybrid Systems with MathSAT. BMC@CAV 2004: 17-32 - 2003
- [c10]Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita:
Improving Safety Assessment of Complex Systems: An Industrial Case Study. FME 2003: 208-222 - [c9]Marco Bozzano, Adolfo Villafiorita:
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP 2003: 49-62 - [i2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. CoRR cs.PL/0309003 (2003) - 2002
- [j1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An effective fixpoint semantics for linear logic programs. Theory Pract. Log. Program. 2(1): 85-122 (2002) - [c8]Marco Bozzano, Giorgio Delzanno:
Algorithmic Verification of Invalidation-Based Protocols. CAV 2002: 295-308 - [c7]Marco Bozzano, Giorgio Delzanno:
Automated protocol verification in linear logic. PPDP 2002: 38-49 - [c6]Marco Bozzano, Giorgio Delzanno:
Beyond Parameterized Verification. TACAS 2002: 221-235 - 2001
- [c5]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152 - [c4]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
On the Relations between Disjunctive and Linear Logic Programming. APPIA-GULP-PRODE 2001: 65-89 - [i1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Fixpoint Semantics for Linear Logic Programs. CoRR cs.PL/0102025 (2001) - 2000
- [c3]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A bottom-up semantics for linear logic programs. PPDP 2000: 92-102
1990 – 1999
- 1999
- [c2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60 - [p1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. The Logic Programming Paradigm 1999: 5-32 - 1997
- [c1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE 1997: 105-116
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
