default search action
Marco 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
- 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
Diagnosability of fair transition systems. Artif. Intell. 309: 103725 (2022) - [c48]Alberto Bombardelli
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA 2022: 21-27 - [c47]Marco Bozzano
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
Formal Design and Validation of an Automatic Train Operation Control System. RSSRail 2022: 169-178 - [c45]Marco Bozzano
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) 2022: 273-291 - [c44]Marco Bozzano
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) 2022: 543-560 - 2021
- [j17]Marco Bozzano
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
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87: 104349 (2021) - [j15]Marco Bozzano
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
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
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
COMPASS 3.0. TACAS (1) 2019: 379-385 - [e2]Yiannis Papadopoulos, Koorosh Aslansefat
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
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
Automated Verification and Tightening of Failure Propagation Models. AAAI 2016: 907-913 - [c37]Benjamin Bittner, Marco Bozzano
Automated Synthesis of Timed Failure Propagation Graphs. IJCAI 2016: 972-978 - [c36]Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti
The xSAP Safety Analysis Platform. TACAS 2016: 533-539 - 2015
- [j13]Marco Bozzano
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Log. Methods Comput. Sci. 11(4) (2015) - [j12]Marco Bozzano
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98: 464-483 (2015) - [c35]Marco Bozzano
SMT-Based Validation of Timed Failure Propagation Graphs. AAAI 2015: 3724-3730 - [c34]Marco Bozzano, Alessandro Cimatti
Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) 2015: 518-535 - [c33]Marco Bozzano, Alessandro Cimatti
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
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132: 20-35 (2014) - [c32]Marco Bozzano, Alessandro Cimatti
Formal Safety Assessment via Contract-Based Design. ATVA 2014: 81-97 - [c31]Benjamin Bittner, Marco Bozzano
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD 2014: 23-30 - [c30]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
An Integrated Process for FDIR Design in Aerospace. IMBSA 2014: 82-95 - [c29]Marco Bozzano, Alessandro Cimatti
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
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) 2013 - [c27]Marco Bozzano, Alessandro Cimatti
Efficient Analysis of Reliability Architectures via Predicate Abstraction. Haifa Verification Conference 2013: 279-294 - [c26]Marco Bozzano
Automated Analysis of Reliability Architectures. ICECCS 2013: 198-207 - 2012
- [c25]Benjamin Bittner, Marco Bozzano
Symbolic Synthesis of Observability Requirements for Diagnosability. AAAI 2012: 712-718 - 2011
- [j8]Marco Bozzano
Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5): 754-775 (2011) - [j7]Marco Bozzano
Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [c24]Marco Bozzano
A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403 - 2010
- [c23]Marco Bozzano, Alessandro Cimatti
A Model Checker for AADL. CAV 2010: 562-565
2000 – 2009
- 2009
- [c22]Marco Bozzano
Codesign of dependable systems: A component-based modeling language. MEMOCODE 2009: 121-130 - [c21]Marco Bozzano
Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS 2009 - [c20]Marco Bozzano, Alessandro Cimatti
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186 - [c19]Marco Bozzano
Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286 - 2007
- [j6]Marco Bozzano
The FSAP/NuSMV-SA Safety Analysis Platform. Int. J. Softw. Tools Technol. Transf. 9(1): 5-24 (2007) - [c18]Marco Bozzano, Alessandro Cimatti
Symbolic Fault Tree Analysis for Reactive Systems. ATVA 2007: 162-176 - 2006
- [j5]Marco Bozzano
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
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
The MathSAT 3 System. CADE 2005: 315-321 - [c14]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti
Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349 - [c13]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS 2005: 317-333 - [c12]Marco Bozzano
Encoding RTL Constructs for MathSAT: a Preliminary Report. PDPAR@CAV 2005: 3-14 - 2004
- [j3]Marco Bozzano
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004) - [j2]Marco Bozzano
Model Checking Linear Logic Specifications. Theory Pract. Log. Program. 4(5-6): 573-619 (2004) - [c11]Gilles Audemard, Marco Bozzano
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
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
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
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
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-05-08 21:04 CEST 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: