You are here

Publications

  1. Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang,
    Proceedings of ATVA,
    Springer,
    vol.9364,
    2015
    , pp. 326-
    343
    , (Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015,
    Shanghai, China,
    October 12-15, 2015)
  2. Bozzano, M.; Cimatti, A.; Fernandes Pires, A.; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, S.,
    Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I,
    vol.9206,
    2015
    , pp. 518-
    535
    , (27th International Conference on Computer Aided Verification (CAV),
    San Francisco, CA, USA,
    July 18-24, 2015)
  3. Arts, Thomas; Tonetta, Stefano,
    Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings,
    vol.9337,
    2015
    , pp. 74-
    89
    , (34th International Conference on Computer Safety, Reliability, and Security,
    Delft, The Netherlands,
    September 23-25, 2015)
  4. Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano,
    Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings,
    vol.9338,
    2015
    , pp. 264-
    276
    , (2nd International workshop on the Integration of Safety and Security Engineering,
    Delft, The Netherlands,
    September 22, 2015)
  5. A. Cimatti;S. Mover;S. Tonetta,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 45,
    n. 2,
    2014
    , pp. 165 -
    188
  6. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving strong controllability of temporal problems with uncertainty using SMT,
    in «CONSTRAINTS»,
    2014
  7. Bozzano M.; Cimatti A.; Katoen J.-P.; Katsaros P.; Mokos K.; Nguyen V.Y.; Noll T.; Postma B.; Roveri M.,
    Spacecraft Early Design Validation using Formal Methods,
    in «RELIABILITY ENGINEERING & SYSTEM SAFETY»,
    vol. 132,
    2014
    , pp. 20 -
    35
  8. Laura Baracchi;Alessandro Cimatti;Gerald Garcia;Silvia Mazzini;Stefano Puri;Stefano Tonetta,
    Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach,
    Handbook of Research on Embedded Systems Design,
    2014
    , pp. 209 -
    241
  9. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
    Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,
    TACAS 2014, LNCS 8413,,
    Berlin,
    Springer-Verlag,
    vol.8413,
    2014
    , pp. 326-
    340
    , (Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014,
    Grenoble, Francia,
    2014)
  10. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
    IC3 Modulo Theories via Implicit Predicate Abstraction,
    TACAS,
    Springer,
    vol.8413,
    2014
    , pp. 46-
    61
    , (Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
    Grenoble,
    2014)

Pages