Short bio
- Graduated in Computer Science - University of Genova (1997)
- PhD in Computer Science - DISI, University of Genova (2002)
- Reasercher at Fondazione Bruno Kessler (from 2002)
Publications
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória,in «ARTIFICIAL INTELLIGENCE»,vol. 309,2022
-
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian,Model-based Safety Assessment of a Triple Modular Generator with XSAP,in «FORMAL ASPECTS OF COMPUTING»,vol. 33,n. 2,2021, pp. 251-295
-
Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg,Proceedings of Computer Aided Verification - 33rd International Conference, (CAV2021), Virtual Event, Part II,Springer,vol. 12760,2021, pp. 209-230
-
Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco,in «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY»,vol. 12,n. 4,2021, pp. 1-29
-
Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova,Computer Safety, Reliability, and Security - 39th International Conference,(SAFECOMP) 2020, Proceedings,Springer,vol. 12234,2020, pp. 99-114
-
Bozzano, M.; Cimatti, A.; Mattarei, C.,in «FORMAL ASPECTS OF COMPUTING»,vol. 31,n. 1,2019, pp. 59-94
-
Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,Tools and Algorithms for the Construction and Analysis of Systems,Springer,vol. 11427,2019, pp. 379-385
-
Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco,Model-Based Safety and Assessment,vol. 11842,2019
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,Proceedings of International Symposium on Model-Based Safety and Assessment,Springer,vol. 10437,2017, pp. 255-271
-
Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,Cyber-Physical System Design from an Architecture Analysis Viewpoint,Springer,2017, pp. 133-159
-
Bozzano, Marco; Papadopoulos, Yiannis,Springer,vol. 10437,2017
-
Bozzano, Marco,in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»,Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),vol. 259,2017, pp. 39-46
-
Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,Tools and Algorithms for the Construction and Analysis of Systems,Springer Berlin Heidelberg,vol. 9636,2016, pp. 533-539
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni,Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),2016, pp. 907-913
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,2016, pp. 972-978
-
Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,Safety Assessment of AltaRica Models via Symbolic Model Checking,in «SCIENCE OF COMPUTER PROGRAMMING»,vol. 98,2015, pp. 464-483
-
Bozzano M.; Cimatti A.; Gario M.; Micheli A.,SMT-based Validation of Timed Failure Propagation Graphs,Proceedings of the 29th AAAI Conference on Artificial Intelligence,AAAI Press,2015
-
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,in «LOGICAL METHODS IN COMPUTER SCIENCE»,vol. 11,n. 4,2015
-
Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian,Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I,vol. 9206,2015, pp. 603-621
-
Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano,Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I,vol. 9206,2015, pp. 518-535
-
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,TACAS 2014, LNCS 8413,,Springer-Verlag,vol. 8413,2014, pp. 326-340
-
Bozzano, Marco; Cimatti, Alessandro; Katoen, J. P.; Katsaros, P.; Mokos, K.; Nguyen, V. Y.; Noll, T.; Postma, B.; Roveri, Marco,Spacecraft Early Design Validation using Formal Methods,in «RELIABILITY ENGINEERING & SYSTEM SAFETY»,vol. 132,2014, pp. 20-35
-
Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano,Formal Safety Assessment via Contract-Based Design.,ATVA14,2014, pp. 81-97
-
Bittner B.; Bozzano M.; Cimatti A.; Gario M.; Griggio A.,Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions,Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,2014, pp. 23-30
-
Guiotto, A.; De Ferluc, R.; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Yushtein, Y.,FAME Process: A Dedicated Development and V&V Process for FDIR,ESA SP-725,2014
-
Bittner B.; Bozzano M.; Cimatti A.; De Ferluc R. ; Gario M.; Guiotto A. ; Yushtein Y.,An Integrated Process for FDIR Design in Aerospace,LNCS 8822,Springer International Publishing,vol. 8822,2014, pp. 82-95
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y.,FAME: A Model-Based Environment for FDIR Design in Aerospace,Proceedings of the International Symposium on Model Based Safety and Assessment,Springer International Publishing,vol. 8822,2014, pp. 1-2
-
Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian,Automated Analysis of Reliability Architectures,18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013,IEEE Computer Society,2013, pp. 198-207
-
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,AAAI Workshops,2013
-
Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,Formal Specification and Synthesis of FDI through an Example,Proceedings of the 24th International Workshop on Principles of Diagnosis,2013
-
Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian,Efficient Analysis of Reliability Architectures via Predicate Abstraction,Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference,Springer,vol. 8244,2013, pp. 279-294
-
R. Banach; M. Bozzano,The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits,in «FORMAL ASPECTS OF COMPUTING»,vol. 25,n. 4,2013, pp. 573-607
-
R., Banach; Bozzano, Marco,The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits,in «FORMAL ASPECTS OF COMPUTING»,vol. 25,n. 4,2013, pp. 609-657
-
Bozzano, Marco; Villafiorita Monteleone, Adolfo,Encyclopedia of Software Engineering,CRC Press, Taylor & Francis Group,2013
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive,Symbolic Synthesis of Observability Requirements for Diagnosability,Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,AAAI Press,2012
-
Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia,Automated generation of FDIR for the compass integrated toolset (AUTOGEF),2012
-
Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco,Safety, Dependability and Performance Analysis of Extended AADL Models,in «COMPUTER JOURNAL»,vol. 54,n. 5,2011, pp. 754-775
-
Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev,A Comprehensive Approach to On-Board Autonomy Verification and Validation,AAAI (Conference on Artificial Intelligence) Press,2011
-
Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,Model Checking and Safety Assessment of Altarica models,in «ELECTRONIC COMMUNICATIONS OF THE EASST»,Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011),EASST,vol. 46,2011
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive,Symbolic Synthesis of Observability Requirements for Diagnosability,Proceedings of 11th Symposium on Advanced Space Technologies in Robotics and Automation,2011
-
Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer,A Model Checker for AADL,Proceedings of 22nd International Conference on Computer Aided Verification,Springer,vol. 6174,2010, pp. 562-565
-
Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive,Formal Verification and Validation of AADL Model,2010
-
Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto,2010
-
Bozzano, Marco; Villafiorita Monteleone, Adolfo,Design and Safety Assessment of Critical Systems,Auerbach Publications (Taylor & Francis Group),2010
-
Oleg, Lisagor; Bozzano, Marco; Matthias, Bretschneider; Tim, Kelly,Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results,2010
-
Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,Codesign of Dependable Systems: A Component-Based Language,2009
-
Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems,2009
-
Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev,Workshop on Verification and Validation of Planning and Scheduling Systems,2009, pp. 1-10
-
Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco,The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems,Proceedings of 28th Int. International Conference on Computer Safety, Reliability and Security,Springer,vol. 5775,2009, pp. 173-186
-
Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll,Verification and performance evaluation of AADL models,Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering,ACM,2009, pp. 285-286
-
Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco,Proceedings 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems,CEUR-WS.org,vol. 507,2009, pp. 87-91
-
Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll,Codesign of Dependable Systems: A Component-Based Modeling Language,Proceedings of the 7th IEEE/ACM Int. Conference on Formal Methods and Models for Codesign,2009, pp. 121-130
-
Marco Bozzano; Alessandro Cimatti; Andrea Guiotto; Andrea Martelli; Marco Roveri; Andrei Tchaltsev; Yuri Yushtein,On-Board Autonomy via Symbolic Model Based Reasoning,Proceedings of 10th Workshop on Advanced Space Technologies for Robotics and Automation,2008
-
Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita,FSAP,2008
-
Bozzano, Marco; Cimatti, Alessandro; Francesco, Tapparo,Symbolic Fault Tree Analysis for Reactive Systems,5th Int. Symposium on Automated Technology for Verification and Analysis,Springer-Verlag,vol. 4762,2007, pp. 162-176
-
Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro,A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis,Model Checking and Artificial Intelligence,Springer-Verlag,vol. 4428,2007, pp. 1-18
-
Marco Bozzano; Adolfo Villafiorita,The FSAP/NuSMV-SA Safety Analysis Platform,in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,vol. 9,n. 1,2007, pp. 5-24
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Ziyad, Hanna; Zurab, Khasidashvili; Amit, Palti; Sebastiani, Roberto,Proceedings of 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,vol. 144, issue 2,2006, pp. 3-14
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto,Efficient theory combination via boolean search,in «INFORMATION AND COMPUTATION»,vol. 204,n. 10,2006, pp. 1493-1525
-
Richard, Banach; Bozzano, Marco,Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems,International Conference on Computer Safety, Security and Reliability,n. 4166,2006, pp. 127-141
-
O., Akerlund; P., Bieber; E., Boede; Bozzano, Marco; M., Bretschneider; C., Castel; A., Cavallo; M., Cifaldi; J., Gauthier; A., Griffault; O., Lisagor; A., Luedtke; S., Metge; C., Papadopoulos; T., Peikenkamp; L., Sagaspe; C., Seguin; H., Trivedi; L., Valacca,ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects.,2006
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto,An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic,Proceedings of 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,Springer,vol. 3440,2005, pp. 317-333
-
Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Peter Schulz; Roberto Sebastiani,The Mathsat3 System,Proceedings of 20th Int. Conference on Automated Deduction,Springer,vol. 3632,2005, pp. 315-321
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto,Efficient Theory Combination via Boolean Search,2005
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto,MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures,2005
-
Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto,Efficient Satisfiability Modulo Theories via Delayed Theory Combination,2005
-
Gilles, Audemard; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto,Verifying Industrial Hybrid Systems with MathSAT,Proceedings of 2nd Int. Workshop on Bounded Model Checking,Elsevier B.V.,vol. 119, issue 2,2005, pp. 17-32
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto,Mathsat: Tight Integration of SAT and Mathematical Decision Procedures,in «JOURNAL OF AUTOMATED REASONING»,vol. 35,n. 1-3,2005, pp. 265-293
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto,Efficient Satisfiability Modulo Theories via Delayed Theory Combination,Proceeding of 17th Int. Conference on Computer Aided Verification,Springer,vol. 3576,2005, pp. 335-349
-
Bozzano, Marco; Cimatti, Alessandro; G., Colombini; V., Kirov; Sebastiani, Roberto,The MAthSAT Solver. A progress report,2004
-
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto,The MathSAT Solver - a comparative evaluation,2004
-
Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto,The MathSAT solver -- a progress report,Proceeding of 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,2004
-
Bozzano, Marco; G., Delzanno; M., Martelli,Model Checking Linear Logic Specifications,in «THEORY AND PRACTICE OF LOGIC PROGRAMMING»,vol. 4,n. 5-6,2004, pp. 573-619
-
Bozzano, Marco; G., Delzanno,Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos,in «JOURNAL OF SYMBOLIC COMPUTATION»,vol. 38,n. 5,2004, pp. 1375-1415
-
Bozzano, Marco; Villafiorita Monteleone, Adolfo; O., Akerlund; P., Bieber; C., Bougnol; E., Boede; M., Bretschneider; A., Cavallo; C., Castel; M., Cifaldi; Cimatti, Alessandro; A., Griffault; C., Kehren; B., Lawrence; A., Luedtke; S., Metge; C., Papadopoulos; R., Passarello; T., Peikenkamp; P., Persson; C., Seguin; L., Trotta; L. Villafiorita A., Valacca; Zacco, Gabriele,ESACS: an integrated methodology for design and safety analysis of complex systems,Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,Balkema,2003
-
Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto,CADE-19 Workshop: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR`03),2003, pp. 62-76
-
Bozzano, Marco; Villafiorita Monteleone, Adolfo,Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform,2003
-
Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo,Improving Safety Assessment of Complex Systems: An Industrial case study,2003
-
Bozzano, Marco; Villafiorita Monteleone, Adolfo,Integrating Fault Tree Analysis with Event Ordering Information,:Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,2003
-
Bozzano, Marco; Villafiorita Monteleone, Adolfo,Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform,Computer Safety, Reliability, and Security. Proceedings of the 22nd International Confecence SAFECOMP 2003,2003, pp. 49-62
-
Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo,Improving Safety Assessment of Complex Systems: An Industrial case study,FME 2003: Formal Methods. Proceedings of the International Symposium of Formal Methods,2003, pp. 208-222
-
Marco Bozzano; G. Delzanno,Automated Protocol Verification in Linear Logic,Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming [PPDP 2002],2002
-
Bozzano, Marco; Delzanno, Giorgio,Beyond parameterized verification,International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2002: Tools and Algorithms for the Construction and Analysis of Systems,Springer,vol. 2280,2002, pp. 221-235
-
Bozzano, Marco; Delzanno, Giorgio,Algorithmic Verification of Invalidation-Based Protocols,Computer Aided Verification,Spinger,vol. 2404,2002, pp. 295-308
-
Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio,An effective fixpoint semantics for linear logic programs,in «THEORY AND PRACTICE OF LOGIC PROGRAMMING»,vol. 2,n. 01,2002, pp. 85-122
-
Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio,in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,vol. 48,2001, pp. 65-89