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,
    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,
    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,
    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,
    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.,
    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,
    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,
    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,
    Cyber-Physical System Design from an Architecture Analysis Viewpoint,
    Springer,
    2017
    , pp. 133-
    159
  11. Bozzano, Marco; Papadopoulos, Yiannis,
    Springer,
    vol. 10437,
    2017
  12. 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
  13. 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
  14. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni,
    Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
    2016
    , pp. 907-
    913
  15. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
    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,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 11,
    n. 4,
    2015
  19. 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
  20. 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
  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,
    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,
    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,
    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,
    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,
    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,
    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,
    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,
    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,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    vol. 48,
    2001
    , pp. 65-
    89