Marco Bozzano

Researcher

    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

    1. Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova,
      Model-Based Safety Analysis of Mode Transitions,
      Computer Safety, Reliability, and Security - 39th International Conference,(SAFECOMP) 2020, Proceedings,
      Springer,
      vol. 12234,
      2020
      , pp. 99-
      114
    2. Bozzano, M.; Cimatti, A.; Mattarei, C.,
      Formal reliability analysis of redundant architectures,
      in «FORMAL ASPECTS OF COMPUTING»,
      vol. 31,
      n. 1,
      2019
      , pp. 59-
      94
    3. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
      COMPASS 3.0,
      Tools and Algorithms for the Construction and Analysis of Systems,
      Springer,
      vol. 11427,
      2019
      , pp. 379-
      385
    4. Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco,
      Model-Based Safety and Assessment,
      vol. 11842,
      2019
    5. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.,
      Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study,
      Proceedings of International Symposium on Model-Based Safety and Assessment,
      Springer,
      vol. 10437,
      2017
      , pp. 255-
      271
    6. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
      Formal Methods for Aerospace Systems,
      Cyber-Physical System Design from an Architecture Analysis Viewpoint,
      Springer,
      2017
      , pp. 133-
      159
    7. Marco, Bozzano; Yiannis, Papadopoulos,
      Model-Based Safety and Assessment,
      Springer,
      vol. 10437,
      2017
    8. Bozzano, Marco,
      Causality and Temporal Dependencies in the Design of Fault Management Systems,
      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
    9. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
      The xSAP Safety Analysis Platform,
      Tools and Algorithms for the Construction and Analysis of Systems,
      Springer Berlin Heidelberg,
      vol. 9636,
      2016
      , pp. 533-
      539
    10. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
      Automated Verification and Tightening of Failure Propagation Models,
      Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
      2016
      , pp. 907-
      913
    11. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
      Automated Synthesis of Timed Failure Propagation Graphs,
      Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
      2016
      , pp. 972-
      978
    12. Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta,
      Safety Assessment of AltaRica Models via Symbolic Model Checking,
      in «SCIENCE OF COMPUTER PROGRAMMING»,
      vol. 98,
      2015
      , pp. 464-
      483
    13. 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
    14. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
      Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic,
      in «LOGICAL METHODS IN COMPUTER SCIENCE»,
      vol. 11,
      n. 4,
      2015
    15. Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian,
      Efficient Anytime Techniques for Model-Based Safety Analysis,
      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
    16. Bozzano, M.; Cimatti, A.; Fernandes Pires, A.; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, S.,
      Formal Design and Safety Analysis of AIR6110 Wheel Brake System,
      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
    17. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
      Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,
      TACAS 2014, LNCS 8413,,
      Springer-Verlag,
      vol. 8413,
      2014
      , pp. 326-
      340
    18. Bozzano M.; Cimatti A.; Katoen J.-P.; Katsaros P.; Mokos K.; Nguyen V.Y.; Noll T.; Postma B.; Roveri M.,
      Spacecraft Early Design Validation using Formal Methods,
      in «RELIABILITY ENGINEERING & SYSTEM SAFETY»,
      vol. 132,
      2014
      , pp. 20-
      35
    19. M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
      Formal Safety Assessment via Contract-Based Design.,
      ATVA14,
      2014
      , pp. 81-
      97
    20. 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
    21. Guiotto A.; De Ferluc R.; Bozzano M.; Cimatti A.; Gario M.; Yushtein Y.,
      FAME Process: A Dedicated Development and V&V Process for FDIR,
      ESA SP-725,
      2014
    22. 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
    23. Bittner B.; Bozzano M. ; Cimatti A.; De Ferluc R.; Gario M.; 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
    24. Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
      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
    25. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
      A Formal Framework for the Specification, Verification and Synthesis of Diagnosers,
      AAAI Workshops,
      2013
    26. 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
    27. Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
      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
    28. 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
    29. R. Banach; M. Bozzano,
      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
    30. Marco Bozzano; Adolfo Villafiorita,
      Safety Critical Systems,
      Encyclopedia of Software Engineering,
      CRC Press, Taylor & Francis Group,
      2013
    31. Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive,
      Symbolic Synthesis of Observability Requirements for Diagnosability,
      Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
      AAAI Press,
      2012
    32. Elena Alaña; Héctor Naranjo; Yuri Yushtein; Marco Bozzano; Alessandro Cimatti; Marco Gario; Régis de Ferluc; Gérard Garcia,
      Automated generation of FDIR for the compass integrated toolset (AUTOGEF),
      2012
    33. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
      Safety, Dependability and Performance Analysis of Extended AADL Models,
      in «COMPUTER JOURNAL»,
      vol. 54,
      n. 5,
      2011
      , pp. 754-
      775
    34. 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
    35. M. Bozzano; A. Cimatti; O. Lisagor; C. Mattarei; S. Mover; M. Roveri; S. Tonetta,
      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
    36. Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive,
      Symbolic Synthesis of Observability Requirements for Diagnosability,
      Proceedings of 11th Symposium on Advanced Space Technologies in Robotics and Automation,
      2011
    37. 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
    38. Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive,
      Formal Verification and Validation of AADL Model,
      2010
    39. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer; Roberto Cavada,
      COMPASS Tool,
      2010
    40. Marco Bozzano; Adolfo Villafiorita,
      Design and Safety Assessment of Critical Systems,
      Auerbach Publications (Taylor & Francis Group),
      2010
    41. Oleg Lisagor; Marco Bozzano; Matthias Bretschneider; Tim Kelly,
      Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results,
      2010
    42. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
      Codesign of Dependable Systems: A Component-Based Language,
      2009
    43. 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
    44. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev,
      A Comprehensive Approach to On-Board Autonomy Verification and Validation,
      Workshop on Verification and Validation of Planning and Scheduling Systems,
      2009
      , pp. 1-
      10
    45. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
      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
    46. Marco Bozzano; Alessandro Cimatti; Marco Roveri; 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
    47. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
      Model-Based Codesign of Critical Embedded Systems,
      Proceedings 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems,
      CEUR-WS.org,
      vol. 507,
      2009
      , pp. 87-
      91
    48. 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
    49. 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
    50. Alessandro Cimatti; Marco Bozzano; Adolfo Villafiorita,
      FSAP,
      2008
    51. Marco Bozzano; Alessandro Cimatti; 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
    52. Piergiorgio Bertoli; Marco Bozzano; Alessandro Cimatti,
      A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis,
      Model Checking and Artificial Intelligence,
      Springer-Verlag,
      vol. 4428,
      2007
      , pp. 1-
      18
    53. 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
    54. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Roberto Sebastiani,
      Encoding RTL Constructs for Mathsat: A preliminary report,
      Proceedings of 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
      vol. 144, issue 2,
      2006
      , pp. 3-
      14
    55. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani,
      Efficient theory combination via boolean search,
      in «INFORMATION AND COMPUTATION»,
      vol. 204,
      n. 10,
      2006
      , pp. 1493-
      1525
    56. Richard Banach; Marco Bozzano,
      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
    57. O. Akerlund; P. Bieber; E. Boede; M. Bozzano; 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
    58. M. Bozzano; R. Bruttomesso; A. Cimatti; T. A. Junttila; Rossum Peter van; S. P. Schulz; R. Sebastiani,
      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
    59. 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
    60. M. Bozzano; R. Bruttomesso; A. Cimatti; T. Antero Junttila; S. Ranise; Rossum Peter van; R. Sebastiani,
      Efficient Theory Combination via Boolean Search,
      2005
    61. M. Bozzano; R. Bruttomesso; A. Cimatti; T. A. Junttila; R. Peter van; S. P. Schulz; R. Sebastiani,
      MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures,
      2005
    62. M. Bozzano; R. Brutomesso; A. Cimatti; T. A. Junttila; S. Ranise; Rossen Peter van; R. Sebastiani,
      Efficient Satisfiability Modulo Theories via Delayed Theory Combination,
      2005
    63. Gilles Audemard; Marco Bozzano; Alessandro Cimatti; Roberto Sebastiani,
      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
    64. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi Junttila; Peter van Rossum; Stephan Schulz; Roberto Sebastiani,
      Mathsat: Tight Integration of SAT and Mathematical Decision Procedures,
      in «JOURNAL OF AUTOMATED REASONING»,
      vol. 35,
      n. 1-3,
      2005
      , pp. 265-
      293
    65. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani,
      Efficient Satisfiability Modulo Theories via Delayed Theory Combination,
      Proceeding of 17th Int. Conference on Computer Aided Verification,
      Springer,
      vol. 3576,
      2005
      , pp. 335-
      349
    66. M. Bozzano; A. Cimatti; G. Colombini; V. Kirov; R. Sebastiani,
      The MAthSAT Solver. A progress report,
      2004
    67. Marco Bozzano; R. Bruttomesso; A. Cimatti; R. Sebastiani,
      The MathSAT Solver - a comparative evaluation,
      2004
    68. Marco Bozzano; Alessandro Cimatti; Gabriele Colombini; Veselin Kirov; Roberto Sebastiani,
      The MathSAT solver -- a progress report,
      Proceeding of 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
      2004
    69. M. Bozzano; 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
    70. M. Bozzano; 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
    71. Marco Bozzano; Adolfo Villafiorita; O. Akerlund; P. Bieber; C. Bougnol; E. Boede; M. Bretschneider; A. Cavallo; C. Castel; M. Cifaldi; Alessandro Cimatti; 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; Gabriele Zacco,
      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
    72. Gilles Audemard; Marco Bozzano; Alessandro Cimatti; Roberto Sebastiani,
      Verifying Industrial Hybrid Systems with MathSAT,
      CADE-19 Workshop: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR`03),
      2003
      , pp. 62-
      76
    73. Marco Bozzano; Adolfo Villafiorita,
      Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform,
      2003
    74. Marco Bozzano; A. Cavallo; M. Cifaldi; L. Valacca; Adolfo Villafiorita,
      Improving Safety Assessment of Complex Systems: An Industrial case study,
      2003
    75. Marco Bozzano; Adolfo Villafiorita,
      Integrating Fault Tree Analysis with Event Ordering Information,
      :Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003,
      2003
    76. Marco Bozzano; Adolfo Villafiorita,
      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
    77. Marco Bozzano; A. Cavallo; M. Cifaldi; L. Valacca; Adolfo Villafiorita,
      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
    78. 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
    79. 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
    80. Bozzano, Marco; Delzanno, Giorgio,
      Algorithmic Verification of Invalidation-Based Protocols,
      Computer Aided Verification,
      Spinger,
      vol. 2404,
      2002
      , pp. 295-
      308
    81. 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