1. Abdelraheem, Mahmoud Fakhry Mahmoud; Svaizer, Piergiorgio; Omologo, Maurizio,
    Audio Source Separation in Reverberant Environments Using β -Divergence-Based Nonnegative Factorization,
    in «IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING»,
    vol. 25,
    n. 7,
    2017
    , pp. 1462-
    1476
  2. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
    The xSAP Safety Analysis Platform,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol. 9636,
    2016
    , pp. 533-
    539
  3. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    Dynamic controllability via Timed Game Automata,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1-
    42
  4. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni,
    Automated Verification and Tightening of Failure Propagation Models,
    Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
    2016
    , pp. 907-
    913
  5. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
    Automated Synthesis of Timed Failure Propagation Graphs,
    Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
    2016
    , pp. 972-
    978
  6. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas,
    SC^2: Satisfiability Checking Meets Symbolic Computation,
    Intelligent Computer Mathematics - 9th International Conference, CICM 2016,
    vol. 9791,
    2016
    , pp. 28-
    43
  7. Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
    Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations,
    Computer Aided Verification - 28th International Conference, CAV 2016,
    vol. 9779,
    2016
    , pp. 271-
    291
  8. Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto,
    Verilog2SMV: A Tool for Word-level Verification,
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016,
    2016
    , pp. 1156-
    1159
  9. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies,
    Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
    2016
    , pp. 3116-
    3122
  10. Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Model Checking at Scale: Automated Air Traffic Control Design Space Exploration,
    Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
    vol. 9780,
    2016
    , pp. 3-
    22
  11. Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,
    A Lazy Approach to Temporal Epistemic Logic Model Checking,
    Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
    International Foundation for Autonomous Agents and Multiagent Systems,
    2016
    , pp. 1218-
    1226
  12. Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano,
    Tightening a Contract Refinement,
    Software Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings,
    Springer,
    vol. 9763,
    2016
    , pp. 386-
    402
  13. Cimatti, Alessandro; Mover, S.; Sessa, Mirko,
    From Electrical Switched Networks to Hybrid Automata,
    Proceedings of the 21st International Symposium on Formal Methods, FM 2016,
    vol. 9995,
    2016
    , pp. 164-
    181
  14. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Infinite-state invariant checking with IC3 and predicate abstraction,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016
  15. Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano,
    Model-Based Design of an Energy-System Embedded Controller Using Taste,
    Proceedings of FM 2016: Formal Methods 21st International Symposium,
    vol. 9995,
    2016
    , pp. 741-
    747
  16. Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.,
    Satisfiability checking and symbolic computation,
    in «ACM COMMUNICATIONS IN COMPUTER ALGEBRA»,
    vol. 50,
    n. 4,
    2016
    , pp. 145-
    147
  17. Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano,
    Verification of Railway Interlocking – Compositional Approach with OCRA,
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,Verification, and Certification - First International Conference,RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings,
    Springer,
    vol. 9707,
    2016
    , pp. 134-
    149
  18. Victor, Bos; Harold, Bruintjes; Tonetta, Stefano,
    Catalogue of System and Software Properties,
    Computer Safety, Reliability, and Security - 35th International Conference,SAFECOMP 2016, Proceedings,
    Springer,
    vol. 9922,
    2016
    , pp. 88-
    101
  19. Abdelraheem, Mahmoud Fakhry Mahmoud; Svaizer, Piergiorgio; Omologo, Maurizio,
    Estimation of the spatial information in Gaussian model based audio source separation using weighted spectral bases,
    Proceedings of EUSIPCO 2016,
    European Association for Signal Processing (EURASIP),
    2016
  20. Ravanelli, Mirco; Svaizer, Piergiorgio; Omologo, Maurizio,
    Realistic Multi-Microphone Data Simulation for Distant Speech Recognition,
    Proceeding of Interspeech 2016,
    2016