Publications

  1. 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
  2. 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
  3. 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
  4. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. Antero Junttila; Ranise Silvio; Rossum Peter Van; Sebastiani Roberto, Efficient Theory Combination via Boolean Search, 2005
  5. 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
  6. 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
  7. 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
  8. Roveri Marco; Cimatti Alessandro; Tchaltsev Andrei; Cavada Roberto; Simone Semprini; Roderick Bloem; Ingo Pill, RAT, 2005
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. Bozzano Marco; Cimatti Alessandro; G. Colombini; V. Kirov; Sebastiani Roberto, The MAthSAT Solver. A progress report, 2004
  19. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Sebastiani Roberto, The MathSAT Solver - a comparative evaluation, 2004
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. Bertoli Piergiorgio; Cimatti Alessandro; Lago U. Dal; Pistore Marco, Extending PDDL to mondeterminism, limited sensing and iterative conditional plans, 2003
  34. Bozzano Marco; Villafiorita Monteleone Adolfo, Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform, 2003
  35. Bozzano Marco; A. Cavallo; M. Cifaldi; L. Valacca; Villafiorita Monteleone Adolfo, Improving Safety Assessment of Complex Systems: An Industrial case study, 2003
  36. 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
  37. 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
  38. 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
  39. 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
  40. Cristoforetti Luca; Matassoni Marco; Omologo Maurizio; Svaizer Piergiorgio, Use of parallel recognizers for robust in-car speech interaction, 2003
  41. 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
  42. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, MBP: A Model Based Planner, ICAPS`03: system demo session, 2003
  43. Cimatti Alessandro; C. Pecheur; Cavada Roberto, Formal Verification of Diagnosability via Symbolic Model Checking, 2003
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts