Cimatti, Alessandro
Cimatti, Alessandro
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 Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
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 Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; 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
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
Codesign of Dependable Systems: A Component-Based Modeling Language
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco
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
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Conformant Planning via Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
Conformant Planning via Symbolic Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
Conformant Planning via Symbolic Model Checking and Heuristic Search
2004-01-01 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio