Alessandro Cimatti

Head of Impact Area Smart Digital Industry Embedded Systems (ES)

Contacts

+39 0461 314320

Publications

Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
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>; 2018; pp. 1-52
Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano; 22nd International Symposium on Formal Methods, FM 2018; Formal Specification and Verification of Dynamic Parametrized Architectures; in «Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings»; Springer; Vol. 10951>; 2018; pp. 625-644
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; SAT 2018: Theory and Applications of Satisfiability Testing – SAT 2018; Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization; in «Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018»; Vol. 10929>; 2018; pp. 383-398
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Thirty-First AAAI Conference on Artificial Intelligence; Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic; in «Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence»; AAAI Press; 2017; pp. 3547-3554
Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.; Model-Based Safety and Assessment (IMBSA 2017); Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study; in «Proceedings of International Symposium on Model-Based Safety and Assessment»; Springer; Vol. 10437>; 2017; pp. 255-271
Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Formal Methods in Computer Aided Design (FMCAD), 2017; SMT-based analysis of switching multi-domain linear Kirchhoff networks; in «Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017)»; 2017; pp. 188-195
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; 26th International Conference on Automated Deduction; Satisfiability Modulo Transcendental Functions via Incremental Linearization; in «Automated Deduction – CADE 26»; Vol. 10395>; 2017; pp. 95-113
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017; Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF; in «Tools and Algorithms for the Construction and Analysis of Systems»; Vol. 10205>; 2017; pp. 58-75