1. Pertilä, Pasi; Brutti, Alessio; Svaizer, Piergiorgio; Omologo, Maurizio,
    Multichannel Source Activity Detection, Localization, and Tracking,
    Audio Source Separation and Speech Enhancement,
    2018
    , pp. 47-
    64
  2. Cerone, Antonio; Roveri, Marco,
    Software Engineering and Formal Methods – {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    vol. 10729,
    2018
  3. Zottele, Fabio; Roveri, Marco; Rigo, Elia; Simoni, Eros; Villa, Paolo; Toller, Giambattista,
    GIADA, un sistema centralizzato per la gestione dell’irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation,
    Atti del XXI Convegno Nazionale di Agrometeorologia Agrometeorologia per le Politiche di Sviluppo Rurale Agrometeorology for Rural Development Policies,
    2018
    , pp. 70-
    73
  4. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF,
    Tools and Algorithms for the Construction and Analysis of Systems,
    vol. 10205,
    2017
    , pp. 58-
    75
  5. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Satisfiability Modulo Transcendental Functions via Incremental Linearization,
    Automated Deduction – CADE 26,
    vol. 10395,
    2017
    , pp. 95-
    113
  6. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic,
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2017
    , pp. 3547-
    3554
  7. Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko,
    SMT-based analysis of switching multi-domain linear Kirchhoff networks,
    Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017),
    2017
    , pp. 188-
    195
  8. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
    Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study,
    Proceedings of International Symposium on Model-Based Safety and Assessment,
    Springer,
    vol. 10437,
    2017
    , pp. 255-
    271
  9. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
    Formal Methods for Aerospace Systems,
    Cyber-Physical System Design from an Architecture Analysis Viewpoint,
    Springer,
    2017
    , pp. 133-
    159
  10. Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,
    Computer Safety, Reliability, and Security – SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings,
    Springer,
    vol. 10489,
    2017
  11. Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,
    Computer Safety, Reliability, and Security – 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings,
    Springer,
    vol. 10488,
    2017
  12. Tonetta, Stefano,
    Linear-time Temporal Logic with Event Freezing Functions,
    Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,
    vol. 256,
    2017
    , pp. 195-
    209
  13. Fauri, Davide; Dos Santos, Daniel Ricardo; Costante, Elisa; den Hartog, Jerry; Etalle, Sandro; Tonetta, Stefano,
    From System Specification to Anomaly Detection (and back),
    Proceedings of the 2017 Workshop on Cyber-Physical Systems Securityand PrivaCy,
    ACM,
    2017
    , pp. 13-
    24
  14. Bozzano, Marco; Papadopoulos, Yiannis,
    Model-Based Safety and Assessment,
    Springer,
    vol. 10437,
    2017
  15. Bozzano, Marco,
    Causality and Temporal Dependencies in the Design of Fault Management Systems,
    in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»,
    Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
    vol. 259,
    2017
    , pp. 39-
    46
  16. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design,
    vol. 51,
    2017
    , pp. 431-
    432
  17. Micheli, Andrea,
    Disjunctive temporal networks with uncertainty via SMT: Recent results and directions,
    in «INTELLIGENZA ARTIFICIALE»,
    vol. 11,
    n. 2,
    2017
    , pp. 155-
    178
  18. 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
  19. 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
  20. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    Dynamic controllability via Timed Game Automata,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1-
    42