1. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    IC3 Modulo Theories via Implicit Predicate Abstraction,
    TACAS,
    Springer,
    vol. 8413,
    2014
    , pp. 46-
    61
  2. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
    13th International Conference on Space Operations 2014,
    2014
  3. Bozzano, Marco; Cimatti, Alessandro; Katoen, J. P.; Katsaros, P.; Mokos, K.; Nguyen, V. Y.; Noll, T.; Postma, B.; Roveri, Marco,
    Spacecraft Early Design Validation using Formal Methods,
    in «RELIABILITY ENGINEERING & SYSTEM SAFETY»,
    vol. 132,
    2014
    , pp. 20-
    35
  4. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Verifying LTL Properties of Hybrid Systems with K-Liveness,
    CAV,
    2014
    , pp. 424-
    440
  5. Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
  6. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano,
    Formal Safety Assessment via Contract-Based Design.,
    ATVA14,
    2014
    , pp. 81-
    97
  7. Bittner B.; Bozzano M.; Cimatti A.; Gario M.; Griggio A.,
    Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions,
    Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,
    2014
    , pp. 23-
    30
  8. Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Roveri, Marco,
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2014
    , pp. 2242-
    2249
  9. Cimatti A.; Hunsberger L.; Micheli A.; Posenato R; Roveri M.,
    Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation,
    Proceedings of the 21st International Symposium on Temporal Representation and Reasoning,
    IEEE,
    2014
    , pp. 27-
    36
  10. Guiotto, A.; De Ferluc, R.; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Yushtein, Y.,
    FAME Process: A Dedicated Development and V&V Process for FDIR,
    ESA SP-725,
    2014
  11. Bittner B.; Bozzano M.; Cimatti A.; De Ferluc R. ; Gario M.; Guiotto A. ; Yushtein Y.,
    An Integrated Process for FDIR Design in Aerospace,
    LNCS 8822,
    Springer International Publishing,
    vol. 8822,
    2014
    , pp. 82-
    95
  12. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y.,
    FAME: A Model-Based Environment for FDIR Design in Aerospace,
    Proceedings of the International Symposium on Model Based Safety and Assessment,
    Springer International Publishing,
    vol. 8822,
    2014
    , pp. 1-
    2
  13. 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
  14. Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano,
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
    vol. 8666,
    2014
    , pp. 81-
    92
  15. Brutti, Alessio; Ravanelli, Mirco; Svaizer, Piergiorgio; Omologo, Maurizio,
    A speech event detection and localization task for multiroom environments,
    2014 4th Joint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA),
    2014
    , pp. 157-
    161
  16. M. Matassoni; A. Brutti; P. Svaizer,
    Acoustic modeling based on Early-to-Late Reverberation Ratio for robust ASR,
    International Workshop on Acoustic Signal Enhancement,
    2014
    , pp. 264-
    268
  17. Abdelraheem, Mahmoud Fakhry Mahmoud; Svaizer, Piergiorgio; Omologo, Maurizio,
    Reverberant audio source separation using partially pre-trained non-negative matrix factorization,
    Proceedings of IWAENC 2014,
    2014
  18. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    SMT-based scenario verification for hybrid systems,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 42,
    n. 1,
    2013
    , pp. 46-
    66
  19. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian,
    Automated Analysis of Reliability Architectures,
    18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013,
    IEEE Computer Society,
    2013
    , pp. 198-
    207
  20. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco,
    Software Model Checking SystemC,
    in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
    vol. 32,
    2013
    , pp. 774-
    787