Publications

61. 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
62. 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)
63. 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)
64. A. Bogliolo;V. Freschi;E. Lattanzi;A. Murphy;U. Raza,
    Towards a True Energetically Sustainable WSN: A Case Study with Prediction-Based Data Collection and a Wake-up Receiver,
    Proc. of 9th IEEE Int. Symp. on Industrial Embedded Systems,
    New York,
    IEEE,
    2014
    , (9th IEEE International Symposium on Industrial Embedded Systems,
    Pisa, Italy,
    2014-June)
65. G. P. Picco; C. Julien; A. L. Murphy; M. Musolesi; G.-C. Roman,
    Software engineering for mobility: reflecting on the past, peering into the future,
    Proceedings of the on Future of Software Engineering,
    2014
    , pp. 13-
    28
    , (Proceedings of the on Future of Software Engineering,
    Hyderabad, India,
    31 May - 7 June 2014)
66. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
    Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure,
    13th International Conference on Space Operations 2014,
    2014
67. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
    Verifying LTL Properties of Hybrid Systems with K-Liveness,
    CAV,
    2014
    , pp. 424-
    440
    , (Computer-Aided Verification,
    2014)
68. R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
    , (Computer Aided Verification,
    Vienna,
    2014)
69. Thomas Arts; Michele Dorigatti; Stefano Tonetta,
    Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case,
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
    vol.8666,
    2014
    , pp. 81-
    92
    , (33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014),
    Florence, Italy,
    September 10-12, 2014)
70. M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
    Formal Safety Assessment via Contract-Based Design.,
    ATVA14,
    2014
    , pp. 81-
    97
    , (Automated Technology for Verification and Analysis,
    Sydney,

Pages