Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Cristoforetti Luca, Riconoscimento di Design Pattern in modelli ad oggetti, 1998
  7. 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
  8. Cimatti Alessandro; Sebastiani Roberto, Servizi forniti dagli strati Safety Layer e Connection Manager, 1998
  9. Cimatti Alessandro; Sebastiani Roberto, Specifica formale dei protocolli Safety Layer e Connection Manager, 1998
  10. Cimatti Alessandro; Sebastiani Roberto, Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL, 1998
  11. G. Antoniol; R. Fiutem; Cristoforetti Luca, Object-Oriented Design Patterns Recovery, 1998
  12. 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
  13. Cimatti Alessandro; Giunchiglia Fausto; Roveri Marco, Abstraction in Planning via Model Checking, Symposium on Abstraction, Reformulation and Approximation (SARA 1998), 1998, pp. 37-41
  14. 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
  15. 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
  16. 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
  17. 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
  18. Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Traverso Paolo, A Model Based Decision Procedure for Common Sense Temporal Reasoning, 1997
  19. 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
  20. 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
  21. Bertoli Piergiorgio; Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo, Certification of Translators via Off-line and On-line Proof Logging and Checking, 1997
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. Cimatti Alessandro; Serafini Luciano, Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance, First International Conference on Multiagent Systems, 1995, pp. 57-64, MIT Press
  32. 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
  33. 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
  34. 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
  35. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Valutazione del CBR-tool orientato all`help desk `Case Advisor`, 1993
  36. 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
  37. 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
  38. Traverso Paolo; Luca Spalazzi; Cimatti Alessandro, A planning language and a semantics for real world autonomous agents, 1993 Italian Planning Workshop, 1993
  39. 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
  40. 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
  41. 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
  42. Cimatti Alessandro; Traverso Paolo; Luca Spalazzi, Programming Planners with Flexible Architectures, AI and Cognitive Science `92, 1992, pp. 311-314, Springer Verlag
  43. Cimatti Alessandro; Traverso Paolo; Sandro Dalbosco; Armando Alessandro, Navigation by Combining Reactivity and Planning, Intelligent Vechicles `92 Symposium, 1992, pp. 265-270, IEEE Industrial Electronics
  44. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Paolo Pecchiari, A System for Multi-Level Reasoning, IMSA `92, International Workshop on New Models for Software Architecture, 1992, pp. 190-195
  45. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi, Tactics: extending the notion of plan, ECAI-92 Workshop `Beyond Sequential Planning`, 1992
  46. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Armando Alessandro; Paolo Pecchiari, Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento, Automation 1992, 36th ANIPLA Conference, 1992, pp. 620-633, Pirella
  47. Giunchiglia Fausto; Cimatti Alessandro; Sandro Dalbosco; Traverso Paolo; 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

Recent Posts