1. Brutti, Alessio; Cristoforetti, Luca; Matassoni, Marco; Svaizer, Piergiorgio; Omologo, Maurizio,
    Controllare la casa con la voce: il progetto DIRHA,
    AISV 2013,
    2013
  2. Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    Validation of Requirements for Hybrid Systems: a Formal Approach,
    in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY»,
    vol. 21,
    n. 4,
    2012
    , pp. 22:1-
    22:34
  3. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive,
    Symbolic Synthesis of Observability Requirements for Diagnosability,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2012
  4. Cimatti, Alessandro; Griggio, Alberto,
    Software Model Checking via IC3,
    Proceedings of Computer Aided Verification - 24th International Conference, CAV 2012,
    Springer,
    vol. 7358,
    2012
  5. Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev,
    Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System,
    CAV,
    Springer,
    vol. 7358,
    2012
    , pp. 378-
    393
  6. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco,
    Verification of Parametric System Designs,
    2012
  7. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco,
    Software Model Checking with Explicit Scheduler and Symbolic Threads,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 8,
    n. 2,
    2012
    , pp. 1-
    42
  8. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Solving Temporal Problems using SMT: Weak Controllability,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2012
  9. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Solving Temporal Problems using SMT: Strong Controllability,
    Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming,
    2012
  10. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    SMT-Based Verification of Hybrid Systems,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada,
    vol. 26,
    n. 1,
    2012
    , pp. 2100-
    2105
  11. Cimatti, Alessandro; Tonetta, Stefano,
    A Property-Based Proof System for Contract-Based Design,
    Proceedings of 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012,
    2012
  12. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    Quantifier-free encoding of hybrid systems with non-linear dynamics,
    Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012),
    2012
  13. Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia,
    Automated generation of FDIR for the compass integrated toolset (AUTOGEF),
    2012
  14. Cimatti, Alessandro; Sebastiani, Roberto,
    Theory and Applications of Satisfiability Testing – SAT 2012,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    Springer,
    vol. 7317,
    2012
  15. Cimatti, Alessandro,
    Application of SMT solvers to hybrid system verification,
    Formal Methods in Computer-Aided Design, FMCAD 2012,
    IEEE,
    2012
    , pp. 4-
  16. Robin Steel; Alexander Hoffman; Mark Niézette; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella,
    Innovative Rover Operations Concepts – Autonomous Planner (IRONCAP) – Supporting Rover Operations Planning on Ground,
    SpaceOps 2012 Conference,
    2012
  17. N., Sharygina; Tonetta, Stefano; A., Tsitovich,
    An abstraction refinement approach combining precise and approximated techniques,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 14,
    n. 1,
    2012
  18. Raian, Ali; Griggio, Alberto; Anders, Franzen; Fabiano, Dalpiaz; Paolo, Giorgini,
    Optimizing Monitoring Requirements in Self-adaptive Systems,
    Proceedings of Enterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium,
    Springer,
    vol. 113,
    2012
  19. Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening,
    Deciding Floating-Point Logic with Systematic Abstraction,
    Proceedings of FMCAD 2012,
    2012
  20. Roberto, Bruttomesso; Griggio, Alberto,
    Broadening the Scope of SMT-COMP: the Application Track,
    Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems,
    vol. 873,
    2012