Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Bozzano
@inproceedings{DBLP:conf/icsrs/LanzaniSZCBT23,
author = {Isabella Lanzani and
Riccardo Scattolini and
Enrico Zio and
Alessandro Cimatti and
Marco Bozzano and
Stefano Tonetta},
title = {Two formal methodologies of Model-Based Safety Assessment for Fault
Tree Analysis},
booktitle = {7th International Conference on System Reliability and Safety, {ICSRS}
2023, Bologna, Italy, November 22-24, 2023},
pages = {376--383},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSRS59833.2023.10381356},
doi = {10.1109/ICSRS59833.2023.10381356},
timestamp = {Fri, 09 Feb 2024 20:38:51 +0100},
biburl = {https://dblp.org/rec/conf/icsrs/LanzaniSZCBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BittnerBCGTV22,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta and
Vikt{\'{o}}ria Voz{\'{a}}rov{\'{a}}},
title = {Diagnosability of fair transition systems},
journal = {Artif. Intell.},
volume = {309},
pages = {103725},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103725},
doi = {10.1016/J.ARTINT.2022.103725},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BittnerBCGTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BombardelliBCCG22,
author = {Alberto Bombardelli and
Marco Bozzano and
Roberto Cavada and
Alessandro Cimatti and
Alberto Griggio and
Massimo Nazaria and
Edoardo Nicolodi and
Stefano Tonetta},
editor = {Christel Seguin and
Marc Zeller and
Tatiana Prosvirnova},
title = {{COMPASTA:} Extending {TASTE} with Formal Design and Verification
Functionality},
booktitle = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}
2022, Munich, Germany, September 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13525},
pages = {21--27},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15842-1\_2},
doi = {10.1007/978-3-031-15842-1\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imbsa/BombardelliBCCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BozzanoCGJK22,
author = {Marco Bozzano and
Alessandro Cimatti and
Alberto Griggio and
Martin Jon{\'{a}}s and
Greg Kimberly},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Analysis of Cyclic Fault Propagation via {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {470--483},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_36},
doi = {10.1007/978-3-031-15707-3\_36},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BozzanoCGJK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/AmendolaBBCSFGG22,
author = {Arturo Amendola and
Lorenzo Barruffo and
Marco Bozzano and
Alessandro Cimatti and
Salvatore De Simone and
Eugenio Fedeli and
Artem Gabbasov and
Domenico Ernesto Garrubba and
Massimiliano Girardi and
Diana Serra and
Roberto Tiella and
Gianni Zampedri},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Formal Design and Validation of an Automatic Train Operation Control
System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {169--178},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_12},
doi = {10.1007/978-3-031-05814-1\_12},
timestamp = {Mon, 23 May 2022 16:36:24 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/AmendolaBBCSFGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoCGJ22,
author = {Marco Bozzano and
Alessandro Cimatti and
Alberto Griggio and
Martin Jon{\'{a}}s},
editor = {Dana Fisman and
Grigore Rosu},
title = {Efficient Analysis of Cyclic Redundancy Architectures via Boolean
Fault Propagation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {273--291},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_15},
doi = {10.1007/978-3-030-99527-0\_15},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoCGJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoCTV22,
author = {Marco Bozzano and
Alessandro Cimatti and
Stefano Tonetta and
Vikt{\'{o}}ria Voz{\'{a}}rov{\'{a}}},
editor = {Dana Fisman and
Grigore Rosu},
title = {Searching for Ribbon-Shaped Paths in Fair Transition Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {543--560},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_30},
doi = {10.1007/978-3-030-99524-9\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoCTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BozzanoCGJM21,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
David Jones and
Cristian Mattarei},
title = {Model-based Safety Assessment of a Triple Modular Generator with xSAP},
journal = {Formal Aspects Comput.},
volume = {33},
number = {2},
pages = {251--295},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00532-9},
doi = {10.1007/S00165-021-00532-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BozzanoCGJM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/AgirreEBBGBFEOOPPSSTTBYS21,
author = {Joseba Andoni Agirre and
Leire Etxeberria and
Raul Barbosa and
Stylianos Basagiannis and
Georgios Giantamidis and
Thomas Bauer and
Enrico Ferrari and
Mikel Labayen Esnaola and
Vanessa Orani and
Johnny {\"{O}}berg and
David Pereira and
Jos{\'{e}} Proen{\c{c}}a and
Rupert Schlick and
Ales Smrcka and
Walter Tiberti and
Stefano Tonetta and
Marco Bozzano and
Ahmet Yazici and
Behrooz Sangchoolie},
title = {The {VALU3S} {ECSEL} project: Verification and validation of automated
systems safety and security},
journal = {Microprocess. Microsystems},
volume = {87},
pages = {104349},
year = {2021},
url = {https://doi.org/10.1016/j.micpro.2021.104349},
doi = {10.1016/J.MICPRO.2021.104349},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/AgirreEBBGBFEOOPPSSTTBYS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/BozzanoCR21,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri},
title = {A Comprehensive Approach to On-board Autonomy Verification and Validation},
journal = {{ACM} Trans. Intell. Syst. Technol.},
volume = {12},
number = {4},
pages = {46:1--46:29},
year = {2021},
url = {https://doi.org/10.1145/3472715},
doi = {10.1145/3472715},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tist/BozzanoCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCPGJK20,
author = {Marco Bozzano and
Alessandro Cimatti and
Anthony Fernandes Pires and
Alberto Griggio and
Martin Jon{\'{a}}s and
Greg Kimberly},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Efficient SMT-Based Analysis of Failure Propagation},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {209--230},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_10},
doi = {10.1007/978-3-030-81688-9\_10},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCPGJK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BozzanoMSTV20,
author = {Marco Bozzano and
Peter Munk and
Markus Schweizer and
Stefano Tonetta and
Vikt{\'{o}}ria Voz{\'{a}}rov{\'{a}}},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Model-Based Safety Analysis of Mode Transitions},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {99--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_7},
doi = {10.1007/978-3-030-54549-9\_7},
timestamp = {Thu, 20 Aug 2020 14:33:29 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BozzanoMSTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BozzanoCM19,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei},
title = {Formal reliability analysis of redundancy architectures},
journal = {Formal Aspects Comput.},
volume = {31},
number = {1},
pages = {59--94},
year = {2019},
url = {https://doi.org/10.1007/s00165-018-0475-1},
doi = {10.1007/S00165-018-0475-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BozzanoCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoBCKNT19,
author = {Marco Bozzano and
Harold Bruintjes and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Thomas Noll and
Stefano Tonetta},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {{COMPASS} 3.0},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {379--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_25},
doi = {10.1007/978-3-030-17462-0\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoBCKNT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imbsa/2019,
editor = {Yiannis Papadopoulos and
Koorosh Aslansefat and
Panagiotis Katsaros and
Marco Bozzano},
title = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11842},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32872-6},
doi = {10.1007/978-3-030-32872-6},
isbn = {978-3-030-32871-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BittnerBC17,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti},
editor = {Marco Bozzano and
Yiannis Papadopoulos},
title = {Timed Failure Propagation Analysis for Spacecraft Engineering: The
{ESA} Solar Orbiter Case Study},
booktitle = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
2017, Trento, Italy, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10437},
pages = {255--271},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64119-5\_17},
doi = {10.1007/978-3-319-64119-5\_17},
timestamp = {Thu, 14 Oct 2021 09:59:31 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/BittnerBC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1710-03392,
author = {Marco Bozzano},
editor = {Alex Groce and
Stefan Leue},
title = {Causality and Temporal Dependencies in the Design of Fault Management
Systems},
booktitle = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded
and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala,
Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {259},
pages = {39--46},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.259.4},
doi = {10.4204/EPTCS.259.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imbsa/2017,
editor = {Marco Bozzano and
Yiannis Papadopoulos},
title = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
2017, Trento, Italy, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10437},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64119-5},
doi = {10.1007/978-3-319-64119-5},
isbn = {978-3-319-64118-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BittnerBCZ16,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Gianni Zampedri},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Automated Verification and Tightening of Failure Propagation Models},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {907--913},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10094},
doi = {10.1609/AAAI.V30I1.10094},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BittnerBCZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BittnerBC16,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti},
editor = {Subbarao Kambhampati},
title = {Automated Synthesis of Timed Failure Propagation Graphs},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {972--978},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/142},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BittnerBC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BittnerBCCGGMMZ16,
author = {Benjamin Bittner and
Marco Bozzano and
Roberto Cavada and
Alessandro Cimatti and
Marco Gario and
Alberto Griggio and
Cristian Mattarei and
Andrea Micheli and
Gianni Zampedri},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The xSAP Safety Analysis Platform},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {533--539},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_31},
doi = {10.1007/978-3-662-49674-9\_31},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BittnerBCCGGMMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BozzanoCGT15,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta},
title = {Formal Design of Asynchronous Fault Detection and Identification Components
using Temporal Epistemic Logic},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {4},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(4:4)2015},
doi = {10.2168/LMCS-11(4:4)2015},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzanoCGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BozzanoCLMMRT15,
author = {Marco Bozzano and
Alessandro Cimatti and
Oleg Lisagor and
Cristian Mattarei and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
title = {Safety assessment of AltaRica models via symbolic model checking},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {464--483},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.003},
doi = {10.1016/J.SCICO.2014.06.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BozzanoCGM15,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Andrea Micheli},
editor = {Blai Bonet and
Sven Koenig},
title = {SMT-Based Validation of Timed Failure Propagation Graphs},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3724--3730},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9753},
doi = {10.1609/AAAI.V29I1.9753},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BozzanoCGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCPJKPRT15,
author = {Marco Bozzano and
Alessandro Cimatti and
Anthony Fernandes Pires and
David Jones and
Greg Kimberly and
T. Petri and
R. Robinson and
Stefano Tonetta},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Formal Design and Safety Analysis of {AIR6110} Wheel Brake System},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {518--535},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_36},
doi = {10.1007/978-3-319-21690-4\_36},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCPJKPRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCGM15,
author = {Marco Bozzano and
Alessandro Cimatti and
Alberto Griggio and
Cristian Mattarei},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Efficient Anytime Techniques for Model-Based Safety Analysis},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {603--621},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_41},
doi = {10.1007/978-3-319-21690-4\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BittnerBCCGGMMZ15,
author = {Benjamin Bittner and
Marco Bozzano and
Roberto Cavada and
Alessandro Cimatti and
Marco Gario and
Alberto Griggio and
Cristian Mattarei and
Andrea Micheli and
Gianni Zampedri},
title = {The xSAP Safety Analysis Platform},
journal = {CoRR},
volume = {abs/1504.07513},
year = {2015},
url = {http://arxiv.org/abs/1504.07513},
eprinttype = {arXiv},
eprint = {1504.07513},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BittnerBCCGGMMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BozzanoCKKMNNPR14,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Panagiotis Katsaros and
Konstantinos Mokos and
Viet Yen Nguyen and
Thomas Noll and
Bart Postma and
Marco Roveri},
title = {Spacecraft early design validation using formal methods},
journal = {Reliab. Eng. Syst. Saf.},
volume = {132},
pages = {20--35},
year = {2014},
url = {https://doi.org/10.1016/j.ress.2014.07.003},
doi = {10.1016/J.RESS.2014.07.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BozzanoCKKMNNPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BozzanoCMT14,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei and
Stefano Tonetta},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Formal Safety Assessment via Contract-Based Design},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {81--97},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_7},
doi = {10.1007/978-3-319-11936-6\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BozzanoCMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BittnerBCGG14,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Alberto Griggio},
title = {Towards Pareto-optimal parameter synthesis for monotonic cost functions},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {23--30},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987591},
doi = {10.1109/FMCAD.2014.6987591},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BittnerBCGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BittnerBCFGGY14,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
R{\'{e}}gis De Ferluc and
Marco Gario and
Andrea Guiotto and
Yuri Yushtein},
editor = {Frank Ortmeier and
Antoine Rauzy},
title = {An Integrated Process for {FDIR} Design in Aerospace},
booktitle = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
2014, Munich, Germany, October 27-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8822},
pages = {82--95},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12214-4\_7},
doi = {10.1007/978-3-319-12214-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/BittnerBCFGGY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoCGT14,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Formal Design of Fault Detection and Identification Components Using
Temporal Epistemic Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {326--340},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_22},
doi = {10.1007/978-3-642-54862-8\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoCGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BanachB13,
author = {Richard Banach and
Marco Bozzano},
title = {The mechanical generation of fault trees for reactive systems via
retrenchment {I:} combinational circuits},
journal = {Formal Aspects Comput.},
volume = {25},
number = {4},
pages = {573--607},
year = {2013},
url = {https://doi.org/10.1007/s00165-011-0202-7},
doi = {10.1007/S00165-011-0202-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BanachB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BanachB13a,
author = {Richard Banach and
Marco Bozzano},
title = {The mechanical generation of fault trees for reactive systems via
retrenchment {II:} clocked and feedback circuits},
journal = {Formal Aspects Comput.},
volume = {25},
number = {4},
pages = {609--657},
year = {2013},
url = {https://doi.org/10.1007/s00165-011-0203-6},
doi = {10.1007/S00165-011-0203-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BanachB13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BozzanoCGT13,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta},
title = {A Formal Framework for the Specification, Verification and Synthesis
of Diagnosers},
booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence,
Bellevue, Washington, USA, July 14-18, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-17}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7048},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BozzanoCGT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BozzanoCM13,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei},
editor = {Valeria Bertacco and
Axel Legay},
title = {Efficient Analysis of Reliability Architectures via Predicate Abstraction},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {279--294},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_19},
doi = {10.1007/978-3-319-03077-7\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BozzanoCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BozzanoCM13,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei},
title = {Automated Analysis of Reliability Architectures},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.37},
doi = {10.1109/ICECCS.2013.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BozzanoCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BittnerBCO12,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Xavier Olive},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Symbolic Synthesis of Observability Requirements for Diagnosability},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {712--718},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8225},
doi = {10.1609/AAAI.V26I1.8225},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BittnerBCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BozzanoCKNNR11,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri},
title = {Safety, Dependability and Performance Analysis of Extended {AADL}
Models},
journal = {Comput. J.},
volume = {54},
number = {5},
pages = {754--775},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxq024},
doi = {10.1093/COMJNL/BXQ024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BozzanoCKNNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BozzanoCLMMRT11,
author = {Marco Bozzano and
Alessandro Cimatti and
Oleg Lisagor and
Cristian Mattarei and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
title = {Symbolic Model Checking and Safety Assessment of Altarica models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.697},
doi = {10.14279/TUJ.ECEASST.46.697},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BozzanoCLMMRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BozzanoCRT11,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri and
Andrei Tchaltsev},
editor = {Toby Walsh},
title = {A Comprehensive Approach to On-Board Autonomy Verification and Validation},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2398--2403},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400},
doi = {10.5591/978-1-57735-516-8/IJCAI11-400},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BozzanoCRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCKNNRW10,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri and
Ralf Wimmer},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {A Model Checker for {AADL}},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {562--565},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_48},
doi = {10.1007/978-3-642-14295-6\_48},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCKNNRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BozzanoCRKNN09,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll},
title = {Codesign of dependable systems: {A} component-based modeling language},
booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
{USA}},
pages = {121--130},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/MEMCOD.2009.5185388},
doi = {10.1109/MEMCOD.2009.5185388},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BozzanoCRKNN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BozzanoCKNNR09,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri},
editor = {Stefan Van Baelen and
Thomas Weigert and
Ileana Ober},
title = {Model-Based Codesign of Critical Embedded Systems},
booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting
and Construction of Embedded Systems {(} {ACES-MB} 2009 ), held as
part of the 2009 International Conference on Model Driven Engineering
Languages and Systems {(} MoDELS'09 {)} Denver, Colorado, USA, October
6, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {507},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-507/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BozzanoCKNNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BozzanoCKNNR09,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri},
editor = {Bettina Buth and
Gerd Rabe and
Till Seyfarth},
title = {The {COMPASS} Approach: Correctness, Modelling and Performability
of Aerospace Systems},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference,
{SAFECOMP} 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5775},
pages = {173--186},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04468-7\_15},
doi = {10.1007/978-3-642-04468-7\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BozzanoCKNNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BozzanoCRKNN09,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Verification and performance evaluation of aadl models},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {285--286},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595744},
doi = {10.1145/1595696.1595744},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BozzanoCRKNN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BozzanoV07,
author = {Marco Bozzano and
Adolfo Villafiorita},
title = {The FSAP/NuSMV-SA Safety Analysis Platform},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {1},
pages = {5--24},
year = {2007},
url = {https://doi.org/10.1007/s10009-006-0001-2},
doi = {10.1007/S10009-006-0001-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BozzanoV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BozzanoCT07,
author = {Marco Bozzano and
Alessandro Cimatti and
Francesco Tapparo},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Symbolic Fault Tree Analysis for Reactive Systems},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {162--176},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_13},
doi = {10.1007/978-3-540-75596-8\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BozzanoCT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzanoBCJRRS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
title = {Efficient theory combination via boolean search},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1493--1525},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.05.011},
doi = {10.1016/J.IC.2005.05.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzanoBCJRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/BertoliBC06,
author = {Piergiorgio Bertoli and
Marco Bozzano and
Alessandro Cimatti},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {A Symbolic Model Checking Framework for Safety Analysis, Diagnosis,
and Synthesis},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_1},
doi = {10.1007/978-3-540-74128-2\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/BertoliBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BanachB06,
author = {Richard Banach and
Marco Bozzano},
editor = {Janusz G{\'{o}}rski},
title = {Retrenchment, and the Generation of Fault Trees for Static, Dynamic
and Cyclic Systems},
booktitle = {Computer Safety, Reliability, and Security, 25th International Conference,
{SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4166},
pages = {127--141},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875567\_10},
doi = {10.1007/11875567\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BanachB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
title = {MathSAT: Tight Integration of {SAT} and Mathematical Decision Procedures},
journal = {J. Autom. Reason.},
volume = {35},
number = {1-3},
pages = {265--293},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9004-z},
doi = {10.1007/S10817-005-9004-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Robert Nieuwenhuis},
title = {The MathSAT 3 System},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {315--321},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_23},
doi = {10.1007/11532231\_23},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoBCJRRS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Efficient Satisfiability Modulo Theories via Delayed Theory Combination},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {335--349},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_34},
doi = {10.1007/11513988\_34},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoBCJRRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {An Incremental and Layered Procedure for the Satisfiability of Linear
Arithmetic Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {317--333},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_21},
doi = {10.1007/978-3-540-31980-1\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BozzanoBCFHKPS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Ziyad Hanna and
Zurab Khasidashvili and
Amit Palti and
Roberto Sebastiani},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Encoding {RTL} Constructs for MathSAT: a Preliminary Report},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {3--14},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.001},
doi = {10.1016/J.ENTCS.2005.12.001},
timestamp = {Fri, 16 Dec 2022 10:24:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BozzanoBCFHKPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BozzanoD04,
author = {Marco Bozzano and
Giorgio Delzanno},
title = {Automatic verification of secrecy properties for linear logic specifications
of cryptographic protocols},
journal = {J. Symb. Comput.},
volume = {38},
number = {5},
pages = {1375--1415},
year = {2004},
url = {https://doi.org/10.1016/j.jsc.2004.04.002},
doi = {10.1016/J.JSC.2004.04.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BozzanoD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BozzanoDM04,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
title = {Model Checking Linear Logic Specifications},
journal = {Theory Pract. Log. Program.},
volume = {4},
number = {5-6},
pages = {573--619},
year = {2004},
url = {https://doi.org/10.1017/S1471068404002066},
doi = {10.1017/S1471068404002066},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BozzanoDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AudemardBCS05,
author = {Gilles Audemard and
Marco Bozzano and
Alessandro Cimatti and
Roberto Sebastiani},
editor = {Armin Biere and
Ofer Strichman},
title = {Verifying Industrial Hybrid Systems with MathSAT},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {17--32},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.022},
doi = {10.1016/J.ENTCS.2004.12.022},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AudemardBCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BozzanoCCVV03,
author = {Marco Bozzano and
Antonella Cavallo and
Massimo Cifaldi and
Laura Valacca and
Adolfo Villafiorita},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Improving Safety Assessment of Complex Systems: An Industrial Case
Study},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {208--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_13},
doi = {10.1007/978-3-540-45236-2\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BozzanoCCVV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BozzanoV03,
author = {Marco Bozzano and
Adolfo Villafiorita},
editor = {Stuart Anderson and
Massimo Felici and
Bev Littlewood},
title = {Improving System Reliability via Model Checking: The FSAP/NuSMV-SA
Safety Analysis Platform},
booktitle = {Computer Safety, Reliability, and Security, 22nd International Conference,
{SAFECOMP} 2003, Edinburgh, UK, September 23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2788},
pages = {49--62},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39878-3\_5},
doi = {10.1007/978-3-540-39878-3\_5},
timestamp = {Sun, 02 Jun 2019 21:26:43 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BozzanoV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0309003,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
title = {Model Checking Linear Logic Specifications},
journal = {CoRR},
volume = {cs.PL/0309003},
year = {2003},
url = {http://arxiv.org/abs/cs/0309003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0309003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BozzanoDM02,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
title = {An effective fixpoint semantics for linear logic programs},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {1},
pages = {85--122},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001254},
doi = {10.1017/S1471068402001254},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BozzanoDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoD02,
author = {Marco Bozzano and
Giorgio Delzanno},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Algorithmic Verification of Invalidation-Based Protocols},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {295--308},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_22},
doi = {10.1007/3-540-45657-0\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BozzanoD02,
author = {Marco Bozzano and
Giorgio Delzanno},
title = {Automated protocol verification in linear logic},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {38--49},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571162},
doi = {10.1145/571157.571162},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BozzanoD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoD02,
author = {Marco Bozzano and
Giorgio Delzanno},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Beyond Parameterized Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {221--235},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_16},
doi = {10.1007/3-540-46002-0\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BozzanoDM01,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {An Effective Bottom-Up Semantics for First-Order Linear Logic Programs},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {138--152},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_9},
doi = {10.1007/3-540-44716-4\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/BozzanoDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BozzanoDM01,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {On the Relations between Disjunctive and Linear Logic Programming},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {65--89},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00150-1},
doi = {10.1016/S1571-0661(04)00150-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BozzanoDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0102025,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
title = {An Effective Fixpoint Semantics for Linear Logic Programs},
journal = {CoRR},
volume = {cs.PL/0102025},
year = {2001},
url = {https://arxiv.org/abs/cs/0102025},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0102025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BozzanoDM00,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {A bottom-up semantics for linear logic programs},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {92--102},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351279},
doi = {10.1145/351268.351279},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BozzanoDM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BozzanoDMMZ99,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Gopal Gupta},
title = {Multi-agent Systems Development as a Software Engineering Enterprise},
booktitle = {Practical Aspects of Declarative Languages, First International Workshop,
{PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1551},
pages = {46--60},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49201-1\_4},
doi = {10.1007/3-540-49201-1\_4},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/padl/BozzanoDMMZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/BozzanoDMMZ99,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Logic Programming and Multi-Agent Systems: {A} Synergic Combination
for Applications and Semantics},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {5--32},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_1},
doi = {10.1007/978-3-642-60085-2\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/BozzanoDMMZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BozzanoDM97,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {A Linear Logic Semantics for Object-Oriented, Deductive and Active
Databases},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {105--116},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/BozzanoDM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-11 02: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:
