Cimatti, Alessandro

Cimatti, Alessandro  

Mostra records
Risultati 1 - 20 di 153 (tempo di esecuzione: 0.033 secondi).
Titolo Anno di pubblicazione Autori Unitn File
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
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 +
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 1-gen-2020 Hani BeiramiAlessandro CimattiMarco RoveriPiergiorgio Svaizer +
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 1-gen-2013 Cimatti, AlessandroGario, Marco Elio Gustavo +
A Model Checker for AADL 1-gen-2010 Alessandro CimattiMarco Roveri +
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 1-gen-2020 Becchi, AnnaCavada, RobertoCimatti, AlessandroGriggio, AlbertoScaglione, GiuseppeSusi, Angelo +
A Modular Approach to MaxSAT Modulo Theories 1-gen-2013 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 1-gen-2002 Sebastiani, RobertoCimatti, Alessandro +
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, AlessandroSebastiani, RobertoGriggio, Alberto
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 Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Alessandro CimattiMarco Roveri +
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 1-gen-2005 Bruttomesso, RobertoCimatti, AlessandroSebastiani, Roberto +
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 1-gen-2015 Alessandro CimattiAndrea MicheliMarco 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 +