Publications

81. 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)
82. 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)
83. 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)
84. Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Comparing Different Functional Allocations in Automated Air Traffic Control Design,
    Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2015,
    IEEE,
    2015
    , pp. 112-
    119
    , (FMCAD '15 Formal Methods in Computer-Aided Design,
    Austin, TX, USA,
    September 27 - 30, 2015)
85. Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang,
    Formal Verification of Infinite-State BIP Models,
    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)
86. Bozzano, M.; Cimatti, A.; Fernandes Pires, A.; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, S.,
    Formal Design and Safety Analysis of AIR6110 Wheel Brake System,
    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)
87. Arts, Thomas; Tonetta, Stefano,
    Safely Using the AUTOSAR End-to-End Protection Library,
    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)
88. Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano,
    Combining MILS with Contract-Based Design for Safety and Security Requirements,
    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)
89. A. Cimatti;S. Mover;S. Tonetta,
    Quantifier-free encoding of invariants for hybrid systems,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 45,
    n. 2,
    2014
    , pp. 165 -
    188
90. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving strong controllability of temporal problems with uncertainty using SMT,
    in «CONSTRAINTS»,
    2014

Pages