1. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization,
    Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018,
    vol. 10929,
    2018
    , pp. 383-
    398
  2. Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano,
    Formal Specification and Verification of Dynamic Parametrized Architectures,
    Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings,
    Springer,
    vol. 10951,
    2018
    , pp. 625-
    644
  3. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 19,
    n. 3,
    2018
    , pp. 1-
    52
  4. Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe,
    Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks,
    Proceedings of 2018 Formal Methods in Computer Aided Design, FMCAD 2018,
    2018
  5. Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio,
    Model checking: teoria ed applicazioni,
    Le direzioni della ricerca logica in Italia 2,
    Edizioni ETS,
    2018
    , pp. 141-
    193
  6. Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik,
    Symbolic execution with existential second-order constraints,
    Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018,
    2018
    , pp. 389-
    399
  7. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation,
    2018
  8. 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
  9. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying Proofs for LTL Model Checking,
    Formal Methods in Computer-Aided Design, FMCAD 2018,
    2018
    , pp. 225-
    233
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.,
    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
  18. 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
  19. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch,
    Computer Safety, Reliability, and Security – SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings,
    Springer,
    vol. 10489,
    2017
  20. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch,
    Computer Safety, Reliability, and Security – 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings,
    Springer,
    vol. 10488,
    2017