Publications

  1. I. Pill; S. Semprini; Cavada Roberto; Roveri Marco; R. Bloem; Cimatti Alessandro, Formal analysis of hardware requirements, Proceedings of 43rd annual Design Automation Conference, 2006, pp. 821-826, DOI: 10.1145/1146909.1147119
  2. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco, Strong Cyclic Planning Under Partial Observability, Proceedings of 17th European Conference on Artificial Intelligence, 2006, pp. 580-584
  3. Gilles Audemard; Bozzano Marco; Cimatti Alessandro; Sebastiani Roberto, Verifying Industrial Hybrid Systems with MathSAT, Proceedings of 2nd Int. Workshop on Bounded Model Checking, vol. 119, issue 2, 2005, pp. 17-32, DOI: 10.1016/j.entcs.2004.12.022, Elsevier B.V.
  4. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi Junttila; Peter van Rossum; Stephan Schulz; Sebastiani Roberto, Mathsat: Tight Integration of SAT and Mathematical Decision Procedures, in «JOURNAL OF AUTOMATED REASONING», vol. 35, n. 1-3, 2005, pp. 265-293, DOI: 10.1007/s10817-005-9004-z, ISSN: 0168-7433
  5. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi Junttila; Ranise Silvio; Peter van Rossum; Sebastiani Roberto, Efficient Satisfiability Modulo Theories via Delayed Theory Combination, Proceeding of 17th Int. Conference on Computer Aided Verification, vol. 3576, 2005, pp. 335-349, DOI: 10.1007/11513988_34, Springer
  6. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. A. Junttila; Rossum Peter Van; S. P. Schulz; Sebastiani Roberto, An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic, Proceedings of 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 3440, 2005, pp. 317-333, DOI: 10.1007/978-3-540-31980-1_21, Springer
  7. Brutti Alessio; P. Coletti; Cristoforetti Luca; P. Geutner; A. Giacomini; M. Maistrello; Matassoni Marco; Omologo Maurizio; F. Steffens; Svaizer Piergiorgio, Use of Multiple Speech Recognition Units in a In-car Assistance System, Digital Signal Processing for In-Vehicle and Mobil, 2005, Springer
  8. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi A. Junttila; Peter van Rossum; Stephan Peter Schulz; Sebastiani Roberto, The Mathsat3 System, Proceedings of 20th Int. Conference on Automated Deduction, vol. 3632, 2005, pp. 315-321, DOI: 10.1007/11532231_23, Springer
  9. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. Antero Junttila; Ranise Silvio; Rossum Peter Van; Sebastiani Roberto, Efficient Theory Combination via Boolean Search, 2005
  10. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. A. Junttila; R. Peter van; S. P. Schulz; Sebastiani Roberto, MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures, 2005
  11. Bozzano Marco; R. Brutomesso; Cimatti Alessandro; T. A. Junttila; Ranise Silvio; Rossen Peter Van; Sebastiani Roberto, Efficient Satisfiability Modulo Theories via Delayed Theory Combination, 2005
  12. Sebastiani Roberto; Tonetta Stefano; Moshe Vardi, Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking, In proc. of the 17th Int. Conference on Computer-Aided Verification, vol. 3576, 2005, pp. 100-246, DOI: 10.1007/11513988_35, Springer-Verlag
  13. Roveri Marco; Cimatti Alessandro; Tchaltsev Andrei; Cavada Roberto; Simone Semprini; Roderick Bloem; Ingo Pill, RAT, 2005
  14. L. Brayda; C. Bertotti; Cristoforetti Luca; Omologo Maurizio; Svaizer Piergiorgio, Modifications on NIST MarkIII array to improve coherence properties among input signals, AES, 118th Audio Engineering Society Convention, 2005
  15. L. Brayda; C. Bertotti; Cristoforetti Luca; Omologo Maurizio; Svaizer Piergiorgio, On calibration and coherence signal analysis of the CHIL microphone network at IRST, Joint Workshop on Hands-Free Speech Communication and Microphone Arrays, 2005
  16. Bozzano Marco; G. Delzanno; M. Martelli, Model Checking Linear Logic Specifications, in «THEORY AND PRACTICE OF LOGIC PROGRAMMING», vol. 4, n. 5-6, 2004, pp. 573-619, DOI: 10.1017/S1471068404002066, ISSN: 1471-0684
  17. Bozzano Marco; G. Delzanno, Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos, in «JOURNAL OF SYMBOLIC COMPUTATION», vol. 38, n. 5, 2004, pp. 1375-1415, ISSN: 0747-7171
  18. Bertoli Piergiorgio; Cimatti Alessandro; Traverso Paolo, Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains, Proceedings of 16th Eureopean Conference on Artificial Intelligence, 2004, pp. 657-661
  19. Brutti Alessio; P. Coletti; Cristoforetti Luca; A. Giacomini; Gretter Roberto; M. Maistrello; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio; Zieger Christian, On the development of an in-car speech interaction system at Irst, Special Workshop In Maui (SWIM), 2004, pp. 1-4
  20. Bozzano Marco; Cimatti Alessandro; Gabriele Colombini; Veselin Kirov; Sebastiani Roberto, The MathSAT solver -- a progress report, Proceeding of 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2004
  21. Cimatti Alessandro; Roveri Marco; Bertoli Piergiorgio, Conformant Planning via Symbolic Model Checking and Heuristic Search, in «ARTIFICIAL INTELLIGENCE», vol. 159, n. 1-2, 2004, pp. 127-206, DOI: 10.1016/j.artint.2004.05.003, ISSN: 0004-3702
  22. Cimatti Alessandro; Roveri Marco; D. Sheridan, Bounded Verification of Past LTL, Proceedings of 5th Int. Conference on Formal Methods in Computer-Aided Design, vol. 3312, 2004, pp. 245-259, DOI: 10.1007/978-3-540-30494-4_18, Springer
  23. Bozzano Marco; Cimatti Alessandro; G. Colombini; V. Kirov; Sebastiani Roberto, The MAthSAT Solver. A progress report, 2004
  24. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Sebastiani Roberto, The MathSAT Solver - a comparative evaluation, 2004
  25. Sebastiani Roberto; Eli Singerman; Tonetta Stefano; Moshe Vardi, GSTE is partitioned Model Checking, Proceedings of the 16th Int. Conference on Computer-Aided Verification, vol. 3114, 2004, pp. 301-305, DOI: 10.1007/978-3-540-27813-9_18, Springer
  26. Roelofsen Floris; Serafini Luciano; Cimatti Alessandro, Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems, Proceedings of 16th Eureopean Conference on Artificial Intelligence, 2004, pp. 58-62
  27. Bertoli Piergiorgio; Cimatti Alessandro; Lago U. Dal; Pistore Marco, Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans, ICAPS`03 Workshop on PDDL, 2003, pp. 15-24
  28. Coletti Paolo; Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio; Petra Geutner; Frank Steffens, A speech driven in-car assistance system, Intelligent Vehicles Symposium, 2003, pp. 622-626, IEEE
  29. Bozzano Marco; Villafiorita Monteleone Adolfo, Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform, Computer Safety, Reliability, and Security. Proceedings of the 22nd International Confecence SAFECOMP 2003, 2003, pp. 49-62
  30. Bozzano Marco; A. Cavallo; M. Cifaldi; L. Valacca; Villafiorita Monteleone Adolfo, Improving Safety Assessment of Complex Systems: An Industrial case study, FME 2003: Formal Methods. Proceedings of the International Symposium of Formal Methods, 2003, pp. 208-222
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. Bertoli Piergiorgio; Cimatti Alessandro; Lago U. Dal; Pistore Marco, Extending PDDL to mondeterminism, limited sensing and iterative conditional plans, 2003
  39. Bozzano Marco; Villafiorita Monteleone Adolfo, Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform, 2003
  40. Bozzano Marco; A. Cavallo; M. Cifaldi; L. Valacca; Villafiorita Monteleone Adolfo, Improving Safety Assessment of Complex Systems: An Industrial case study, 2003
  41. 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
  42. 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
  43. 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
  44. 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
  45. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio, Use of parallel recognizers for robust in-car speech interaction, 2003
  46. 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
  47. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, MBP: A Model Based Planner, ICAPS`03: system demo session, 2003
  48. Cimatti Alessandro; C. Pecheur; Cavada Roberto, Formal Verification of Diagnosability via Symbolic Model Checking, 2003
  49. 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
  50. 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

Recent Posts