Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. Massimo Benerecetti; Cimatti Alessandro, Symbolic model checking for multi-agent systems, Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA`01), 2001
  16. 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
  17. Bertoli Piergiorgio; Cimatti Alessandro, Improving Heuristics for Planning and Search in Belief Space, 2001
  18. Cristoforetti Luca; Omologo Maurizio, Annotazione dei file raccolti nel progetto SpeechDatCar/VODIS-II, 2000
  19. Cimatti Alessandro; Serafini Luciano, A Context-Based Mechanization of Multi-Agent Reasoning, Formal Aspects of Context, vol. 20, 2000, pp. 65-83, Kluwer
  20. Cimatti Alessandro; Roveri Marco, Forward Conformant Planning via Symbolic Model Checking, AIPS 2000 Workshop on Model-Theoretic Approaches to Planning, 2000
  21. 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
  22. Cimatti Alessandro; E. M. Clarke; Giunchiglia Fausto; Roveri Marco, NuSMV: a new symbolic model checker, in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER», 2000, pp. 410-425, ISSN: 1433-2779, Springer
  23. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 2000, pp. 21-34, Springer
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 1999, Springer
  31. 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
  32. 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
  33. Omologo Maurizio; Cristoforetti Luca, The Italian in-car database: design and contents, 1999
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. Cristoforetti Luca, Riconoscimento di Design Pattern in modelli ad oggetti, 1998
  41. 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
  42. Cimatti Alessandro; Sebastiani Roberto, Servizi forniti dagli strati Safety Layer e Connection Manager, 1998
  43. Cimatti Alessandro; Sebastiani Roberto, Specifica formale dei protocolli Safety Layer e Connection Manager, 1998
  44. Cimatti Alessandro; Sebastiani Roberto, Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL, 1998
  45. G. Antoniol; R. Fiutem; Cristoforetti Luca, Object-Oriented Design Patterns Recovery, 1998
  46. 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
  47. Cimatti Alessandro; Giunchiglia Fausto; Roveri Marco, Abstraction in Planning via Model Checking, Symposium on Abstraction, Reformulation and Approximation (SARA 1998), 1998, pp. 37-41
  48. 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
  49. 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
  50. 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

Recent Posts