1. Bozzano, M.; Cimatti, A.; Mattarei, C.,
    Formal reliability analysis of redundant architectures,
    in «FORMAL ASPECTS OF COMPUTING»,
    vol. 31,
    n. 1,
    2019
    , pp. 59-
    94
  2. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
    COMPASS 3.0,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol. 11427,
    2019
    , pp. 379-
    385
  3. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
    Robustness Envelopes for Temporal Plans,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    vol. 33,
    2019
  4. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
    Extending nuXmv with Timed Transition Systems and Timed Temporal Properties,
    Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019,
    vol. 11561,
    2019
    , pp. 376-
    386
  5. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems,
    Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019,
    Springer,
    vol. 11698,
    2019
    , pp. 200-
    215
  6. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Assumption-based Runtime Verification with Partial Observability and Resets,
    Runtime Verification (RV 2019),
    Springer,
    vol. 11757,
    n. 10,
    2019
    , pp. 165-
    184
  7. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    NuRV: a nuXmv Extension for Runtime Verification,
    Runtime Verification (RV 2019),
    Springer,
    vol. 11757,
    n. 23,
    2019
    , pp. 382-
    392
  8. Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco,
    Model-Based Safety and Assessment,
    vol. 11842,
    2019
  9. Micheli, Andrea; Scala, Enrico,
    Temporal Planning with Temporal Metric Trajectory Constraints,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    AAAI Press,
    2019
    , pp. 7675-
    7682
  10. Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    Strong temporal planning with uncontrollable durations,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1-
    34
  11. Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano,
    Tightening the contract refinements of a system architecture,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 52,
    n. 1,
    2018
    , pp. 88-
    116
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation,
    2018
  19. 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
  20. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying Proofs for LTL Model Checking,
    Formal Methods in Computer-Aided Design, FMCAD 2018,
    2018
    , pp. 225-
    233