You are here

Publications

  1. Raza U.; Murphy A.; Picco GP,
    ACM Conference on Embedded Networked Sensor Systems,
    Rome,
    November 11-13, 2013,
  2. 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
  3. 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
  4. Alberto Griggio,
    A Practical Approach to Satisability Modulo Linear Integer Arithmetic,
    in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION»,
    vol. 8,
    2012
  5. 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
  6. 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
  7. María Alpuente; Christophe Joubert; Stefan Kowalewski; Marco Roveri,
    Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010),
    Elsevier,
    2012
    , pp. 1 -
    3
  8. U. Raza;A. Camerra;A. Murphy;T. Palpanas;G. Picco,
    What Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks?,
    Proc. of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2012),
    IEEE Computer Society,
    2012
    , (IEEE International Conference on Pervasive Computing and Communications,
    Lugano, Switzerland,
    19-23/03/2012)
  9. Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive,
    Symbolic Synthesis of Observability Requirements for Diagnosability,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2012
    , (AAAI 2012: Twenty-Sixth AAAI Conference on Artificial Intelligence,
    Toronto, Canada,
    da 07/22/2012 a 07/26/2012)
  10. Alessandro Cimatti; Alberto Griggio,
    Software Model Checking via IC3,
    Proceedings of Computer Aided Verification - 24th International Conference, CAV 2012,
    Springer,
    vol.7358,
    2012
    , (Computer Aided Verification - 24th International Conference, CAV 2012,
    Berkeley, CA, USA,
    da 07/07/2012 a 13/07/2012)

Pages