Publications

  1. Lei Bu; Cimatti Alessandro; Xuandong Li; Mover Sergio; Tonetta Stefano, Model Checking of Hybrid Systems using Shallow Synchronization, Proceedings of 30th IFIP Int. Conference on FORmal TEchniques for Networked and Distributed Systems, part of DisCoTec'10, vol. 6117, 2010, pp. 155-169, DOI: 10.1007/978-3-642-13464-7_13
  2. T. Sowa; F. Arisio; Cristoforetti Luca, DICIT: Evaluation of a Distant-talking Speech Interface for Television, 2010
  3. Brutti Alessio; Cristoforetti Luca; W. Kellermann; L. Marquardt; Omologo Maurizio, WOZ acoustic data collection for interactive TV, in «LANGUAGE RESOURCES AND EVALUATION», vol. 44, n. 3, 2010, pp. 205-219, DOI: 10.1007/s10579-010-9116-x, ISSN: 1574-020X
  4. Angelo Chiappini; Cimatti Alessandro; Macchi Luca; Oscar Rebollo; Roveri Marco; Susi Angelo; Tonetta Stefano; Berardino Vittorini, Formalization and validation of a subset of the European Train Control System, Proceedings of 32nd Int. Conference on Software Engineering, vol. 2, 2010, pp. 109-118, DOI: 10.1145/1810295.1810312
  5. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll, Codesign of Dependable Systems: A Component-Based Modeling Language, Proceedings of the 7th IEEE/ACM Int. Conference on Formal Methods and Models for Codesign, 2009, pp. 121-130
  6. Roveri Marco; Cimatti Alessandro; Schuppan Viktor; Tchaltsev Andrei; Cavada Roberto, NuGAT, 2009
  7. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Interpolant Generation for UTVPI, Proceedings of the 22nd Int. Conference on Automated Deduction, vol. 5663, 2009, pp. 167-182, DOI: 10.1007/978-3-642-02959-2_15, Springer Verlag
  8. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Requirements Validation for Hybrid Systems, Proceedings 21st Int. Conference on Computer Aided Verification, vol. 5643, 2009, pp. 188-203, DOI: 10.1007/978-3-642-02658-4_17, Springer
  9. Natasha Sharygina; Tonetta Stefano; Aliaksei Tsitovich, The synergy of precise and fast abstractions for program verification, Proceedings of the 24th Annual ACM Symposium on Applied Computing, 2009, pp. 566-573, DOI: 10.1145/1529282.1529404, ACM
  10. Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Sebastiani Roberto, Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version, in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE», vol. 55, n. 1-2, 2009, pp. 66-99, ISSN: 1012-2443, Springer
  11. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Codesign of Dependable Systems: A Component-Based Language, 2009
  12. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, 2009
  13. Tonetta Stefano, Abstract Model Checking without Computing the Abstraction, Proceedings of the 16th Int. Symposium on Formal Methods, 2009, pp. 89-105, DOI: 10.1007/978-3-642-05089-3_7, Springer-Verlag
  14. Cimatti Alessandro; Jori Juhani Dubrovin; Tommi Antero Junttila; Roveri Marco, Structure-Aware Computation of Predicate Abstraction, Proceedings of the Formal Methods in Computer Aided Design, 2009, pp. 9-16
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories, 2009
  21. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding, 2009
  22. 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
  23. 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
  24. Cimatti Alessandro; Bozzano Marco; Adolfo Villafiorita, FSAP, 2008
  25. Brutti Alessio; Cristoforetti Luca; W. Kellermann; L. Marquardt; Omologo Maurizio, WOZ Acoustic Data Collection For Interactive TV, 6th International Conference on Language Resources and Evaluation (LREC 2008), 2008
  26. Cimatti Alessandro; Pistore Marco; Traverso Paolo, Automated Planning, Handbook of Knowledge Representation, 2008, pp. 841-867, Elsevier
  27. 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
  28. 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
  29. 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
  30. Cimatti Alessandro, Beyond Boolean SAT: Satisfiability Modulo Theories, Proceedings of the 9th Int. Workshop on Discrete Event Systems, 2008, pp. 68-73, IEEE Press
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. Cimatti Alessandro; Robert B. Jones, Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008, 2008, IEEE
  39. 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
  40. 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
  41. Roberto Bruttomesso; Cimatti Alessandro; Roberto Sebasatiani; Griggio Alberto; Anders Franzen, MathSAT, 2007
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts