You are here

Publications

  1. 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)
  2. 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
  3. Ramona Marfievici; Amy L. Murphy; Gian Pietro Picco; Federico Ossi; Francesca Cagnacci,
    How Environmental Factors Impact Outdoor Sensor Networks: A Case Study,
    Proceedings of the IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS),
    2013
    , pp. 565-
    573
    , (How Environmental Factors Impact Outdoor Sensor Networks: A Case Study,
    Hangzhou, Cina,
    annuale)
  4. Ramona Marfievici; Amy L Murphy; Gian Pietro Picco; Federico Ossi; Francesca Cagnacci,
    Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems (SenSys),
    2013
    , (11th ACM Conference on Embedded Networked Sensor Systems,
    Rome, Italy,
    11-14 November 2013)
  5. Raza U.; Murphy A.; Picco GP,
    ACM Conference on Embedded Networked Sensor Systems,
    Rome,
    November 11-13, 2013,
  6. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    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
  7. N. Sharygina; S. Tonetta; 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
  8. Alberto Griggio,
    A Practical Approach to Satisability Modulo Linear Integer Arithmetic,
    in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION»,
    vol. 8,
    2012
  9. Alberto Griggio; Thi Thieu Hoa Le; Roberto Sebastiani,
    Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 8,
    n. 3,
    2012
  10. Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
    Software Model Checking with Explicit Scheduler and Symbolic Threads,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 8,
    2012
    , pp. 1 -
    42

Pages