Publications

61. 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
62. 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
63. 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
64. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    HRELTL: A temporal logic for hybrid systems,
    in «INFORMATION AND COMPUTATION»,
    vol. 245,
    2015
    , pp. 54 -
    71
65. 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
66. 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)
67. 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)
68. 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)
69. Gian Pietro Picco; Davide Molteni; Amy L. Murphy; Federico Ossi; Francesca Cagnacci; Michele Corra; Sandro Nicoloso,
    Geo-referenced Proximity Detection of Wildlife with WildScope: Design and Characterization,
    Proceedings of the 14th International Conference on Information Processing in Sensor Networks,
    2015
    , pp. 238-
    249
    , (International Conference on Information Processing in Sensor Networks,
    Seattle, WA, USA,
    13-16/4/2015)
70. Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian,
    Efficient Anytime Techniques for Model-Based Safety Analysis,
    Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I,
    vol.9206,
    2015
    , pp. 603-
    621
    , (27th International Conference on Computer Aided Verification, CAV 2015,
    San Francisco, CA,
    July 18-24, 2015)

Pages