Publications

  1. Bozzano Marco; A. Cavallo; M. Cifaldi; L. Valacca; Villafiorita Monteleone Adolfo, Improving Safety Assessment of Complex Systems: An Industrial case study, 2003
  2. Bozzano Marco; Villafiorita Monteleone Adolfo, Integrating Fault Tree Analysis with Event Ordering Information, :Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003, 2003
  3. Bozzano Marco; Villafiorita Monteleone Adolfo; O. Akerlund; P. Bieber; C. Bougnol; E. Boede; M. Bretschneider; A. Cavallo; C. Castel; M. Cifaldi; Cimatti Alessandro; A. Griffault; C. Kehren; B. Lawrence; A. Luedtke; S. Metge; C. Papadopoulos; R. Passarello; T. Peikenkamp; P. Persson; C. Seguin; L. Trotta; L. Villafiorita A. Valacca; Zacco Gabriele, ESACS: an integrated methodology for design and safety analysis of complex systems, Safety & Reliability - ESREL 2003 - Proceedings of the European Safety and Reliability Conference 2003, 2003, Balkema
  4. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio, In-car speech interaction by means of multiple recognition units, DSP in Mobile and Vehicular Systems, 2003, pp. 1-4
  5. Coletti Paolo; Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio, Developing a speech interaction system for the car, International Conference on Human Aspects of Advanced Manufacturing, 2003, pp. 1-5
  6. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio, Use of parallel recognizers for robust in-car speech interaction, 2003
  7. Bertoli Piergiorgio; Cimatti Alessandro; Traverso Paolo, Interleaving Execution and Planning via Symbolic Model Checking, ICAPS`03 Workshop on Planning under Uncertainty and Incomplete Information, 2003, pp. 1-7, AAAI
  8. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, MBP: A Model Based Planner, ICAPS`03: system demo session, 2003
  9. Cimatti Alessandro; C. Pecheur; Cavada Roberto, Formal Verification of Diagnosability via Symbolic Model Checking, 2003
  10. Bozzano Marco; Delzanno Giorgio, Beyond parameterized verification, International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2002: Tools and Algorithms for the Construction and Analysis of Systems, vol. 2280, 2002, pp. 221-235, DOI: 10.1007/3-540-46002-0_16, Springer
  11. Bozzano Marco; Delzanno Giorgio, Algorithmic Verification of Invalidation-Based Protocols, Computer Aided Verification, vol. 2404, 2002, pp. 295-308, DOI: 10.1007/3-540-45657-0_22, Spinger
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. Massimo Benerecetti; Cimatti Alessandro, Symbolic model checking for multi-agent systems, Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA`01), 2001
  32. 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
  33. Bertoli Piergiorgio; Cimatti Alessandro, Improving Heuristics for Planning and Search in Belief Space, 2001
  34. Cristoforetti Luca; Omologo Maurizio, Annotazione dei file raccolti nel progetto SpeechDatCar/VODIS-II, 2000
  35. Cimatti Alessandro; Serafini Luciano, A Context-Based Mechanization of Multi-Agent Reasoning, Formal Aspects of Context, vol. 20, 2000, pp. 65-83, Kluwer
  36. Cimatti Alessandro; Roveri Marco, Forward Conformant Planning via Symbolic Model Checking, AIPS 2000 Workshop on Model-Theoretic Approaches to Planning, 2000
  37. 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
  38. 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
  39. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 2000, pp. 21-34, Springer
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 1999, Springer
  47. 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
  48. 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
  49. Omologo Maurizio; Cristoforetti Luca, The Italian in-car database: design and contents, 1999
  50. 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

Recent Posts