Publications

  1. Cimatti Alessandro; E. Giunchiglia; Roveri Marco; Pistore Marco; Sebastiani Roberto; A. Tacchella, Integrating BDD-based and SAT-based Symbolic Model Checking, Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, vol. 2309, 2002, pp. 49-56, Springer
  2. Bertoli Piergiorgio; Cimatti Alessandro; J. Slaney; S. Thiebaux, Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking, 15th Eureopean Conference on Artificial Intelligence (ECAI 2002), 2002, pp. 576-580, IOS Press
  3. Audemard Gilles; Bertoli Piergiorgio; Cimatti Alessandro; Kornilowicz Artur; Sebastiani Roberto, A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions, CADE-18 Conference on Automated Deduction, 2002, pp. 195-210, Springer
  4. Audemard Gilles; Bertoli Piergiorgio; Cimatti Alessandro; Kornilowicz Artur; Sebastiani Roberto, Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements, CALCULEMUS-2002, 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2002, pp. 157-192
  5. Bozzano Marco; G. Delzanno, Automated Protocol Verification in Linear Logic, Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming [PPDP 2002], 2002
  6. Cimatti Alessandro; E. M. Clarke; Enrico Giunchiglia; Fausto Giunchiglia; Pistore Marco; Roveri Marco; Roberto Sebastiani; A. Tacchella, NuSMV 2: An OpenSource Tool for Symbolic model Checking, CAV 2002, Conference on Computer-Aided Verification, vol. 2404, 2002, pp. 359-364, Springer
  7. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Traverso Paolo, Plan Validation for Extended Goals under Partial Observability (preliminary report), Electronic Proceedings of AIPS`02 Workshop on Planning via Model Checking, 2002
  8. Cimatti Alessandro; Roveri Marco; Bertoli Piergiorgio, 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, vol. 2031, 2001, pp. 313-327, Springer
  9. Cimatti Alessandro, Industrial Applications of Model Checking, Modeling and Verification of Parallel Processes, vol. 2067, 2001, pp. 153-168, DOI: 10.1007/3-540-45510-8_6
  10. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio; E. Zovato, Un riconoscitore vocale per la telefonia viva-voce in automobile, Multimodalità e Multimedialità nella Comunicazione. Atti delle XI Giornate di Studio del Gruppo di Fonetica Sperimentale (A.I.A.), 2001, pp. 209-214
  11. Bozzano Marco; Delzanno Giorgio; Martelli Maurizio, On the Relations between Disjunctive and Linear Logic Programming, in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», vol. 48, 2001, pp. 65-89, DOI: 10.1016/S1571-0661(04)00150-1, ISSN: 1571-0661
  12. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco, Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning, 17th International Joint Conference on Artificial Intelligence, IJCAI 2001, 2001, pp. 467-472, Morgan Kaufmann
  13. Cimatti Alessandro; E. Giunchiglia; Pistore Marco; Roveri Marco; Sebastiani Roberto; 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`, 2001, no publisher
  14. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco, Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space, Sixth European Conference on Planning [ECP-01], 2001, pp. 379-384, Springer
  15. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco; Traverso Paolo, Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking, Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), Proceedings, 2001, pp. 473-478, Morgan Kaufmann
  16. Massimo Benerecetti; Cimatti Alessandro, Symbolic model checking for multi-agent systems, Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA`01), 2001
  17. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, MBP: a Model Based Planner, IJCAI-2001 Workshop on Planning under Uncertainty and Incomplete Information (PRO-2), 2001
  18. Bertoli Piergiorgio; Cimatti Alessandro, Improving Heuristics for Planning and Search in Belief Space, 2001
  19. Cristoforetti Luca; Omologo Maurizio, Annotazione dei file raccolti nel progetto SpeechDatCar/VODIS-II, 2000
  20. Cimatti Alessandro; Serafini Luciano, A Context-Based Mechanization of Multi-Agent Reasoning, Formal Aspects of Context, vol. 20, 2000, pp. 65-83, Kluwer
  21. Cimatti Alessandro; Roveri Marco, Forward Conformant Planning via Symbolic Model Checking, AIPS 2000 Workshop on Model-Theoretic Approaches to Planning, 2000
  22. V. Hartonas Garmhausen; E. M. Clarke; S. Campos; Cimatti Alessandro; Giunchiglia Fausto, Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints, in «SCIENCE OF COMPUTER PROGRAMMING», vol. 36, 2000, pp. 53-64, ISSN: 0167-6423, Elsevier
  23. Bertoli Piergiorgio; Cimatti Alessandro; Traverso Paolo, 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
  24. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio; Enrico Zovato, Annotation of a multichannel noisy speech corpus, International Conference on Language Resources and Evaluation (LREC 2000), 2000, pp. 1547-1550
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. Cristoforetti Luca, Riconoscimento di Design Pattern in modelli ad oggetti, 1998
  33. 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
  34. Cimatti Alessandro; Sebastiani Roberto, Servizi forniti dagli strati Safety Layer e Connection Manager, 1998
  35. Cimatti Alessandro; Sebastiani Roberto, Specifica formale dei protocolli Safety Layer e Connection Manager, 1998
  36. Cimatti Alessandro; Sebastiani Roberto, Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL, 1998
  37. 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
  38. 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
  39. 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
  40. Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Traverso Paolo, A Model Based Decision Procedure for Common Sense Temporal Reasoning, 1997
  41. 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
  42. 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
  43. Bertoli Piergiorgio; Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo, Certification of Translators via Off-line and On-line Proof Logging and Checking, 1997
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts