Cimatti, Alessandro

Cimatti, Alessandro  

Mostra records
Risultati 1 - 20 di 133 (tempo di esecuzione: 0.038 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 1-gen-2013 Cimatti, AlessandroGario, Marco Elio Gustavo +
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto
Abstraction Modulo Stability for Reverse Engineering 1-gen-2022 Becchi, ACimatti, A
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 1-gen-2005 Bruttomesso, RobertoCimatti, AlessandroSebastiani, Roberto +
An Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Alessandro CimattiMarco Roveri +
Applying SMT in Symbolic Execution of Microcode 1-gen-2010 Cimatti, AlessandroSebastiani, Roberto +
Assumption-Based Runtime Verification of Infinite-State Systems 1-gen-2021 Cimatti, AlessandroTian, ChunTonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets 1-gen-2019 Cimatti, AlessandroTian, ChunTonetta, Stefano
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 1-gen-2012 Cimatti, AlessandroGario, Marco Elio Gustavo +
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 1-gen-1998 Alessandro CimattiMarco Roveri +
Bounded Verification of Past LTL 1-gen-2004 A. CimattiM. Roveri +
Building Efficient Decision Procedures on top of SAT solvers 1-gen-2006 Cimatti, AlessandroSebastiani, Roberto
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 1-gen-2016 Alessandro CimattiAhmed IrfanAlberto GriggioMarco RoveriRoberto Sebastiani
Codesign of Dependable Systems: A Component-Based Modeling Language 1-gen-2009 Alessandro CimattiMarco Roveri +
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 1-gen-2009 Alessandro CimattiMarco Roveri +
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2009 Alessandro CimattiMarco Roveri +
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Alessandro CimattiMarco Roveri +
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 1-gen-2011 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto
Conformant Planning via Model Checking 1-gen-2000 Alessandro CimattiMarco Roveri
Conformant Planning via Symbolic Model Checking 1-gen-2000 Alessandro CimattiMarco Roveri