1. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    SMT-based scenario verification for hybrid systems,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 42,
    n. 1,
    2013
    , pp. 46-
    66
  2. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian,
    Automated Analysis of Reliability Architectures,
    18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013,
    IEEE Computer Society,
    2013
    , pp. 198-
    207
  3. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco,
    Software Model Checking SystemC,
    in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
    vol. 32,
    2013
    , pp. 774-
    787
  4. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Timelines with Temporal Uncertainty,
    AAAI,
    David Leake,
    2013
    , pp. 195-
    201
  5. Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani,
    The MathSAT5 SMT Solver,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    Lecture Notes in Computer ScienceTools and Algorithms for the Construction and Analysis of Systems,
    vol. 7795,
    2013
    , pp. 93-
    107
  6. Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani,
    A Modular Approach to MaxSAT Modulo Theories,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    Lecture Notes in Computer ScienceTheory and Applications of Satisfiability Testing – SAT 2013,
    vol. 7962,
    2013
    , pp. 150-
    165
  7. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,
    A Formal Framework for the Specification, Verification and Synthesis of Diagnosers,
    AAAI Workshops,
    2013
  8. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
    Formal Specification and Synthesis of FDI through an Example,
    Proceedings of the 24th International Workshop on Principles of Diagnosis,
    2013
  9. Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano,
    Time-aware Relational Abstractions for Hybrid Systems,
    Proceedings of the 13th International Conference on Embedded Software,
    2013
  10. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Parameter Synthesis with IC3,
    Formal Methods in Computer-Aided Design,
    2013
  11. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian,
    Efficient Analysis of Reliability Architectures via Predicate Abstraction,
    Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference,
    Springer,
    vol. 8244,
    2013
    , pp. 279-
    294
  12. Cimatti, Alessandro; Dorigatti, Michele; Tonetta, Stefano,
    OCRA: A tool for checking the refinement of temporal contracts,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    ASE 2013,
    2013
    , pp. 702-
    705
  13. Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger,
    Loop Summarization using State and Transition Invariants,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 42,
    n. 3,
    2013
    , pp. 221-
    261
  14. R., Banach; Bozzano, Marco,
    The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits,
    in «FORMAL ASPECTS OF COMPUTING»,
    vol. 25,
    n. 4,
    2013
    , pp. 573-
    607
  15. R., Banach; Bozzano, Marco,
    The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits,
    in «FORMAL ASPECTS OF COMPUTING»,
    vol. 25,
    n. 4,
    2013
    , pp. 609-
    657
  16. Bozzano, Marco; Villafiorita Monteleone, Adolfo,
    Safety Critical Systems,
    Encyclopedia of Software Engineering,
    CRC Press, Taylor & Francis Group,
    2013
  17. Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening,
    An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    Lecture Notes in Computer ScienceVerification, Model Checking, and Abstract Interpretation,
    vol. 7737,
    2013
    , pp. 455-
    475
  18. Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening,
    Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    Lecture Notes in Computer ScienceStatic Analysis,
    vol. 7935,
    2013
    , pp. 412-
    432
  19. Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening,
    Deciding floating-point logic with abstract conflict driven clause learning,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2013
  20. Brutti, Alessio; Omologo, Maurizio; Svaizer, Piergiorgio,
    An environment aware ML estimation of acoustic radiation pattern with distributed microphone pairs,
    in «SIGNAL PROCESSING»,
    vol. 93,
    n. 4,
    2013
    , pp. 784-
    796