1. Gorm Larsen, Peter; Daniel Macedo, Hugo; Fitzgerald, John S.; Pfeifer, Holger; Benedikt, Martin; Tonetta, Stefano; Marguglio, Angelo; Gusmeroli, Sergio; Jr., George Suciu,
    A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems,
    Proceedings of the 10th International Conference on Simulation andModeling Methodologies, Technologies and Applications, (SIMULTECH) 2020,
    ScitePress,
    2020
    , pp. 263-
    270
  2. Davenport, J. H.; England, M.; Griggio, A.; Sturm, T.; Tinelli, C.,
    Symbolic computation and satisfiability checking,
    Journal of Symbolic Computation,
    vol. 100,
    2020
    , pp. 1-
    10
  3. Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico,
    Decidability and Complexity of Action-Based Temporal Planning over Dense Time,
    Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    AAAI Press,
    2020
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco,
    Model-Based Safety and Assessment,
    vol. 11842,
    2019
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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