You are here

2011

  1. Alessandro Cimatti; Alberto Griggio; Andrea Micheli; Iman Narasamdya; Marco Roveri,
    2011
    , (Accepted at CAV 2011 - 23rd International Conference onComputer Aided Verification,
    Cliff Lodge, Snowbird, Utah,
    14-20/07/2011)
  2. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev,
    A Comprehensive Approach to On-Board Autonomy Verification and Validation,
    AAAI (Conference on Artificial Intelligence)
    Press
    ,
    2011
    , (IJCAI 2011,
    Barcelona, Catalonia (Spain),
    16-22/07/2011)
  3. Rosella Gennari; Anna Roubickova; Marco Roveri,
    vol.To appear,
    2011
    , (3rd ICAPS Workshop on Verification and Validation of Planning and Scheduling Systems - VVPS 2011,
    Freiburg, Germany,
    13/06/2011)
  4. Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri,
    2011
    , (18th Int. Workshop on Model Checking of Software - SPIN,
    Cliff Lodge, Snowbird, Utah,
    14–15/07/2011)
  5. A. Cimatti; S. Mover; S. Tonetta,
    Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems,
    FMCAD '11 Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
    IEEE,
    n. 11,
    2011
    , pp. 54-
    62
    , (Formal Methods in Computer Aided Design (FMCAD),
    Austin, Texas, USA,
    30/10/2011)
  6. M. Bozzano; A. Cimatti; O. Lisagor; C. Mattarei; S. Mover; M. Roveri; S. Tonetta,
    Model Checking and Safety Assessment of Altarica models,
    in «ELECTRONIC COMMUNICATIONS OF THE EASST»
    Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011),
    Berlin,
    EASST,
    vol.46,
    2011
    , (AVOCS 2011 - 11th International Workshop on Automated Verification of Critical Systems,
    Newcastle, UK,
    da 09/12/2011 a 09/14/2011)
  7. M. Chini; M. Ceriotti ; R. Marfievici ; A. L. Murphy ; G. P. Picco,
    TRIDENT: Untethered Observation of Physical Communication Made to Share,
    Proceedings of the 9th ACM International Conference on Embedded Networked Sensor Systems (SENSYS),
    2011
    , (ACM International Conference on Embedded Networked Sensor Systems,
    Seattle, WA, USA,
    01/11/2011 a 04/11/2011)
  8. Alberto Griggio; Quoc-Sang Phan; Roberto Sebastiani; Silvia Tomasi,
    Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT,
    Proceedings of Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011,
    Springer,
    vol.6989,
    2011
    , (Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011,
    Saarbrucken, Germany,
    da 05/10/2011 a 07/10/2011)
  9. Alberto Griggio,
    Effective word-level interpolation for software verification,
    Proceedings of International Conference on Formal Methods in Computer-Aided Design, FMCAD '11,
    FMCAD Inc.,
    2011
    , (International Conference on Formal Methods in Computer-Aided Design, FMCAD '11,
    Austin, TX, USA,
    da 30/10/2011 a 02/11/2011)
  10. Roberto Cavada; Alessandro Cimatti; Andrea Micheli; Marco Roveri; Angelo Susi; Stefano Tonetta,
    OthelloPlay: a plug-in based tool for requirement formalization and validation,
    Proceedings of the 1st Workshop on Developing Tools as Plug-ins,
    2011
    , pp. 59-
    59
    , (TOPI 2011,
    Honolulu, Hawaii, USA,
    da 05/28/2011 a 05/28/2011)

Pages