Publications

  1. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding, Proceedings of the 9th Conference on Formal Methods in Computer Aided Design, 2009
  2. Cavada Roberto; Cimatti Alessandro; Mariotti Alessandro; Mattarei Cristian; Micheli Andrea; Mover Sergio; Pensallorto Marco; Roveri Marco; Susi Angelo; Tonetta Stefano, Supporting Requirements Validation: The EuRailCheck Tool, Proceedings of 24th Int. Conference Automated Software Engineering, 2009, pp. 665-667, DOI: 10.1109/ASE.2009.49
  3. Daniel Kroening; Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich; Christoph M. Wintersteiger, Loopfrog: A Static Analyzer for ANSI-C Programs, Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, pp. 668-670, DOI: 10.1109/ASE.2009.35, IEEE Computer Society
  4. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Andrei Tchaltsev, A Comprehensive Approach to On-Board Autonomy Verification and Validation, Workshop on Verification and Validation of Planning and Scheduling Systems, 2009, pp. 1-10
  5. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Proceedings of 28th Int. International Conference on Computer Safety, Reliability and Security, vol. 5775, 2009, pp. 173-186, Springer
  6. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories, 2009
  7. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding, 2009
  8. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll, Verification and performance evaluation of AADL models, Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2009, pp. 285-286, DOI: 10.1145/1595696.1595744, ACM
  9. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Model-Based Codesign of Critical Embedded Systems, Proceedings 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems, vol. 507, 2009, pp. 87-91, CEUR-WS.org
  10. Cimatti Alessandro; Bozzano Marco; Adolfo Villafiorita, FSAP, 2008
  11. Cimatti Alessandro; Pistore Marco; Traverso Paolo, Automated Planning, Handbook of Knowledge Representation, 2008, pp. 841-867, Elsevier
  12. 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
  13. 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
  14. 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
  15. Cimatti Alessandro, Beyond Boolean SAT: Satisfiability Modulo Theories, Proceedings of the 9th Int. Workshop on Discrete Event Systems, 2008, pp. 68-73, IEEE Press
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. Cimatti Alessandro; Robert B. Jones, Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008, 2008, IEEE
  24. 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
  25. 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
  26. Roberto Bruttomesso; Cimatti Alessandro; Roberto Sebasatiani; Griggio Alberto; Anders Franzen, MathSAT, 2007
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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.
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts