Publications

  1. Roderick Bloem; Cimatti Alessandro; Karin Greimel; Georg Hofferek; Robert Koenighofer; Roveri Marco; Schuppan Viktor; Richard Seeber, RATSY - A new Requirements Analysis Tool with Synthesis, Proceedings of 22nd Int. Conference on Computer Aided Verification, vol. 6174, 2010, pp. 425-429, Springer
  2. 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
  3. T. Sowa; F. Arisio; Cristoforetti Luca, DICIT: Evaluation of a Distant-talking Speech Interface for Television, 2010
  4. 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
  5. 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
  6. 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
  7. Roveri Marco; Cimatti Alessandro; Schuppan Viktor; Tchaltsev Andrei; Cavada Roberto, NuGAT, 2009
  8. 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
  9. 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
  10. 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
  11. 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
  12. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Codesign of Dependable Systems: A Component-Based Language, 2009
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories, 2009
  22. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding, 2009
  23. 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
  24. 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
  25. Cimatti Alessandro; Bozzano Marco; Adolfo Villafiorita, FSAP, 2008
  26. 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
  27. Cimatti Alessandro; Pistore Marco; Traverso Paolo, Automated Planning, Handbook of Knowledge Representation, 2008, pp. 841-867, Elsevier
  28. 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
  29. 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
  30. 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
  31. Cimatti Alessandro, Beyond Boolean SAT: Satisfiability Modulo Theories, Proceedings of the 9th Int. Workshop on Discrete Event Systems, 2008, pp. 68-73, IEEE Press
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. Cimatti Alessandro; Robert B. Jones, Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008, 2008, IEEE
  40. 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
  41. 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
  42. Roberto Bruttomesso; Cimatti Alessandro; Roberto Sebasatiani; Griggio Alberto; Anders Franzen, MathSAT, 2007
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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

Recent Posts