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. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória,
      Diagnosability of fair transition systems,
      in «ARTIFICIAL INTELLIGENCE»,
      vol. 309,
      2022
    2. 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
    3. Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg,
      Efficient SMT-Based Analysis of Failure Propagation,
      Proceedings of Computer Aided Verification - 33rd International Conference, (CAV2021), Virtual Event, Part II,
      Springer,
      vol. 12760,
      2021
      , pp. 209-
      230
    4. Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco,
      A Comprehensive Approach to On-board Autonomy Verification and Validation,
      in «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY»,
      vol. 12,
      n. 4,
      2021
      , pp. 1-
      29
    5. 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
    6. 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
    7. 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
    8. Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco,
      Model-Based Safety and Assessment,
      vol. 11842,
      2019
    9. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
      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
    10. 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
    11. Bozzano, Marco; Papadopoulos, Yiannis,
      Model-Based Safety and Assessment,
      Springer,
      vol. 10437,
      2017
    12. 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
    13. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; 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
    14. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni,
      Automated Verification and Tightening of Failure Propagation Models,
      Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
      2016
      , pp. 907-
      913
    15. 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
    16. 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
    17. 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
    18. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; 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
    19. 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
    20. Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano,
      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
    21. 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
    22. 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
    23. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano,
      Formal Safety Assessment via Contract-Based Design.,
      ATVA14,
      2014
      , pp. 81-
      97
    24. 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
    25. 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
    26. 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
    27. 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
    28. 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
    29. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,
      A Formal Framework for the Specification, Verification and Synthesis of Diagnosers,
      AAAI Workshops,
      2013
    30. 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
    31. 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
    32. 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
    33. 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
    34. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
      Safety Critical Systems,
      Encyclopedia of Software Engineering,
      CRC Press, Taylor & Francis Group,
      2013
    35. 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
    36. 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
    37. 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
    38. 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
    39. 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
    40. 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
    41. 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
    42. Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive,
      Formal Verification and Validation of AADL Model,
      2010
    43. Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto,
      COMPASS Tool,
      2010
    44. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
      Design and Safety Assessment of Critical Systems,
      Auerbach Publications (Taylor & Francis Group),
      2010
    45. Oleg, Lisagor; Bozzano, Marco; Matthias, Bretschneider; Tim, Kelly,
      Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results,
      2010
    46. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
      Codesign of Dependable Systems: A Component-Based Language,
      2009
    47. 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
    48. Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; 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
    49. 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
    50. 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
    51. Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco,
      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
    52. 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
    53. 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
    54. Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita,
      FSAP,
      2008
    55. 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
    56. 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
    57. 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
    58. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Ziyad, Hanna; Zurab, Khasidashvili; Amit, Palti; Sebastiani, Roberto,
      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
    59. 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
    60. 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
    61. 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
    62. 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
    63. 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
    64. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto,
      Efficient Theory Combination via Boolean Search,
      2005
    65. 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
    66. 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
    67. 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
    68. 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
    69. 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
    70. Bozzano, Marco; Cimatti, Alessandro; G., Colombini; V., Kirov; Sebastiani, Roberto,
      The MAthSAT Solver. A progress report,
      2004
    71. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto,
      The MathSAT Solver - a comparative evaluation,
      2004
    72. 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
    73. 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
    74. 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
    75. 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
    76. Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto,
      Verifying Industrial Hybrid Systems with MathSAT,
      CADE-19 Workshop: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR`03),
      2003
      , pp. 62-
      76
    77. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
      Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform,
      2003
    78. Bozzano, Marco; A., Cavallo; M., Cifaldi; L., Valacca; Villafiorita Monteleone, Adolfo,
      Improving Safety Assessment of Complex Systems: An Industrial case study,
      2003
    79. 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
    80. 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
    81. 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
    82. 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
    83. 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
    84. Bozzano, Marco; Delzanno, Giorgio,
      Algorithmic Verification of Invalidation-Based Protocols,
      Computer Aided Verification,
      Spinger,
      vol. 2404,
      2002
      , pp. 295-
      308
    85. 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
    86. Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio,
      On the Relations between Disjunctive and Linear Logic Programming,
      in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
      vol. 48,
      2001
      , pp. 65-
      89