Publications

  1. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Syntactic Optimizations for PSL Verification, Proceedings of 13th Int. Conference Tools and Algorithms for the Construction and Analysis of Systems, vol. 4424, 2007, pp. 505-518, DOI: 10.1007/978-3-540-71209-1_39, Springer
  2. Roderick Bloem; Cimatti Alessandro; Ingo Pill; Roveri Marco, Symbolic Implementation of Alternating Automata, in «INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE», vol. 18, n. 4, 2007, pp. 727-743, ISSN: 0129-0541, World Scientific Publishing
  3. Bozzano Marco; Villafiorita Monteleone Adolfo, The FSAP/NuSMV-SA Safety Analysis Platform, in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER», vol. 9, n. 1, 2007, pp. 5-24, ISSN: 1433-2779
  4. Armando Alessandro; Cimatti Alessandro, Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning, in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», vol. 144, n. 2, 2006, ISSN: 1571-0661, Electronic Notes in Theoretical Computer Science -- Elsevier
  5. O. Akerlund; P. Bieber; E. Boede; Bozzano Marco; M. Bretschneider; C. Castel; A. Cavallo; M. Cifaldi; J. Gauthier; A. Griffault; O. Lisagor; A. Luedtke; S. Metge; C. Papadopoulos; T. Peikenkamp; L. Sagaspe; C. Seguin; H. Trivedi; L. Valacca, ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects., 2006
  6. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi A. Junttila; Ranise Silvio; Peter van Rossum; Sebastiani Roberto, Efficient theory combination via boolean search, in «INFORMATION AND COMPUTATION», vol. 204, n. 10, 2006, pp. 1493-1525, DOI: 10.1016/j.ic.2005.05.011, ISSN: 0890-5401
  7. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Sebastiani Roberto, Encoding RTL Constructs for Mathsat: A preliminary report, Proceedings of 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning, vol. 144, issue 2, 2006, pp. 3-14, DOI: 10.1016/j.entcs.2005.12.001
  8. Roderick Bloem; Cimatti Alessandro; Ingo Pill; Roveri Marco; Simone Semprini; Tchaltsev Andrei, RAT: A tool for formal analysis of requirements, Demo Session of the 17th European Conference on Artificial Intelligence, 2006
  9. Cimatti Alessandro; Roveri Marco; Simone Semprini; Tonetta Stefano, From PSL to NBA: a Modular Symbolic Encoding, Proceedings of 6th Int. Conference on Formal Methods in Computer Aided Design, 2006, pp. 125-133, DOI: 10.1109/FMCAD.2006.19
  10. Richard Banach; Bozzano Marco, Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems, International Conference on Computer Safety, Security and Reliability, n. 4166, 2006, pp. 127-141, DOI: 10.1007/11875567_10
  11. Cimatti Alessandro; Sebastiani Roberto, Building Efficient Decision Procedures on top of SAT solvers, Formal Methods for Hardware Verification, vol. 3965, 2006, pp. 144-175, DOI: 10.1007/11757283_6, Springer
  12. Armando Alessandro; Cimatti Alessandro, Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005), Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005), vol. Volume 144, Issue 2, 2006, pp. 1-2, DOI: 10.1016/j.entcs.2005.12.002, Elsevier B.V.
  13. Piergiorgio Bertoli; Cimatti Alessandro; Marco Pistore, Towards strong cyclic planning under partial observability, Proceedings of the 16th Int. Conference on Automated Planning and Scheduling, 2006, pp. 354-357
  14. Roberto Bruttomesso; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Alessandro Santuari; Sebastiani Roberto, To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T), Proceedings of the 13th Int. Conference on 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2006, pp. 557-571
  15. Roberto Bruttomesso; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Sebastiani Roberto, Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis, vol. 4246, 2006, pp. 527-541, DOI: 10.1007/11916277_36, Springer Verlag
  16. Tonetta Stefano; Natasha Sharygina, A Uniform Framework for Predicate Abstraction Approximation, Proceedings of the 4th Int. Workshop on Software Verification and Validation, 2006
  17. Omologo Maurizio; Svaizer Piergiorgio; Brutti Alessio; Cristoforetti Luca, Speaker Localization in CHIL Lectures: Evaluation Criteria and Results, Machine Learning for Multimodal Interaction, vol. 4299, 2006, Springer Verlag
  18. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco; Traverso Paolo, Strong Planning under Partial Observability, in «ARTIFICIAL INTELLIGENCE», vol. 170, n. 4-5, 2006, pp. 337-384, ISSN: 0004-3702, Elsevier
  19. Marco Bernardo; Cimatti Alessandro, Formal Methods for Hardware Verification, vol. 3965, 2006, DOI: 10.1007/11757283, Springer
  20. R. Bloem; Cimatti Alessandro; I. Pill; Roveri Marco; S. Semprini, Symbolic Implementation of Alternating Automata, Proceedings of 11th Int. Conference Implementation and Application of Automata, vol. 4094, 2006, pp. 208-218, DOI: 10.1007/11812128_20, Springer
  21. 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
  22. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco, Strong Cyclic Planning Under Partial Observability, Proceedings of 17th European Conference on Artificial Intelligence, 2006, pp. 580-584
  23. 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.
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. Antero Junttila; Ranise Silvio; Rossum Peter Van; Sebastiani Roberto, Efficient Theory Combination via Boolean Search, 2005
  30. 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
  31. 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
  32. 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
  33. Roveri Marco; Cimatti Alessandro; Tchaltsev Andrei; Cavada Roberto; Simone Semprini; Roderick Bloem; Ingo Pill, RAT, 2005
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. Bozzano Marco; Cimatti Alessandro; G. Colombini; V. Kirov; Sebastiani Roberto, The MAthSAT Solver. A progress report, 2004
  44. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Sebastiani Roberto, The MathSAT Solver - a comparative evaluation, 2004
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts