You are here

2013

  1. 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
  2. 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
  3. 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
  4. 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)
  5. 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)
  6. 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)
  7. Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
    Parameter Synthesis with IC3,
    Formal Methods in Computer-Aided Design,
    2013
    , (Formal Methods in Compuiter-Aided Desisgn 2013,
    Portland, OR, USA,
    October 20-23, 2013)
  8. U. Raza;A. Murphy;G. Picco,
    Embracing localization inaccuracy: A case study,
    Intelligent Sensors, Sensor Networks and Information Processing, 2013 IEEE Eighth International Conference on,
    2013
    , pp. 207-
    212
    , (Intelligent Sensors, Sensor Networks and Information Processing, 2013 IEEE Eighth International Conference on,
    Melbourne, Australia,
    2013)
  9. Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
    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
    , (Ninth Haifa Verification Conference,
    Haiva, Israel,
    5 - 7 November 2013)
  10. Cimatti A.; Dorigatti M.; Tonetta S.,
    OCRA: A tool for checking the refinement of temporal contracts,
    in «AUTOMATED SOFTWARE ENGINEERING»
    ASE 2013,
    2013
    , pp. 702-
    705

Pages