2015

1. A. Cimatti; S. Tonetta,
   Contracts-refinement proof system for component-based embedded systems,
   in «SCIENCE OF COMPUTER PROGRAMMING»,
   2015
2. Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta,
   Safety Assessment of AltaRica Models via Symbolic Model Checking,
   in «SCIENCE OF COMPUTER PROGRAMMING»,
   vol. 98,
   2015
   , pp. 464 -
   483
3. Alessandro Cimatti;Andrea Micheli;Marco Roveri,
   An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty,
   in «ARTIFICIAL INTELLIGENCE»,
   vol. 224,
   2015
   , pp. 1 -
   27
4. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
   Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic,
   in «LOGICAL METHODS IN COMPUTER SCIENCE»,
   vol. 11,
   n. 4,
   2015
5. Griggio, Alberto; Roveri, Marco,
   Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking,
   in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
   2015
   , pp. 1 -
   1
6. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
   HRELTL: A temporal logic for hybrid systems,
   in «INFORMATION AND COMPUTATION»,
   vol. 245,
   2015
   , pp. 54 -
   71
7. Raza, Usman; Camerra, Alessandro; Murphy, Amy L.; Palpanas, Themis; Picco, Gian Pietro,
   Practical Data Prediction for Real-World Wireless Sensor Networks,
   in «IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING»,
   vol. 27,
   n. 8,
   2015
   , pp. 2231 -
   2244
8. Cimatti A.; Micheli A.; Roveri M,
   Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach,
   Proceedings of the 29th AAAI Conference on Artificial Intelligence,
   Palo Alto, California,
   AAAI Press,
   2015
   , (AAAI 2015,
   Austin, Texas, USA,
   25/01/2015 - 30/01/2015)
9. Bozzano M.; Cimatti A.; Gario M.; Micheli A.,
   SMT-based Validation of Timed Failure Propagation Graphs,
   Proceedings of the 29th AAAI Conference on Artificial Intelligence,
   Palo Alto, California,
   AAAI Press,
   2015
   , (AAAI 2015,
   Austin, Texas, USA,
   25/01/2015 - 30/01/2015)
10. Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
    HYCOMP - an SMT-based model checker for hybrid systems,
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings,
    Springer,
    vol.9035,
    2015
    , pp. 52-
    67
    , (21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    London, UK,
    April 11-18, 2015)

Pages