You are here

Publications

  1. Marco Bozzano; Adolfo Villafiorita,
    in Encyclopedia of Software Engineering,
    New York,
    CRC Press, Taylor & Francis Group,
    2013
  2. Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
    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
    , (International Conference on Engineering of Complex Computer Systems,
    Singapore,
    07/17/2013 07/19/2013)
  3. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    AAAI,
    David Leake,
    2013
    , pp. 195-
    201
    , (Twenty-Seventh AAAI Conference on Artificial Intelligence,
    Bellevue, Washington, USA,
    14/07/2013 - 18/07/2013)
  4. Martin Brain;Vijay D’Silva;Leopold Haller;Alberto Griggio;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
  5. Alessandro Cimatti;Alberto Griggio;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. Alessandro Cimatti;Alberto Griggio;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. Martin Brain;Vijay D’Silva;Alberto Griggio;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
  8. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
    AAAI Workshops,
    2013
    , (Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence,
    Bellevue, Washington, USA,
    14–18 July 2013)
  9. 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
    , (The 24th International Workshop on Principles of Diagnosis,
    Jerusalem, Israel,
    October 1-4, 2013)
  10. Mover S.; Cimatti A.; Tiwari A.; Tonetta S.,
    Time-aware Relational Abstractions for Hybrid Systems,
    Proceedings of the 13th International Conference on Embedded Software,
    2013
    , (International Conference on Embedded Software,
    Montreal, Canada,
    October 2013)

Pages