Publications

  1. Bozzano Marco; Delzanno Giorgio; Martelli Maurizio, An effective fixpoint semantics for linear logic programs, in «THEORY AND PRACTICE OF LOGIC PROGRAMMING», vol. 2, n. 01, 2002, pp. 85-122, DOI: 10.1017/S1471068402001254, ISSN: 1471-0684
  2. Roveri Marco; Cimatti Alessandro; Cavada Roberto; Tchaltsev Andrei; Micheli Andrea; Mariotti Alessandro; Mover Sergio; Marco Pensallorto; Armando Tacchella; Daniel Sheridan; Gavin Keighren; Tommi Junttila; Timo Latvala, NuSMV, 2002
  3. Cimatti Alessandro; Pistore Marco; Roveri Marco; Sebastiani Roberto, Improving the encoding of LTL Model Checking into SAT, VMCAI-2002 Workshop on Verification Model Checking and Abstract Interpretation, vol. 2294, 2002, pp. 196-207, Springer
  4. Audemard Gilles; Cimatti Alessandro; Kornilowicz Artur; Sebastiani Roberto, 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, 2002, pp. 243-259, Springer
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. Massimo Benerecetti; Cimatti Alessandro, Symbolic model checking for multi-agent systems, Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA`01), 2001
  21. 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
  22. Bertoli Piergiorgio; Cimatti Alessandro, Improving Heuristics for Planning and Search in Belief Space, 2001
  23. Cristoforetti Luca; Omologo Maurizio, Annotazione dei file raccolti nel progetto SpeechDatCar/VODIS-II, 2000
  24. Cimatti Alessandro; Serafini Luciano, A Context-Based Mechanization of Multi-Agent Reasoning, Formal Aspects of Context, vol. 20, 2000, pp. 65-83, Kluwer
  25. Cimatti Alessandro; Roveri Marco, Forward Conformant Planning via Symbolic Model Checking, AIPS 2000 Workshop on Model-Theoretic Approaches to Planning, 2000
  26. 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
  27. 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
  28. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 2000, pp. 21-34, Springer
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 1999, Springer
  36. 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
  37. 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
  38. Omologo Maurizio; Cristoforetti Luca, The Italian in-car database: design and contents, 1999
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. Cristoforetti Luca, Riconoscimento di Design Pattern in modelli ad oggetti, 1998
  46. 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
  47. Cimatti Alessandro; Sebastiani Roberto, Servizi forniti dagli strati Safety Layer e Connection Manager, 1998
  48. Cimatti Alessandro; Sebastiani Roberto, Specifica formale dei protocolli Safety Layer e Connection Manager, 1998
  49. Cimatti Alessandro; Sebastiani Roberto, Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL, 1998
  50. G. Antoniol; R. Fiutem; Cristoforetti Luca, Object-Oriented Design Patterns Recovery, 1998

Recent Posts