Alessandro Cimatti

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

Contacts

+39 0461 314320

Publications

Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani; Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization; in «Theory and Applications of Satisfiability Testing – SAT 2018»; Vol. 10929>; 2018; pp. 383-398
Alessandro Cimatti; Ramiro Adrian Demasi; Stefano Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
Alessandro Cimatti; Andrea Micheli; Marco Roveri; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
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
Alessandro Cimatti; Mirko Sessa; 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
Alessandro Cimatti; Andrea Micheli; Marco Roveri; 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
Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani; 26th International Conference on Automated Deduction; Satisfiability Modulo Transcendental Functions via Incremental Linearization; in «Automated Deduction – CADE 26»; Vol. 10395>; 2017; pp. 95-113
Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani; 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
Roberto Cavada; Alessandro Cimatti; Luigi Crema; Mattia Roccabruna; Stefano Tonetta; FM 2016: Formal Methods 21st International Symposium; Model-Based Design of an Energy-System Embedded Controller Using Taste; in «Proceedings of FM 2016: Formal Methods 21st International Symposium»; Vol. 9995>; 2016; pp. 741-747
Alessandro Cimatti; Alberto Griggio; Sergio Mover; Stefano Tonetta; Infinite-state invariant checking with IC3 and predicate abstraction; in «FORMAL METHODS IN SYSTEM DESIGN»; 2016; pp.