Cimatti, Alessandro
Cimatti, Alessandro
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Data-driven Approach for RUL Prediction of an Experimental Filtration System
2020-01-01 Beirami, Hani; Calzà, Davide; Cimatti, Alessandro; Islam, Manjurul; Roveri, Marco; Svaizer, Piergiorgio
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Stefano, Tonetta
A Model Checker for AADL
2010-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco; Wimmer, Ralf
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; B., Joost Schaafsma; Sebastiani, Roberto
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Abstraction Modulo Stability for Reverse Engineering
2022-01-01 Becchi, A; Cimatti, A
An Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005-01-01 M., Bozzano; Bruttomesso, Roberto; Cimatti, Alessandro; T., Junttila; P., Van Rossum; Sebastiani, Roberto; S., Schulz
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Applying SMT in Symbolic Execution of Microcode
2010-01-01 A., Franzen; Cimatti, Alessandro; A., Nadel; Sebastiani, Roberto; J., Shalev
Assumption-Based Runtime Verification of Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
2012-01-01 Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Bounded Verification of Past LTL
2004-01-01 Cimatti, A.; Roveri, M.; Sheridan, D.
Building Efficient Decision Procedures on top of SAT solvers
2006-01-01 Cimatti, Alessandro; Sebastiani, Roberto