1. Stefano, Tonetta,
    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
  2. 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
  3. Marco, Bozzano; Yiannis, Papadopoulos,
    Model-Based Safety and Assessment,
    Springer,
    vol. 10437,
    2017
  4. 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
  5. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design,
    vol. 51,
    2017
    , pp. 431-
    432
  6. Rachele, Sprugnoli; Tommaso, Caselli; Sara, Tonelli; Giovanni, Moretti,
    The Content Types Dataset: a New Resource to Explore Semantic and Functional Characteristics of Texts,
    Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short Papers,
    Association for Computational Linguistics,
    vol. 2,
    2017
    , pp. 260-
    266
  7. Stefano, Menini; Rachele, Sprugnoli; Giovanni, Moretti; Enrico, Bignotti; Sara, Tonelli; Bruno, Lepri,
    RAMBLE ON: Tracing Movements of Popular Historical Figures,
    Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics,
    Association for Computational Linguistics,
    2017
    , pp. 77-
    80
  8. Dragoni, Mauro; Tonelli, Sara; Moretti, Giovanni,
    A Knowledge Management Architecture for Digital Cultural Heritage,
    in «ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE»,
    vol. 10,
    n. 3,
    2017
    , pp. 15:1-
    15:18
  9. Giorda, Mariachiara; Moretti, Giovanni; Raehme, Boris; Stranisci, Marco; Tonelli, Sara; Turco, Federica,
    Religious and gender issues through the lens of a TV series: Watching OITNB,
    AIUCD 2017 Conference. Book of Abstracts,
    Associazione per l'informatica umanistica e le culture digitali (AIUCD),
    2017
    , pp. 45-
    50
  10. 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
  11. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; 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
  12. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    Dynamic controllability via Timed Game Automata,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1-
    42
  13. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
    Automated Verification and Tightening of Failure Propagation Models,
    Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
    2016
    , pp. 907-
    913
  14. 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
  15. Á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
  16. Daniel, Jakub; 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
  17. 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
  18. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    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
  19. Gario, Marco; 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
  20. Cimatti, Alessandro; Gario, Marco; 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