Publications

  1. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio, Use of parallel recognizers for robust in-car speech interaction, IEEE International Conference on Acoustic, Speech, and Signal Processing (ICASSP 2003), 2003, pp. 320-323, IEEE
  2. Benedetti Marco; Cimatti Alessandro, Bounded Model Checking for past LTL, Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 9th International Conference, TACAS 2003, vol. 2619, 2003, pp. 18-33, Springer
  3. Cimatti Alessandro; Charles Pecheur; Cavada Roberto, Formal Verification of Diagnosability via Symbolic Model Checking, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, 2003, pp. 363-369, Morgan Kaufmann
  4. Armin Biere; Cimatti Alessandro; E. M. Clarke; Ofer Strichman; Yunshan Zhu, Bounded Model Checking, in «ADVANCES IN COMPUTERS», vol. 58, n. ISBN 0-12-012158-1, 2003, pp. 118-149, ISSN: 0065-2458, Academic Press
  5. Audemard Gilles; Bozzano Marco; Cimatti Alessandro; Sebastiani Roberto, Verifying Industrial Hybrid Systems with MathSAT, CADE-19 Workshop: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR`03), 2003, pp. 62-76
  6. Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking, in «ARTIFICIAL INTELLIGENCE», vol. 147, n. 1-2, 2003, ISSN: 0004-3702, Elsevier
  7. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Traverso Paolo, A Framework for Planning with Extended Goals under Partial Observability, Proceedings of ICAPS`03 - 13th International Conference on Automated Planning and Scheduling, 2003, pp. 215-225, AAAI
  8. Bertoli Piergiorgio; Cimatti Alessandro; Lago U. Dal; Pistore Marco, Extending PDDL to mondeterminism, limited sensing and iterative conditional plans, 2003
  9. Bozzano Marco; Villafiorita Monteleone Adolfo, Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform, 2003
  10. Bozzano Marco; A. Cavallo; M. Cifaldi; L. Valacca; Villafiorita Monteleone Adolfo, Improving Safety Assessment of Complex Systems: An Industrial case study, 2003
  11. 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
  12. 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
  13. 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
  14. 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
  15. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio, Use of parallel recognizers for robust in-car speech interaction, 2003
  16. 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
  17. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, MBP: A Model Based Planner, ICAPS`03: system demo session, 2003
  18. Cimatti Alessandro; C. Pecheur; Cavada Roberto, Formal Verification of Diagnosability via Symbolic Model Checking, 2003
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. Massimo Benerecetti; Cimatti Alessandro, Symbolic model checking for multi-agent systems, Second Workshop on Computational Logic in Multi-Agent Systems (CLIMA`01), 2001
  41. 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
  42. Bertoli Piergiorgio; Cimatti Alessandro, Improving Heuristics for Planning and Search in Belief Space, 2001
  43. Cristoforetti Luca; Omologo Maurizio, Annotazione dei file raccolti nel progetto SpeechDatCar/VODIS-II, 2000
  44. Cimatti Alessandro; Serafini Luciano, A Context-Based Mechanization of Multi-Agent Reasoning, Formal Aspects of Context, vol. 20, 2000, pp. 65-83, Kluwer
  45. Cimatti Alessandro; Roveri Marco, Forward Conformant Planning via Symbolic Model Checking, AIPS 2000 Workshop on Model-Theoretic Approaches to Planning, 2000
  46. 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
  47. 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
  48. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking, Fifth European Conference on Planning [ECP`99], 2000, pp. 21-34, Springer
  49. 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
  50. 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

Recent Posts