Publications

61. Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano,
    Tightening a Contract Refinement,
    Software Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings,
    Springer,
    vol.9763,
    2016
    , pp. 386-
    402
    , (14th International Conference on Software Engineering and Formal Methods,
    Vienna, Austria,
    July 4-8, 2016)
62. Cimatti, A.; Mover, S.; Sessa, M.,
    From Electrical Switched Networks to Hybrid Automata,
    Proceedings of the 21st International Symposium on Formal Methods, FM 2016,
    vol.9995,
    2016
    , pp. 164-
    181
    , (FM 2016: 21st International Symposium on Formal Methods,
    Limassol, Cyprus,
    November 9-11, 2016)
63. Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano,
    Model-Based Design of an Energy-System Embedded Controller Using Taste,
    Proceedings of FM 2016: Formal Methods 21st International Symposium,
    vol.9995,
    2016
    , pp. 741-
    747
    , (FM 2016: Formal Methods 21st International Symposium,
    Limassol, Cyprus,
    November 9-11, 2016)
64. A. Cimatti; S. Tonetta,
    Contracts-refinement proof system for component-based embedded systems,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    2015
65. 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
66. 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
67. 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
68. 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
69. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    HRELTL: A temporal logic for hybrid systems,
    in «INFORMATION AND COMPUTATION»,
    vol. 245,
    2015
    , pp. 54 -
    71
70. 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

Pages