1. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation,
    2018
  2. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions,
    Proceedings of 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
    2018
  3. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying Proofs for LTL Model Checking,
    Formal Methods in Computer-Aided Design, FMCAD 2018,
    2018
    , pp. 225-
    233
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. Bozzano, Marco; Papadopoulos, Yiannis,
    Model-Based Safety and Assessment,
    Springer,
    vol. 10437,
    2017
  18. 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
  19. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design,
    vol. 51,
    2017
    , pp. 431-
    432
  20. Micheli, Andrea,
    Disjunctive temporal networks with uncertainty via SMT: Recent results and directions,
    in «INTELLIGENZA ARTIFICIALE»,
    vol. 11,
    n. 2,
    2017
    , pp. 155-
    178