Alessandro Cimatti

Researcher and Director of DI Center

    Publications

    1. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
      in «INFORMATION AND COMPUTATION»,
      vol. 272,
      2020
    2. Valentini, Alessandro; Micheli, Andrea; Cimatti, Alessandro,
      Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
      AAAI Press,
      vol. 34,
      n. 6,
      2020
    3. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
      Proceedings of the 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD),
      2020
    4. Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano,
      Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, (TACAS) 2020, Held as Part of theEuropean Joint Conferences on Theory and Practice of Software, (ETAPS) 2020, Dublin, Ireland, April 25-30, 2020, Proceedi...,
      Springer,
      vol. 12078,
      2020
      , pp. 155-
      172
    5. Bozzano, M.; Cimatti, A.; Mattarei, C.,
      in «FORMAL ASPECTS OF COMPUTING»,
      vol. 31,
      n. 1,
      2019
      , pp. 59-
      94
    6. 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
    7. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
      Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
      vol. 33,
      2019
    8. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
      Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019,
      vol. 11561,
      2019
      , pp. 376-
      386
    9. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
      Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019,
      Springer,
      vol. 11698,
      2019
      , pp. 200-
      215
    10. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
      Runtime Verification (RV 2019),
      Springer,
      vol. 11757,
      n. 10,
      2019
      , pp. 165-
      184
    11. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
      Runtime Verification (RV 2019),
      Springer,
      vol. 11757,
      n. 23,
      2019
      , pp. 382-
      392
    12. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
      in «ARTIFICIAL INTELLIGENCE»,
      vol. 256,
      2018
      , pp. 1-
      34
    13. Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      vol. 52,
      n. 1,
      2018
      , pp. 88-
      116
    14. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
      Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018,
      vol. 10929,
      2018
      , pp. 383-
      398
    15. Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano,
      Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings,
      Springer,
      vol. 10951,
      2018
      , pp. 625-
      644
    16. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
      in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
      vol. 19,
      n. 3,
      2018
      , pp. 1-
      52
    17. Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe,
      Proceedings of 2018 Formal Methods in Computer Aided Design, FMCAD 2018,
      2018
    18. Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio,
      Model checking: teoria ed applicazioni,
      Le direzioni della ricerca logica in Italia 2,
      Edizioni ETS,
      2018
      , pp. 141-
      193
    19. Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik,
      Symbolic execution with existential second-order constraints,
      Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018,
      2018
      , pp. 389-
      399
    20. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
      2018
    21. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
      Proceedings of 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
      2018
    22. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
      Tools and Algorithms for the Construction and Analysis of Systems,
      vol. 10205,
      2017
      , pp. 58-
      75
    23. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
      Automated Deduction – CADE 26,
      vol. 10395,
      2017
      , pp. 95-
      113
    24. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
      Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
      AAAI Press,
      2017
      , pp. 3547-
      3554
    25. Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko,
      Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017),
      2017
      , pp. 188-
      195
    26. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.,
      Proceedings of International Symposium on Model-Based Safety and Assessment,
      Springer,
      vol. 10437,
      2017
      , pp. 255-
      271
    27. 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
    28. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; 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
    29. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
      in «ACTA INFORMATICA»,
      2016
      , pp. 1-
      42
    30. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
      Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
      2016
      , pp. 907-
      913
    31. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
      Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
      2016
      , pp. 972-
      978
    32. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas,
      Intelligent Computer Mathematics - 9th International Conference, CICM 2016,
      vol. 9791,
      2016
      , pp. 28-
      43
    33. Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
      Computer Aided Verification - 28th International Conference, CAV 2016,
      vol. 9779,
      2016
      , pp. 271-
      291
    34. Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto,
      Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016,
      2016
      , pp. 1156-
      1159
    35. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
      Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
      2016
      , pp. 3116-
      3122
    36. Gario, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne,
      Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
      vol. 9780,
      2016
      , pp. 3-
      22
    37. Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
      Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
      International Foundation for Autonomous Agents and Multiagent Systems,
      2016
      , pp. 1218-
      1226
    38. Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano,
      Software Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings,
      Springer,
      vol. 9763,
      2016
      , pp. 386-
      402
    39. Cimatti, A.; Mover, S.; Sessa, M.,
      Proceedings of the 21st International Symposium on Formal Methods, FM 2016,
      vol. 9995,
      2016
      , pp. 164-
      181
    40. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      2016
    41. Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano,
      Proceedings of FM 2016: Formal Methods 21st International Symposium,
      vol. 9995,
      2016
      , pp. 741-
      747
    42. Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.,
      in «ACM COMMUNICATIONS IN COMPUTER ALGEBRA»,
      vol. 50,
      n. 4,
      2016
      , pp. 145-
      147
    43. A. Cimatti; S. Tonetta,
      Contracts-refinement proof system for component-based embedded systems,
      in «SCIENCE OF COMPUTER PROGRAMMING»,
      2015
    44. 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
    45. Cimatti A.; Micheli A.; Roveri M,
      Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach,
      Proceedings of the 29th AAAI Conference on Artificial Intelligence,
      AAAI Press,
      2015
    46. 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
    47. Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
      Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings,
      Springer,
      vol. 9035,
      2015
      , pp. 52-
      67
    48. Alessandro Cimatti;Andrea Micheli;Marco Roveri,
      An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty,
      in «ARTIFICIAL INTELLIGENCE»,
      vol. 224,
      2015
      , pp. 1-
      27
    49. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
      in «LOGICAL METHODS IN COMPUTER SCIENCE»,
      vol. 11,
      n. 4,
      2015
    50. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
      in «INFORMATION AND COMPUTATION»,
      vol. 245,
      2015
      , pp. 54-
      71
    51. 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
    52. Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Rozier, Kristin Yvonne,
      Comparing Different Functional Allocations in Automated Air Traffic Control Design,
      Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2015,
      IEEE,
      2015
      , pp. 112-
      119
    53. Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang,
      Proceedings of ATVA,
      Springer,
      vol. 9364,
      2015
      , pp. 326-
      343
    54. Bozzano, M.; Cimatti, A.; Fernandes Pires, A.; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, S.,
      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
    55. Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano,
      Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings,
      vol. 9338,
      2015
      , pp. 264-
      276
    56. 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
    57. A. Cimatti;S. Mover;S. Tonetta,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      vol. 45,
      n. 2,
      2014
      , pp. 165-
      188
    58. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
      IC3 Modulo Theories via Implicit Predicate Abstraction,
      TACAS,
      Springer,
      vol. 8413,
      2014
      , pp. 46-
      61
    59. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
      13th International Conference on Space Operations 2014,
      2014
    60. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
      Solving strong controllability of temporal problems with uncertainty using SMT,
      in «CONSTRAINTS»,
      2014
    61. 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
    62. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
      Verifying LTL Properties of Hybrid Systems with K-Liveness,
      CAV,
      2014
      , pp. 424-
      440
    63. R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta,
      The nuXmv Symbolic Model Checker,
      CAV,
      2014
      , pp. 334-
      342
    64. M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
      Formal Safety Assessment via Contract-Based Design.,
      ATVA14,
      2014
      , pp. 81-
      97
    65. 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
    66. Cimatti A.; Hunsberger L.; Micheli A.; Roveri M.,
      Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
      AAAI Press,
      2014
      , pp. 2242-
      2249
    67. Cimatti A.; Hunsberger L.; Micheli A.; Posenato R; Roveri M.,
      Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation,
      Proceedings of the 21st International Symposium on Temporal Representation and Reasoning,
      IEEE,
      2014
      , pp. 27-
      36
    68. 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
    69. 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
    70. 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
    71. Laura Baracchi;Alessandro Cimatti;Gerald Garcia;Silvia Mazzini;Stefano Puri;Stefano Tonetta,
      Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach,
      Handbook of Research on Embedded Systems Design,
      2014
      , pp. 209-
      241
    72. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
      SMT-based scenario verification for hybrid systems,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      vol. 42,
      n. 1,
      2013
      , pp. 46-
      66
    73. 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
    74. Alessandro Cimatti;Iman Narasamdya;Marco Roveri,
      Software Model Checking SystemC,
      in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
      vol. 32,
      2013
      , pp. 774-
      787
    75. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
      AAAI,
      David Leake,
      2013
      , pp. 195-
      201
    76. Alessandro Cimatti;Alberto Griggio;Bastiaan Joost Schaafsma;Roberto Sebastiani,
      The MathSAT5 SMT Solver,
      in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
      Lecture Notes in Computer ScienceTools and Algorithms for the Construction and Analysis of Systems,
      vol. 7795,
      2013
      , pp. 93-
      107
    77. Alessandro Cimatti;Alberto Griggio;Bastiaan Joost Schaafsma;Roberto Sebastiani,
      A Modular Approach to MaxSAT Modulo Theories,
      in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
      Lecture Notes in Computer ScienceTheory and Applications of Satisfiability Testing – SAT 2013,
      vol. 7962,
      2013
      , pp. 150-
      165
    78. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
      AAAI Workshops,
      2013
    79. 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
    80. Mover S.; Cimatti A.; Tiwari A.; Tonetta S.,
      Time-aware Relational Abstractions for Hybrid Systems,
      Proceedings of the 13th International Conference on Embedded Software,
      2013
    81. Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
      Parameter Synthesis with IC3,
      Formal Methods in Computer-Aided Design,
      2013
    82. 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
    83. Cimatti A.; Dorigatti M.; Tonetta S.,
      OCRA: A tool for checking the refinement of temporal contracts,
      in «AUTOMATED SOFTWARE ENGINEERING»,
      ASE 2013,
      2013
      , pp. 702-
      705
    84. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
      Validation of Requirements for Hybrid Systems: a Formal Approach,
      in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY»,
      vol. 21,
      n. 4,
      2012
      , pp. 22:1-
      22:34
    85. 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
    86. Alessandro Cimatti; Alberto Griggio,
      Software Model Checking via IC3,
      Proceedings of Computer Aided Verification - 24th International Conference, CAV 2012,
      Springer,
      vol. 7358,
      2012
    87. Alessandro Cimatti; Raffaele Corvino; Armando Lazzaro; Iman Narasamdya; Tiziana Rizzo; Marco Roveri; Angela Sanseviero; Andrei Tchaltsev,
      Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System,
      CAV,
      Springer,
      vol. 7358,
      2012
      , pp. 378-
      393
    88. Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
      Verification of Parametric System Designs,
      2012
    89. Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
      Software Model Checking with Explicit Scheduler and Symbolic Threads,
      in «LOGICAL METHODS IN COMPUTER SCIENCE»,
      vol. 8,
      2012
      , pp. 1-
      42
    90. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
      Solving Temporal Problems using SMT: Weak Controllability,
      Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
      AAAI Press,
      2012
    91. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
      Solving Temporal Problems using SMT: Strong Controllability,
      Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming,
      2012
    92. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
      SMT-Based Verification of Hybrid Systems,
      2012
    93. A. Cimatti; S. Tonetta,
      A Property-Based Proof System for Contract-Based Design,
      2012
    94. A. Cimatti; S. Mover; S. Tonetta,
      Quantifier-free encoding of hybrid systems with non-linear dynamics,
      Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012),
      2012
    95. 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
    96. Alessandro Cimatti; Roberto Sebastiani,
      Theory and Applications of Satisfiability Testing – SAT 2012,
      in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
      Springer,
      vol. 7317,
      2012
    97. A. Cimatti,
      Formal Methods in Computer-Aided Design, FMCAD 2012,
      IEEE,
      2012
      , pp. 4-
    98. Robin Steel; Alexander Hoffman; Mark Niézette; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella,
      Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground,
      SpaceOps 2012 Conference,
      2012
    99. Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri,
      in «SOFTWARE AND SYSTEMS MODELING»,
      Springer Berlin / Heidelberg,
      vol. 10,
      n. 2,
      2011
      , pp. 147-
      160
    100. 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
    101. Alessandro Cimatti; Sergio Mover; Marco Roveri; Stefano Tonetta,
      From Sequential Extended Regular Expressions to NFA with Symbolic Labels,
      Proceedings of 15th Int. Conference on Implementation and Application of Automata,
      vol. 6482,
      2011
      , pp. 87-
      94
    102. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
      Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories,
      in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
      vol. 40,
      2011
      , pp. 701-
      728
    103. Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
      Boosting Lazy Abstraction for SystemC with Partial Order Reduction,
      Proceedings of 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
      vol. To appear,
      2011
    104. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
      Efficient Scenario VeriFIcation for Hybrid Automata,
      2011
    105. Alessandro Cimatti; Alberto Griggio; Andrea Micheli; Iman Narasamdya; Marco Roveri,
      2011
    106. 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
    107. Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
      2011
    108. A. Cimatti; S. Mover; S. Tonetta,
      Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems,
      FMCAD '11 Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
      IEEE,
      n. 11,
      2011
      , pp. 54-
      62
    109. 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
    110. Roberto Cavada; Alessandro Cimatti; Andrea Micheli; Marco Roveri; Angelo Susi; Stefano Tonetta,
      OthelloPlay: a plug-in based tool for requirement formalization and validation,
      Proceedings of the 1st Workshop on Developing Tools as Plug-ins,
      2011
      , pp. 59-
      59
    111. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
      HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction,
      2011
    112. 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
    113. Robin Steel; Alexander Hoffman; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella,
      Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead,
      International Workshop on Planning and Scheduling for Space, IWPSS 2011,
      2011
    114. Alessandro Cimatti; Anders Franzen; Alberto Griggio; Kalyanasundaram Krishnamani; Marco Roveri,
      Tighter Integration of BDD and SMT for Predicate Abstraction,
      Proceedings of the Design, Automation & Test in Europe,
      2010
      , pp. 1707-
      1712
    115. Alessandro Cimatti; Anders Franzén; Alberto Griggio; Roberto Sebastiani; Cristian Stenico,
      Satisfiability Modulo the Theory of Costs: Foundations and Applications,
      Proceedings of 16th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
      Springer,
      vol. 6015,
      2010
      , pp. 99-
      113
    116. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
      Formalization and Validation of Safety-Critical Requirements,
      Proceedings of the Workshop on Formal Methods for Aerospace,
      vol. 20,
      2010
      , pp. 68-
      75
    117. 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
    118. Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Koenighofer; Marco Roveri; Viktor Schuppan; Richard Seeber,
      RATSY - A new Requirements Analysis Tool with Synthesis,
      Proceedings of 22nd Int. Conference on Computer Aided Verification,
      Springer,
      vol. 6174,
      2010
      , pp. 425-
      429
    119. Lei Bu; Alessandro Cimatti; Xuandong Li; Sergio Mover; Stefano Tonetta,
      Model Checking of Hybrid Systems using Shallow Synchronization,
      Proceedings of 30th IFIP Int. Conference on FORmal TEchniques for Networked and Distributed Systems, part of DisCoTec'10,
      vol. 6117,
      2010
      , pp. 155-
      169
    120. Angelo Chiappini; Alessandro Cimatti; Luca Macchi; Oscar Rebollo; Marco Roveri; Angelo Susi; Stefano Tonetta; Berardino Vittorini,
      Formalization and validation of a subset of the European Train Control System,
      Proceedings of 32nd Int. Conference on Software Engineering,
      vol. 2,
      2010
      , pp. 109-
      118
    121. Alessandro Cimatti; Andrea Micheli; Iman Narasamdya; Marco Roveri,
      Verifying SystemC: a Software Model Checking Approach,
      Proceedings of the 10th Int. Conference on Formal Methods in Computer-Aided Design,
      2010
      , pp. 51-
      60
    122. Anders Franzen; Alessandro Cimatti; Alexander Nadel; Roberto Sebastiani; Jonathan Shalev,
      Applying SMT in Symbolic Execution of Microcode,
      Proceedings of 10th Int. Conference on Formal Methods in Computer-Aided Design,
      ACM Press, IEEE Press,
      2010
      , pp. 121-
      128
    123. Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive,
      Formal Verification and Validation of AADL Model,
      2010
    124. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
      Efficient generation of craig interpolants in satisfiability modulo theories,
      in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
      vol. 12,
      n. 1, article 7,
      2010
    125. Alessandro Cimatti,
      SPIN,
      Springer-Verlag,
      vol. 6349,
      2010
      , pp. 1-
      3
    126. Marco Roveri; Alessandro Cimatti; Iman Narasamdya; Andrea Micheli; Daniele Campana; Alberto Griggio; Andrei Tchaltsev,
      2010
    127. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer; Roberto Cavada,
      2010
    128. Thi Thieu Hoa Le; Luigi Palopoli; Roberto Passerone; Yusi Ramadian; Alessandro Cimatti,
      Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study,
      Proceedings of the 15th Int. Conference on Emerging Technologies and Factory Automation,
      2010
    129. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
      Interpolant Generation for UTVPI,
      Proceedings of the 22nd Int. Conference on Automated Deduction,
      Springer Verlag,
      vol. 5663,
      2009
      , pp. 167-
      182
    130. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
      Requirements Validation for Hybrid Systems,
      Proceedings 21st Int. Conference on Computer Aided Verification,
      Springer,
      vol. 5643,
      2009
      , pp. 188-
      203
    131. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani,
      Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version,
      in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
      Springer,
      vol. 55,
      n. 1-2,
      2009
      , pp. 66-
      99
    132. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
      Codesign of Dependable Systems: A Component-Based Language,
      2009
    133. 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
    134. Alessandro Cimatti; Jori Juhani Dubrovin; Tommi Antero Junttila; Marco Roveri,
      Proceedings of the Formal Methods in Computer Aided Design,
      2009
      , pp. 9-
      16
    135. Dirk Beyer; Alessandro Cimatti; Alberto Griggio; Erkan Keremoglu; Roberto Sebastiani,
      Software Model Checking via Large-Block Encoding,
      Proceedings of the 9th Conference on Formal Methods in Computer Aided Design,
      2009
    136. Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta,
      Supporting Requirements Validation: The EuRailCheck Tool,
      Proceedings of 24th Int. Conference Automated Software Engineering,
      2009
      , pp. 665-
      667
    137. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev,
      Workshop on Verification and Validation of Planning and Scheduling Systems,
      2009
      , pp. 1-
      10
    138. 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
    139. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
      2009
    140. Dirk Beyer; Alessandro Cimatti; Alberto Griggio; Erkan Keremoglu; Roberto Sebastiani,
      2009
    141. 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
    142. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
      Proceedings 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems,
      CEUR-WS.org,
      vol. 507,
      2009
      , pp. 87-
      91
    143. 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
    144. Marco Roveri; Alessandro Cimatti; Viktor Schuppan; Andrei Tchaltsev; Roberto Cavada,
      2009
    145. Alessandro Cimatti; Marco Pistore; Paolo Traverso,
      Automated Planning,
      Handbook of Knowledge Representation,
      Elsevier,
      2008
      , pp. 841-
      867
    146. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani,
      The MathSAT 4SMT Solver,
      Proceedings of the 20th Int. Conference on Computer Aided Verification,
      Springer-Verlag,
      vol. 5123,
      2008
      , pp. 299-
      303
    147. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
      Efficient Interpolant Generation in Satisfiability Modulo Theories,
      Proceedings of the 14th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems,
      Springer-Verlag,
      vol. 4963,
      2008
      , pp. 397-
      412
    148. Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev,
      Diagnostic Information for Realizability,
      Proceedings of 9th Int. Conference Verification, Model Checking, and Abstract Interpretation,
      Springer,
      vol. 4905,
      2008
      , pp. 52-
      67
    149. Alessandro Cimatti,
      Beyond Boolean SAT: Satisfiability Modulo Theories,
      Proceedings of the 9th Int. Workshop on Discrete Event Systems,
      IEEE Press,
      2008
      , pp. 68-
      73
    150. Alessandro Cimatti; Luigi Palopoli; Yusi Ramadian,
      Symbolic Computation of Schedulability Regions using parametric timed automata,
      Proceeding of the 29th IEEE Real-Time Systems Symposium,
      IEEE Computer Society,
      2008
      , pp. 80-
      89
    151. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
      Symbolic Compilation of PSL,
      in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
      IEEE,
      vol. 27,
      n. 10,
      2008
      , pp. 1737-
      1750
    152. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
      Object Models with Temporal Constraints,
      Proceedings 6th Int. Conference on Software Engineering and Formal Methods,
      2008
      , pp. 249-
      258
    153. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
      From Informal Requirements to Property-Driven Formal Validation,
      Proceedings of 13th Int. Workshop on Formal Methods for Industrial Critical Systems,
      Springer Verlag,
      vol. 5596,
      2008
      , pp. 166-
      181
    154. 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
    155. Alessandro Cimatti; Andrea Guiotto; Marco Roveri,
      On Board Model Checking for Space Applications,
      Proceedings of ESA Workshop on Avionics Data, Control and Software Systems,
      2008
      , pp. 10-
      11
    156. Alessandro Cimatti; Robert B. Jones,
      Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008,
      IEEE,
      2008
    157. Alessandro Cimatti; Marco Bozzano; Adolfo Villafiorita,
      2008
    158. 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
    159. Zvonimir Rakamaric; Roberto Bruttomesso; Alan J. Hu; Alessandro Cimatti,
      Verifying Heap-Manipulating Programs in an SMT Framework,
      5th Int. Symposium on Automated Technology for Verification and Analysis,
      Springer-Verlag,
      vol. 4762,
      2007
      , pp. 237-
      252
    160. Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta,
      Boolean Abstraction for Temporal Logic Satisfiability,
      Proceedings of 19th Int. Conference Computer Aided Verification,
      Springer,
      vol. 4590,
      2007
      , pp. 532-
      546
    161. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Ziyad Hanna; Alexander Nadel; Amit Palti; Roberto Sebastiani,
      A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems,
      Proceedings of the 19th Int. Conference on Computer aided verification,
      Springer-Verlag,
      vol. 4590,
      2007
      , pp. 547-
      560
    162. Roberto Cavada; Alessandro Cimatti; Anders Franzen; Kalyanasundaram Krishnamani; Marco Roveri; R. K. Shyamasundar,
      Computing Predicate Abstractions by Integrating BDDs and SMT Solvers,
      Proceedings of the Formal Methods in Computer Aided Design,
      2007
      , pp. 69-
      76
    163. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
      A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories,
      Proceedings of the 10th Int. Conference on Theory and Applications of Satisfiability Testing,
      Springer,
      vol. 4501,
      2007
      , pp. 334-
      339
    164. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
      Syntactic Optimizations for PSL Verification,
      Proceedings of 13th Int. Conference Tools and Algorithms for the Construction and Analysis of Systems,
      Springer,
      vol. 4424,
      2007
      , pp. 505-
      518
    165. Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri,
      Symbolic Implementation of Alternating Automata,
      in «INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE»,
      World Scientific Publishing,
      vol. 18,
      n. 4,
      2007
      , pp. 727-
      743
    166. 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
    167. Roberto Bruttomesso; Alessandro Cimatti; Roberto Sebasatiani; Alberto Griggio; Anders Franzen,
      2007
    168. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Roberto Sebastiani,
      Proceedings of 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
      vol. 144, issue 2,
      2006
      , pp. 3-
      14
    169. P. Bertoli; A. Cimatti; M. Roveri; P. Traverso,
      Strong Planning under Partial Observability,
      in «ARTIFICIAL INTELLIGENCE»,
      Elsevier,
      vol. 170,
      n. 4-5,
      2006
      , pp. 337-
      384
    170. Marco Bernardo; Alessandro Cimatti,
      Springer,
      vol. 3965,
      2006
    171. R. Bloem; A. Cimatti; I. Pill; M. Roveri; S. Semprini,
      Symbolic Implementation of Alternating Automata,
      Proceedings of 11th Int. Conference Implementation and Application of Automata,
      Springer,
      vol. 4094,
      2006
      , pp. 208-
      218
    172. I. Pill; S. Semprini; R. Cavada; M. Roveri; R. Bloem; A. Cimatti,
      Formal analysis of hardware requirements,
      Proceedings of 43rd annual Design Automation Conference,
      2006
      , pp. 821-
      826
    173. P. Bertoli; A. Cimatti; M. Pistore,
      Strong Cyclic Planning Under Partial Observability,
      Proceedings of 17th European Conference on Artificial Intelligence,
      2006
      , pp. 580-
      584
    174. Armando A.; Cimatti A.,
      Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning,
      in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
      Electronic Notes in Theoretical Computer Science -- Elsevier,
      vol. 144,
      n. 2,
      2006
    175. 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
    176. Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini; Andrei Tchaltsev,
      RAT: A tool for formal analysis of requirements,
      Demo Session of the 17th European Conference on Artificial Intelligence,
      2006
    177. Alessandro Cimatti; Marco Roveri; Simone Semprini; Stefano Tonetta,
      From PSL to NBA: a Modular Symbolic Encoding,
      Proceedings of 6th Int. Conference on Formal Methods in Computer Aided Design,
      2006
      , pp. 125-
      133
    178. Alessandro Cimatti; Roberto Sebastiani,
      Formal Methods for Hardware Verification,
      Springer,
      vol. 3965,
      2006
      , pp. 144-
      175
    179. Alessandro Armando; Alessandro Cimatti,
      Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005),
      Elsevier B.V.,
      vol. Volume 144, Issue 2,
      2006
      , pp. 1-
      2
    180. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore,
      Towards strong cyclic planning under partial observability,
      Proceedings of the 16th Int. Conference on Automated Planning and Scheduling,
      2006
      , pp. 354-
      357
    181. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Alessandro Santuari; Roberto Sebastiani,
      To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T),
      Proceedings of the 13th Int. Conference on 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning,
      2006
      , pp. 557-
      571
    182. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani,
      Springer Verlag,
      vol. 4246,
      2006
      , pp. 527-
      541
    183. 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
    184. 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
    185. M. Bozzano; R. Bruttomesso; A. Cimatti; T. Antero Junttila; S. Ranise; Rossum Peter van; R. Sebastiani,
      Efficient Theory Combination via Boolean Search,
      2005
    186. 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
    187. 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
    188. 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
    189. 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
    190. 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
    191. Marco Roveri; Alessandro Cimatti; Andrei Tchaltsev; Roberto Cavada; Simone Semprini; Roderick Bloem; Ingo Pill,
      RAT,
      2005
    192. P. Bertoli; A. Cimatti; P. Traverso,
      Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains,
      Proceedings of 16th Eureopean Conference on Artificial Intelligence,
      2004
      , pp. 657-
      661
    193. Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli,
      Conformant Planning via Symbolic Model Checking and Heuristic Search,
      in «ARTIFICIAL INTELLIGENCE»,
      vol. 159,
      n. 1-2,
      2004
      , pp. 127-
      206
    194. A. Cimatti; M. Roveri; D. Sheridan,
      Bounded Verification of Past LTL,
      Proceedings of 5th Int. Conference on Formal Methods in Computer-Aided Design,
      Springer,
      vol. 3312,
      2004
      , pp. 245-
      259
    195. M. Bozzano; A. Cimatti; G. Colombini; V. Kirov; R. Sebastiani,
      The MAthSAT Solver. A progress report,
      2004
    196. Marco Bozzano; R. Bruttomesso; A. Cimatti; R. Sebastiani,
      The MathSAT Solver - a comparative evaluation,
      2004
    197. F. Roelofsen; L. Serafini; A. Cimatti,
      Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems,
      Proceedings of 16th Eureopean Conference on Artificial Intelligence,
      2004
      , pp. 58-
      62
    198. 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
    199. Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
      Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking,
      in «ARTIFICIAL INTELLIGENCE»,
      Elsevier,
      vol. 147,
      n. 1-2,
      2003
    200. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Paolo Traverso,
      Proceedings of ICAPS`03 - 13th International Conference on Automated Planning and Scheduling,
      AAAI,
      2003
      , pp. 215-
      225
    201. Piergiorgio Bertoli; Alessandro Cimatti; Lago U. Dal; Marco Pistore,
      Extending PDDL to mondeterminism, limited sensing and iterative conditional plans,
      2003
    202. 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
    203. Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso,
      ICAPS`03 Workshop on Planning under Uncertainty and Incomplete Information,
      AAAI,
      2003
      , pp. 1-
      7
    204. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
      ICAPS`03: system demo session,
      2003
    205. Alessandro Cimatti; C. Pecheur; Roberto Cavada,
      Formal Verification of Diagnosability via Symbolic Model Checking,
      2003
    206. Piergiorgio Bertoli; Alessandro Cimatti; Lago U. Dal; Marco Pistore,
      ICAPS`03 Workshop on PDDL,
      2003
      , pp. 15-
      24
    207. Marco Benedetti; Alessandro Cimatti,
      Bounded Model Checking for past LTL,
      Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 9th International Conference, TACAS 2003,
      Springer,
      vol. 2619,
      2003
      , pp. 18-
      33
    208. Alessandro Cimatti; Charles Pecheur; Roberto Cavada,
      Formal Verification of Diagnosability via Symbolic Model Checking,
      IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence,
      Morgan Kaufmann,
      2003
      , pp. 363-
      369
    209. Armin Biere; Alessandro Cimatti; E.M. Clarke; Ofer Strichman; Yunshan Zhu,
      Bounded Model Checking,
      in «ADVANCES IN COMPUTERS»,
      Academic Press,
      vol. 58,
      n. ISBN 0-12-012158-1,
      2003
      , pp. 118-
      149
    210. Gilles Audemard; Marco Bozzano; Alessandro Cimatti; Roberto Sebastiani,
      CADE-19 Workshop: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR`03),
      2003
      , pp. 62-
      76
    211. Alessandro Cimatti; Marco Pistore; Marco Roveri; Roberto Sebastiani,
      Improving the encoding of LTL Model Checking into SAT,
      VMCAI-2002 Workshop on Verification Model Checking and Abstract Interpretation,
      Springer,
      vol. 2294,
      2002
      , pp. 196-
      207
    212. Gilles Audemard; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani,
      Bounded Model Checking for Timed Systems,
      Formal Techniques for Networked and Distributed Systems - FORTE 2002. Proceedings of the 22nd IFIP TC6 WG 6.1 International Conference,
      Springer,
      2002
      , pp. 243-
      259
    213. Alessandro Cimatti; E. Giunchiglia; Marco Roveri; Marco Pistore; Roberto Sebastiani; A. Tacchella,
      Integrating BDD-based and SAT-based Symbolic Model Checking,
      Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002,
      Springer,
      vol. 2309,
      2002
      , pp. 49-
      56
    214. Piergiorgio Bertoli; Alessandro Cimatti; J. Slaney; S. Thiebaux,
      Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking,
      15th Eureopean Conference on Artificial Intelligence (ECAI 2002),
      IOS Press,
      2002
      , pp. 576-
      580
    215. Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani,
      CADE-18 Conference on Automated Deduction,
      Springer,
      2002
      , pp. 195-
      210
    216. Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani,
      CALCULEMUS-2002, 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning,
      2002
      , pp. 157-
      192
    217. Alessandro Cimatti; E.M. Clarke; Enrico Giunchiglia; Fausto Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; A. Tacchella,
      NuSMV 2: An OpenSource Tool for Symbolic model Checking,
      CAV 2002, Conference on Computer-Aided Verification,
      Springer,
      vol. 2404,
      2002
      , pp. 359-
      364
    218. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Paolo Traverso,
      Electronic Proceedings of AIPS`02 Workshop on Planning via Model Checking,
      2002
    219. Marco Roveri; Alessandro Cimatti; Roberto Cavada; Andrei Tchaltsev; Andrea Micheli; Alessandro Mariotti; Sergio Mover; Marco Pensallorto; Armando Tacchella; Daniel Sheridan; Gavin Keighren; Tommi Junttila; Timo Latvala,
      2002
    220. Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli,
      Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking,
      Tools and Algorithms for the Construction and Analysis of Systems [TACAS 2001], Conference Proceedings,
      Springer,
      vol. 2031,
      2001
      , pp. 313-
      327
    221. Alessandro Cimatti,
      Industrial Applications of Model Checking,
      2001
    222. Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri,
      Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning,
      17th International Joint Conference on Artificial Intelligence, IJCAI 2001,
      Morgan Kaufmann,
      2001
      , pp. 467-
      472
    223. Alessandro Cimatti; E. Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; A. Tacchella,
      NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking,
      Proceedings of the IJCAR Workshop `Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics`,
      no publisher,
      2001
    224. Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri,
      Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space,
      Sixth European Conference on Planning [ECP-01],
      Springer,
      2001
      , pp. 379-
      384
    225. Massimo Benerecetti; Alessandro Cimatti,
      Symbolic model checking for multi-agent systems,
      Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA`01),
      2001
    226. Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso,
      IJCAI-2001 Workshop on Planning under Uncertainty and Incomplete Information (PRO-2),
      2001
    227. Piergiorgio Bertoli; Alessandro Cimatti,
      Improving Heuristics for Planning and Search in Belief Space,
      2001
    228. Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso,
      Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), Proceedings,
      Morgan Kaufmann,
      2001
      , pp. 473-
      478
    229. Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso,
      Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System,
      5th International Workshop on Formal Methods for Industrial Critical Systems [FMICS],
      2000
    230. Alessandro Cimatti; Marco Roveri,
      Conformant Planning via Symbolic Model Checking,
      in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
      AAAI Press,
      vol. 13,
      2000
      , pp. 305-
      338
    231. Alessandro Cimatti; Marco Roveri,
      Forward Conformant Planning via Symbolic Model Checking,
      AIPS 2000 Workshop on Model-Theoretic Approaches to Planning,
      2000
    232. Alessandro Cimatti; Luciano Serafini,
      A Context-Based Mechanization of Multi-Agent Reasoning,
      Formal Aspects of Context,
      Kluwer,
      vol. 20,
      2000
      , pp. 65-
      83
    233. V. Hartonas-Garmhausen; E.M. Clarke; S. Campos; Alessandro Cimatti; Fausto Giunchiglia,
      in «SCIENCE OF COMPUTER PROGRAMMING»,
      Elsevier,
      vol. 36,
      2000
      , pp. 53-
      64
    234. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
      NuSMV: a new symbolic model checker,
      in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
      Springer,
      2000
      , pp. 410-
      425
    235. Alessandro Cimatti; Marco Roveri,
      Conformant Planning via Model Checking,
      Fifth European Conference on Planning [ECP`99],
      Springer,
      2000
      , pp. 21-
      34
    236. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
      NuSMV: a New Symbolic Model Verifier,
      11th International Conference on Computer Aided Verification (CAV`99), Proceedings,
      Springer,
      1999
    237. Alessandro Cimatti; P.L. Pieraccini; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita,
      Formal Specification and validation of a Vital Communication Protocol,
      FM`99-Formal Methods, World Congress on Formal methods in the Development of Computing Systems,
      1999
      , pp. 1584-
      1604
    238. A. Chiappini; Alessandro Cimatti; C. Porzia; G. Rotondo; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita,
      18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999),
      Springer,
      vol. 1698,
      1999
      , pp. 410-
      419
    239. Alessandro Cimatti; Marco Roveri,
      Conformant Planning via Model Checking,
      Fifth European Conference on Planning [ECP`99],
      Springer,
      1999
    240. Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso; Adolfo Villafiorita,
      FLoC`99 Workshop on Run-Time Result Verification,
      1999
    241. Alessandro Cimatti; Fausto Giunchiglia; R.W. Weyhrauch,
      A Many Sorted Natural Deduction,
      in «COMPUTATIONAL INTELLIGENCE»,
      Blackwell Publishing,
      vol. 1,
      n. 14,
      1998
      , pp. 135-
      150
    242. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
      NuSMV: A Reimplementation of SMV,
      International Workshop on Software Tools for Technology Transfer (STTT-98),
      vol. NS-98-4,
      1998
      , pp. 25-
      31
    243. Alessandro Cimatti; Marco Roveri; Paolo Traverso,
      Fourth International Conference on Artificial Intelligence Planning Systems [AIPS-98],
      1998
    244. Alessandro Cimatti; Marco Roveri; Paolo Traverso,
      Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains,
      Fifteenth National Conference on Artificial Intelligence [AAAI 98],
      AAAI Press,
      1998
      , pp. 875-
      881
    245. Alessandro Cimatti; Roberto Sebastiani,
      Servizi forniti dagli strati Safety Layer e Connection Manager,
      1998
    246. Alessandro Cimatti; Roberto Sebastiani,
      Specifica formale dei protocolli Safety Layer e Connection Manager,
      1998
    247. Alessandro Cimatti; Roberto Sebastiani,
      Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL,
      1998
    248. Piergiorgio Bertoli; Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso,
      A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools,
      17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
      Springer,
      vol. 1516,
      1998
      , pp. 221-
      230
    249. Alessandro Cimatti; Fausto Giunchiglia; Marco Roveri,
      Abstraction in Planning via Model Checking,
      Symposium on Abstraction, Reformulation and Approximation (SARA 1998),
      1998
      , pp. 37-
      41
    250. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
      Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System,
      17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],
      Springer,
      vol. 1516,
      1998
      , pp. 284-
      295
    251. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
      in «FORMAL ASPECTS OF COMPUTING»,
      Springer,
      1998
      , pp. 361-
      380
    252. Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Paolo Traverso,
      4th European Conference on Planning [ECP`97],
      Springer,
      vol. 1348,
      1997
      , pp. 130-
      142
    253. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; B. Pietra; D. Romano; F. Torielli; Paolo Traverso,
      Formal Validation of an Interlocking System for Large Railway Stations: A Case Study,
      1997
    254. Alessandro Cimatti; Fausto Giunchiglia; P. Pecchiari; B. Pietra; J. Profeta; D. Romano; Paolo Traverso; B. Yu,
      A Provably Correct Embedded Verifier for the Certification of Safety Critical Software,
      Computer Aided Verification - 9th International Conference (CAV 1997),
      Springer,
      vol. 1254,
      1997
      , pp. 202-
      213
    255. Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Paolo Traverso,
      A Model Based Decision Procedure for Common Sense Temporal Reasoning,
      1997
    256. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
      Third International SPIN Workshop [SPIN97],
      1997
    257. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; B. Pietra; D. Romano; F. Torielli; Paolo Traverso,
      Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO,
      World Congress on Railway Research [WCRR`97],
      1997
      , pp. 467-
      473
    258. Piergiorgio Bertoli; Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso,
      Certification of Translators via Off-line and On-line Proof Logging and Checking,
      1997
    259. Alessandro Cimatti; Paolo Traverso,
      Computational Reflection via Mechanized Logical Deduction,
      in «INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS»,
      Wiley,
      vol. 11,
      n. 5,
      1996
      , pp. 279-
      293
    260. Enrico Giunchiglia; Alessandro Armando; Paolo Traverso; Alessandro Cimatti,
      Visual Representation of Natural Language Scene Descriptions,
      in «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS»,
      IEEE,
      vol. 26,
      n. 8,
      1996
      , pp. 279-
      293
    261. Paolo Bouquet; Alessandro Cimatti,
      Mechanizing Local Reasoning with Contexts,
      Working notes of the IJCAI-95 Workshop on ``Modelling Context in Knowledge Representation and Reasoning``,
      1996
      , pp. 13-
      23
    262. Alessandro Cimatti; Luciano Serafini,
      Mechanizing Multi-Agent Reasoning with Belief Contexts,
      Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
      Springer,
      1996
      , pp. 694-
      696
    263. Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
      Context-Based Formal Specification of Multi-Agent Systems,
      Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
      1996
      , pp. 295-
      307
    264. A. Armando; Alessandro Cimatti; E. Giunchiglia; P. Pecchiari; L. Spalazzi; Paolo Traverso,
      Flexible Planning by Integrating Multilevel Reasoning,
      in «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE»,
      Elsevier,
      vol. 4,
      1995
      , pp. 401-
      412
    265. Giuliano Antoniol; Bruno Caprile; Alessandro Cimatti; Roberto Fiutem,
      Experiencing Real-Life Interactions with the Mobile Platform of MAIA,
      The Biology and Technology of Intelligent Autonomous Agents: Proceedings of the NATO Advanced Study on the Biology and Technology of Intelligent Autonomous Agents,
      Springer,
      1995
      , pp. 296-
      311
    266. Alessandro Cimatti; Luciano Serafini,
      Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization,
      IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
      1995
      , pp. 35-
      45
    267. Alessandro Cimatti; Luciano Serafini,
      Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study,
      Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
      Springer,
      vol. 890,
      1995
      , pp. 71-
      85
    268. Alessandro Cimatti; Luciano Serafini,
      Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance,
      First International Conference on Multiagent Systems,
      MIT Press,
      1995
      , pp. 57-
      64
    269. Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Enrico Giunchiglia; Alessandro Armando,
      MRG: Building planners for real world complex applications,
      in «APPLIED ARTIFICIAL INTELLIGENCE»,
      Taylor and Francis,
      1994
      , pp. 333-
      357
    270. Fausto Giunchiglia; Alessandro Armando; Alessandro Cimatti; Paolo Traverso,
      First steps towards provably correct system synthesis of system code,
      CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
      1994
      , pp. 28-
      30
    271. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
      Valutazione del CBR-tool orientato all`help desk `Case Advisor`,
      1993
    272. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
      MRG: sistema di ragionamento,
      in «AUTOMAZIONE E STRUMENTAZIONE»,
      VNU Business Publications,
      vol. 9,
      1993
      , pp. 97-
      103
    273. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
      MRG: un nucleo di ragionamento per un sistema integrato multifunzionale,
      in «SISTEMI INTELLIGENTI»,
      il Mulino,
      vol. 3,
      1993
      , pp. 435-
      460
    274. Paolo Traverso; Luca Spalazzi; Alessandro Cimatti,
      A planning language and a semantics for real world autonomous agents,
      1993 Italian Planning Workshop,
      1993
    275. Paolo Traverso; Alessandro Cimatti; Luca Spalazzi,
      Beyond the single planning paradigm: introspective planning,
      10th European Conference on Artificial Intelligence (ECAI 1992),
      Wiley,
      1992
      , pp. 643-
      647
    276. Luca Spalazzi; Alessandro Cimatti; Paolo Traverso,
      Implementing planning as tactical reasoning,
      3rd Annual Conference on Artificial Intelligence, Simulation & Planning in High Autonomy Systems (AIS`92),
      IEEE Computer Society,
      1992
      , pp. 80-
      85
    277. Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Enrico Giunchiglia,
      Building planners with explicit control mechanism,
      2nd International Symposium on Artificial Intelligence and Mathematics (ISAI 1992),
      AAAI Press,
      1992
      , pp. 195-
      202
    278. Alessandro Cimatti; Paolo Traverso; Luca Spalazzi,
      Programming Planners with Flexible Architectures,
      AI and Cognitive Science `92,
      Springer Verlag,
      1992
      , pp. 311-
      314
    279. Alessandro Cimatti; Paolo Traverso; Sandro Dalbosco; Alessandro Armando,
      Navigation by Combining Reactivity and Planning,
      Intelligent Vechicles `92 Symposium,
      IEEE Industrial Electronics,
      1992
      , pp. 265-
      270
    280. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Paolo Pecchiari,
      A System for Multi-Level Reasoning,
      IMSA `92, International Workshop on New Models for Software Architecture,
      1992
      , pp. 190-
      195
    281. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi,
      Tactics: extending the notion of plan,
      ECAI-92 Workshop `Beyond Sequential Planning`,
      1992
    282. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
      Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento,
      Automation 1992, 36th ANIPLA Conference,
      Pirella,
      1992
      , pp. 620-
      633
    283. Fausto Giunchiglia; Alessandro Cimatti; Sandro Dalbosco; Paolo Traverso; Luca Spalazzi,
      MRG: un sistema di ragionamento distribuito per applicazioni complesse,
      Atti seconda giornata di lavoro del gruppo Intelligenza Artificiale Distribuita (DAI) dell`AI*IA,
      1992