Publications

  1. Cimatti Alessandro; Pistore Marco; Traverso Paolo, Automated Planning, Handbook of Knowledge Representation, 2008, pp. 841-867, Elsevier
  2. Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Sebastiani Roberto, The MathSAT 4SMT Solver, Proceedings of the 20th Int. Conference on Computer Aided Verification, vol. 5123, 2008, pp. 299-303, Springer-Verlag
  3. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Interpolant Generation in Satisfiability Modulo Theories, Proceedings of the 14th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 4963, 2008, pp. 397-412, Springer-Verlag
  4. Cimatti Alessandro; Roveri Marco; Schuppan Viktor; Tchaltsev Andrei, Diagnostic Information for Realizability, Proceedings of 9th Int. Conference Verification, Model Checking, and Abstract Interpretation, vol. 4905, 2008, pp. 52-67, DOI: 10.1007/978-3-540-78163-9_9, Springer
  5. Cimatti Alessandro, Beyond Boolean SAT: Satisfiability Modulo Theories, Proceedings of the 9th Int. Workshop on Discrete Event Systems, 2008, pp. 68-73, IEEE Press
  6. Cimatti Alessandro; Luigi Palopoli; Ramadian Yusi, Symbolic Computation of Schedulability Regions using parametric timed automata, Proceeding of the 29th IEEE Real-Time Systems Symposium, 2008, pp. 80-89, DOI: 10.1109/RTSS.2008.36, IEEE Computer Society
  7. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Symbolic Compilation of PSL, in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS», vol. 27, n. 10, 2008, pp. 1737-1750, DOI: 10.1109/TCAD.2008.2003303, ISSN: 0278-0070, IEEE
  8. Daniel Kroening; Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich; Christoph M. Wintersteiger, Loop Summarization Using Abstract Transformers, Proceedings of the 6th Int. Symposium on Automated Technology for Verification and Analysis, vol. 5311, 2008, pp. 111-125, DOI: 10.1007/978-3-540-88387-6_10, Springer-Verlag
  9. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Object Models with Temporal Constraints, Proceedings 6th Int. Conference on Software Engineering and Formal Methods, 2008, pp. 249-258, DOI: 10.1109/SEFM.2008.23
  10. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, From Informal Requirements to Property-Driven Formal Validation, Proceedings of 13th Int. Workshop on Formal Methods for Industrial Critical Systems, vol. 5596, 2008, pp. 166-181, DOI: 10.1007/978-3-642-03240-0_15, Springer Verlag
  11. Bozzano Marco; Cimatti Alessandro; Andrea Guiotto; Andrea Martelli; Roveri Marco; Tchaltsev Andrei; Yuri Yushtein, On-Board Autonomy via Symbolic Model Based Reasoning, Proceedings of 10th Workshop on Advanced Space Technologies for Robotics and Automation, 2008
  12. Cimatti Alessandro; Andrea Guiotto; Roveri Marco, On Board Model Checking for Space Applications, Proceedings of ESA Workshop on Avionics Data, Control and Software Systems, 2008, pp. 10-11
  13. Cimatti Alessandro; Robert B. Jones, Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008, 2008, IEEE
  14. Bertoli Piergiorgio; Bozzano Marco; Cimatti Alessandro, A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis, Model Checking and Artificial Intelligence, vol. 4428, 2007, pp. 1-18, DOI: 10.1007/978-3-540-74128-2_1, Springer-Verlag
  15. Roderick Bloem; Cavada Roberto; Ingo Pill; Roveri Marco; Tchaltsev Andrei, Rat: A tool for the formal analysis of requirements, Proceedings of 19th Int. Conference Computer Aided Verification, vol. 4590, 2007, pp. 263-267, DOI: 10.1007/978-3-540-73368-3_30, Springer
  16. Roberto Bruttomesso; Cimatti Alessandro; Roberto Sebasatiani; Griggio Alberto; Anders Franzen, MathSAT, 2007
  17. Sebastiani Roberto; Tonetta Stefano; Moshe Vardi, Property-driven partitioning for abstraction refinement, Proceedings of the 13th Int. Conference on Tools and algorithms for the construction and analysis of systems, vol. 4424, 2007, pp. 389-404, DOI: 10.1007/978-3-540-71209-1, Springer-Verlag
  18. Sebastiani Roberto; Eli Singerman; Tonetta Stefano; Moshe Vardi, GSTE is partitioned model checking, in «FORMAL METHODS IN SYSTEM DESIGN», vol. 31, n. 2, 2007, pp. 177-196, DOI: 10.1007/s10703-007-0036-3, ISSN: 0925-9856
  19. D. Mostefa; N. Moreau; K. Choukri; G. Potamianos; S. Chu; A. Tyagi; J. Casas; J. Turmo; Cristoforetti Luca; Tobia Francesco; A. Pnevmatikakis; V. Mylonakis; F. Talantzis; S. Burger; R. Stiefelhagen; K. Bernardin; C. Rochet, The CHIL audiovisual corpus for lecture and meeting analysis inside smart rooms, in «LANGUAGE RESOURCES AND EVALUATION», vol. 41, n. 3-4, 2007, pp. 389-407, ISSN: 1574-020X, Springer Netherlands
  20. Bozzano Marco; Cimatti Alessandro; Francesco Tapparo, Symbolic Fault Tree Analysis for Reactive Systems, 5th Int. Symposium on Automated Technology for Verification and Analysis, vol. 4762, 2007, pp. 162-176, DOI: 10.1007/978-3-540-75596-8_13, Springer-Verlag
  21. Zvonimir Rakamaric; Bruttomesso Roberto; Alan J. Hu; Cimatti Alessandro, Verifying Heap-Manipulating Programs in an SMT Framework, 5th Int. Symposium on Automated Technology for Verification and Analysis, vol. 4762, 2007, pp. 237-252, Springer-Verlag
  22. Cimatti Alessandro; Roveri Marco; Schuppan Viktor; Tonetta Stefano, Boolean Abstraction for Temporal Logic Satisfiability, Proceedings of 19th Int. Conference Computer Aided Verification, vol. 4590, 2007, pp. 532-546, DOI: 10.1007/978-3-540-73368-3_53, Springer
  23. Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Ziyad Hanna; Alexander Nadel; Amit Palti; Sebastiani Roberto, A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems, Proceedings of the 19th Int. Conference on Computer aided verification, vol. 4590, 2007, pp. 547-560, Springer-Verlag
  24. Cavada Roberto; Cimatti Alessandro; Anders Franzen; Kalyanasundaram Krishnamani; Roveri Marco; R. K. Shyamasundar, Computing Predicate Abstractions by Integrating BDDs and SMT Solvers, Proceedings of the Formal Methods in Computer Aided Design, 2007, pp. 69-76, DOI: 10.1109/FMCAD.2007.18
  25. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories, Proceedings of the 10th Int. Conference on Theory and Applications of Satisfiability Testing, vol. 4501, 2007, pp. 334-339, Springer
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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.
  38. 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
  39. 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
  40. 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
  41. Tonetta Stefano; Natasha Sharygina, A Uniform Framework for Predicate Abstraction Approximation, Proceedings of the 4th Int. Workshop on Software Verification and Validation, 2006
  42. 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
  43. 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
  44. Marco Bernardo; Cimatti Alessandro, Formal Methods for Hardware Verification, vol. 3965, 2006, DOI: 10.1007/11757283, Springer
  45. 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
  46. 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
  47. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco, Strong Cyclic Planning Under Partial Observability, Proceedings of 17th European Conference on Artificial Intelligence, 2006, pp. 580-584
  48. 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.
  49. 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
  50. 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

Recent Posts