1. Jalalvand, Shahab; Falavigna, Giuseppe Daniele; Matassoni, Marco; Svaizer, Piergiorgio; Omologo, Maurizio,
    Boosted acoustic model learning and hypotheses rescoring on the CHiME-3 task,
    Proceedings of 2015 IEEE Workshop on Automatic Speech Recognition and Understanding,
    2015
    , pp. 409-
    415
  2. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,
    Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,
    TACAS 2014, LNCS 8413,,
    Springer-Verlag,
    vol. 8413,
    2014
    , pp. 326-
    340
  3. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    Quantifier-free encoding of invariants for hybrid systems,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 45,
    n. 2,
    2014
    , pp. 165-
    188
  4. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    IC3 Modulo Theories via Implicit Predicate Abstraction,
    TACAS,
    Springer,
    vol. 8413,
    2014
    , pp. 46-
    61
  5. Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella,
    Innovative Rover Operations Concepts – Autonomous Planner (IRONCAP) – Concluding the adventure,
    13th International Conference on Space Operations 2014,
    2014
  6. 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
  7. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Verifying LTL Properties of Hybrid Systems with K-Liveness,
    CAV,
    2014
    , pp. 424-
    440
  8. 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
  9. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano,
    Formal Safety Assessment via Contract-Based Design.,
    ATVA14,
    2014
    , pp. 81-
    97
  10. 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
  11. Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Roveri, Marco,
    Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty,
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2014
    , pp. 2242-
    2249
  12. 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
  13. 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
  14. 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
  15. 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
  16. Laura, Baracchi; Cimatti, Alessandro; Gerald, Garcia; Silvia, Mazzini; Stefano, Puri; Tonetta, Stefano,
    Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach,
    Handbook of Research on Embedded Systems Design,
    2014
    , pp. 209-
    241
  17. Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano,
    Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case,
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
    vol. 8666,
    2014
    , pp. 81-
    92
  18. 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
  19. 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
  20. 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