Publications

  1. Cimatti Alessandro; Roveri Marco, Conformant Planning via Symbolic Model Checking, in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», vol. 13, 2000, pp. 305-338, ISSN: 1076-9757, AAAI Press
  2. Cimatti Alessandro; E. M. Clarke; Fausto Giunchiglia; Roveri Marco, NuSMV: a New Symbolic Model Verifier, 11th International Conference on Computer Aided Verification (CAV`99), Proceedings, 1999, Springer
  3. Cimatti Alessandro; P. L. Pieraccini; Sebastiani Roberto; Traverso Paolo; Villafiorita Monteleone Adolfo, 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
  4. A. Chiappini; Cimatti Alessandro; C. Porzia; G. Rotondo; Sebastiani Roberto; Traverso Paolo; Villafiorita Monteleone Adolfo, Formal Specification and Development of a Safety-Critical Train Management, 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999), vol. 1698, 1999, pp. 410-419, Springer
  5. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 1999, Springer
  6. Matassoni Marco; Omologo Maurizio; Cristoforetti Luca; Giuliani Diego; Svaizer Piergiorgio; Trentin Edmondo; E. Zovato, Some results on the development of a hands-free speech recognizer for car-environment, IEEE Workshop on Automatic Speech Recognition and Understanding, 1999
  7. Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo; Villafiorita Monteleone Adolfo, Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study, FLoC`99 Workshop on Run-Time Result Verification, 1999
  8. Omologo Maurizio; Cristoforetti Luca, The Italian in-car database: design and contents, 1999
  9. Cimatti Alessandro; Giunchiglia Fausto; R. W. Weyhrauch, A Many Sorted Natural Deduction, in «COMPUTATIONAL INTELLIGENCE», vol. 1, n. 14, 1998, pp. 135-150, ISSN: 0824-7935, Blackwell Publishing
  10. Cimatti Alessandro; E. M. Clarke; Giunchiglia Fausto; Roveri Marco, NuSMV: A Reimplementation of SMV, International Workshop on Software Tools for Technology Transfer (STTT-98), vol. NS-98-4, 1998, pp. 25-31
  11. Cimatti Alessandro; Roveri Marco; Traverso Paolo, Strong Planning in Non-Deterministic Domains via Model Checking, Fourth International Conference on Artificial Intelligence Planning Systems [AIPS-98], 1998
  12. G. Antoniol; R. Fiutem; Cristoforetti Luca, Design Pattern Recovery in Object-Oriented Software, Proceedings of the Sixth International Workshop on Program Comprehension [IWCP 98], 1998, pp. 153-160, IEEE
  13. A. Antoniol; F. Calzolari; Cristoforetti Luca; R. Fiutem; G. Caldiera, Adapting Function Points to Objects Oriented Information Systems, Proceedings of 10th International Conference on Advanced Information Systems Engineering [CAISE-98], 1998, pp. 59-76, Springer
  14. Cimatti Alessandro; Roveri Marco; Traverso Paolo, Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains, Fifteenth National Conference on Artificial Intelligence [AAAI 98], 1998, pp. 875-881, AAAI Press
  15. Cristoforetti Luca, Riconoscimento di Design Pattern in modelli ad oggetti, 1998
  16. G. Antoniol; R. Fiutem; Cristoforetti Luca, Using Metrics to identify Design Patterns in Object-Oriented Software, Proceedings of Fifth International Software Metrics Symposium [METRICS `98], 1998, pp. 23-34, IEEE
  17. Cimatti Alessandro; Sebastiani Roberto, Servizi forniti dagli strati Safety Layer e Connection Manager, 1998
  18. Cimatti Alessandro; Sebastiani Roberto, Specifica formale dei protocolli Safety Layer e Connection Manager, 1998
  19. Cimatti Alessandro; Sebastiani Roberto, Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL, 1998
  20. G. Antoniol; R. Fiutem; Cristoforetti Luca, Object-Oriented Design Patterns Recovery, 1998
  21. Bertoli Piergiorgio; Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo, 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], vol. 1516, 1998, pp. 221-230, Springer
  22. Cimatti Alessandro; Giunchiglia Fausto; Roveri Marco, Abstraction in Planning via Model Checking, Symposium on Abstraction, Reformulation and Approximation (SARA 1998), 1998, pp. 37-41
  23. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, 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], vol. 1516, 1998, pp. 284-295, Springer
  24. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Formal Verification of a Railway Interlocking System Using Model Checking, in «FORMAL ASPECTS OF COMPUTING», 1998, pp. 361-380, ISSN: 0934-5043, Springer
  25. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; B. Pietra; D. Romano; F. Torielli; Traverso Paolo, Formal Validation of an Interlocking System for Large Railway Stations: A Case Study, 1997
  26. Cimatti Alessandro; Giunchiglia Fausto; P. Pecchiari; B. Pietra; J. Profeta; D. Romano; Traverso Paolo; B. Yu, A Provably Correct Embedded Verifier for the Certification of Safety Critical Software, Computer Aided Verification - 9th International Conference (CAV 1997), vol. 1254, 1997, pp. 202-213, Springer
  27. Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Traverso Paolo, A Model Based Decision Procedure for Common Sense Temporal Reasoning, 1997
  28. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System, Third International SPIN Workshop [SPIN97], 1997
  29. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; B. Pietra; D. Romano; F. Torielli; Traverso Paolo, 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
  30. Bertoli Piergiorgio; Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo, Certification of Translators via Off-line and On-line Proof Logging and Checking, 1997
  31. Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Traverso Paolo, Planning via Model Checking: A Decision Procedure for AR, 4th European Conference on Planning [ECP`97], vol. 1348, 1997, pp. 130-142, Springer
  32. Bouquet Paolo; Cimatti Alessandro, Mechanizing Local Reasoning with Contexts, Working notes of the IJCAI-95 Workshop on ``Modelling Context in Knowledge Representation and Reasoning``, 1996, pp. 13-23
  33. Cimatti Alessandro; Serafini Luciano, Mechanizing Multi-Agent Reasoning with Belief Contexts, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96], 1996, pp. 694-696, Springer
  34. Massimo Benerecetti; Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Serafini Luciano, 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
  35. Cimatti Alessandro; Traverso Paolo, Computational Reflection via Mechanized Logical Deduction, in «INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS», vol. 11, n. 5, 1996, pp. 279-293, ISSN: 0884-8173, Wiley
  36. Enrico Giunchiglia; Armando Alessandro; Traverso Paolo; Cimatti Alessandro, Visual Representation of Natural Language Scene Descriptions, in «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS», vol. 26, n. 8, 1996, pp. 279-293, ISSN: 1083-4427, IEEE
  37. Giuliano Antoniol; Caprile Bruno Giovanni; Cimatti Alessandro; 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, 1995, pp. 296-311, Springer
  38. Cimatti Alessandro; Serafini Luciano, 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
  39. Cimatti Alessandro; Serafini Luciano, Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study, Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, vol. 890, 1995, pp. 71-85, Springer
  40. Cimatti Alessandro; Serafini Luciano, Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance, First International Conference on Multiagent Systems, 1995, pp. 57-64, MIT Press
  41. Armando Alessandro; Cimatti Alessandro; E. Giunchiglia; P. Pecchiari; L. Spalazzi; Traverso Paolo, Flexible Planning by Integrating Multilevel Reasoning, in «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE», vol. 4, 1995, pp. 401-412, ISSN: 0952-1976, Elsevier
  42. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Enrico Giunchiglia; Armando Alessandro, MRG: Building planners for real world complex applications, in «APPLIED ARTIFICIAL INTELLIGENCE», 1994, pp. 333-357, ISSN: 0883-9514, Taylor and Francis
  43. Giunchiglia Fausto; Armando Alessandro; Cimatti Alessandro; Traverso Paolo, 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
  44. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Valutazione del CBR-tool orientato all`help desk `Case Advisor`, 1993
  45. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari, MRG: sistema di ragionamento, in «AUTOMAZIONE E STRUMENTAZIONE», vol. 9, 1993, pp. 97-103, ISSN: 0005-1284, VNU Business Publications
  46. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Armando Alessandro; Paolo Pecchiari, MRG: un nucleo di ragionamento per un sistema integrato multifunzionale, in «SISTEMI INTELLIGENTI», vol. 3, 1993, pp. 435-460, ISSN: 1120-9550, il Mulino
  47. Traverso Paolo; Luca Spalazzi; Cimatti Alessandro, A planning language and a semantics for real world autonomous agents, 1993 Italian Planning Workshop, 1993
  48. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi, Beyond the single planning paradigm: introspective planning, 10th European Conference on Artificial Intelligence (ECAI 1992), 1992, pp. 643-647, Wiley
  49. Luca Spalazzi; Cimatti Alessandro; Traverso Paolo, Implementing planning as tactical reasoning, 3rd Annual Conference on Artificial Intelligence, Simulation & Planning in High Autonomy Systems (AIS`92), 1992, pp. 80-85, IEEE Computer Society
  50. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Enrico Giunchiglia, Building planners with explicit control mechanism, 2nd International Symposium on Artificial Intelligence and Mathematics (ISAI 1992), 1992, pp. 195-202, AAAI Press

Recent Posts