2012

1. 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
2. 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
3. Alberto Griggio,
   A Practical Approach to Satisability Modulo Linear Integer Arithmetic,
   in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION»,
   vol. 8,
   2012
4. 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
5. 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
6. 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
7. 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)
8. 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)
9. 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)
10. Alessandro Cimatti; Raffaele Corvino; Armando Lazzaro; Iman Narasamdya; Tiziana Rizzo; Marco Roveri; Angela Sanseviero; Andrei Tchaltsev,
    Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System,
    CAV,
    Springer,
    vol.7358,
    2012
    , pp. 378-
    393
    , (Computer Aided Verification - 24th International Conference, CAV 2012,
    Berkeley, CA, USA,
    da 07/07/2012 a 07/13/2012)

Pages