1. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Solving strong controllability of temporal problems with uncertainty using SMT,
    in «CONSTRAINTS»,
    vol. 20,
    2015
    , pp. 7-
    29
  2. A. Cimatti; S. Tonetta,
    Contracts-refinement proof system for component-based embedded systems,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    2015
  3. Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,
    Safety Assessment of AltaRica Models via Symbolic Model Checking,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    vol. 98,
    2015
    , pp. 464-
    483
  4. 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,
    AAAI Press,
    2015
  5. 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,
    AAAI Press,
    2015
  6. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    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
  7. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 224,
    2015
    , pp. 1-
    27
  8. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; 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
  9. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    HRELTL: A temporal logic for hybrid systems,
    in «INFORMATION AND COMPUTATION»,
    vol. 245,
    2015
    , pp. 54-
    71
  10. 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
  11. Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco Elio Gustavo; 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
  12. 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
  13. Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano,
    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
  14. 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
  15. 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
  16. 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
  17. Micheli, Andrea; Do, Minh; Smith, David,
    Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations,
    Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
    AAAI Press,
    2015
    , pp. 1631-
    1637
  18. Gario, Marco Elio Gustavo; Micheli, Andrea,
    PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms,
    Proceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT),
    2015
  19. Fakhry, M.; Svaizer, Piergiorgio; Omologo, Maurizio,
    Audio source separation usinga redundant library of source spectral bases for nonnegative tensor factorization,
    Proceedings of ICASSP 2015,
    2015
  20. Zwyssig, E.; Ravanelli, Mirco; Svaizer, Piergiorgio; Omologo, Maurizio,
    A multi-channel corpus for distant-speech interaction in presence of known interferences,
    Proceedings of ICASSP 2015,
    2015