Alessandro Cimatti
Alessandro Cimatti
Head of Unit, Fondazione Bruno Kessler
Dirección de correo verificada de fbk.eu - Página principal
TítuloCitado porAño
: Satisfiability Checking Meets Symbolic Computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
International Conference on Intelligent Computer Mathematics, 28-43, 2016
2016
10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010)
F Alberti, S Ghilardi, E Pagani, S Ranise, GP Rossi
Electronic Communications of the EASST 10, 2010
2010
2008 Formal Methods in Computer-Aided Design
A Cimatti, RB Jones
2008
2014 21st International Symposium on Temporal Representation and Reasoning (TIME)(2014)
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
28th International Workshop on Principles of Diagnosis (DX'17)
M Zanella, I Pill, A Cimatti
28th International Workshop on Principles of Diagnosis, 2018
2018
38050 Povo (Trento), Italy Tel.: 39 461 314575 Fax: 39 461 314591 e-mail: prdoc@ itc. it url: http://www. itc. it
P Bertoli, A Cimatti, F Giunchiglia, P Traverso
1997
38050 Povo (Trento), Italy Tel.:+ 39 0461 314312 Fax:+ 39 0461 302040 e− mail: prdoc@ itc. it− url: http://www. itc. it
P Bertoli, A Cimatti, P Traverso
2003
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
A Cimatti, A Irfan, A Griggio, M Roveri, R Sebastiani
A comprehensive approach to on-board autonomy verification and validation
M Bozzano, A Cimatti, M Roveri, A Tchaltsev
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
142011
A Context-Based Mechanization of Multi-Agent Reasoning
A Cimatti, L Serafini
Formal Aspects of Context, 65-83, 2000
2000
A formal framework for the specification, verification and synthesis of diagnosers
M Bozzano, A Cimatti, M Gario, S Tonetta
Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
42013
A formal framework for the specification, verification and synthesis of fdi components
M Bozzano, A Cimatti, M Gario, S Tonetta
Technical Report, 2013. Available at URL https://es. fbk. eu/people/gario/TR …, 2013
12013
A Framework for Planning with Extended Goals under Partial Observability.
P Bertoli, A Cimatti, M Pistore, P Traverso
ICAPS, 215-225, 2003
472003
A Lazy and Layered SMT() Solver for Hard Industrial Verification Problems
R Bruttomesso, A Cimatti, A Franzén, A Griggio, Z Hanna, A Nadel, A Palti, ...
International Conference on Computer Aided Verification, 547-560, 2007
842007
A lazy approach to temporal epistemic logic model checking
A Cimatti, M Gario, S Tonetta
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
22016
A many sorted natural deduction
A Cimatti, F Giunchiglia, R Weyhrauch
11994
A Many‐Sorted Natural Deduction
A Cimatti, F Giunchiglia, RW Weyhrauch
Computational Intelligence 14 (1), 134-149, 1998
51998
A Model Based Decision Procedure for Common Sense Temporal Reasoning
A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso
1997
A model checker for AADL
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ...
International Conference on Computer Aided Verification, 562-565, 2010
402010
A modular approach to MaxSAT modulo theories
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
International conference on theory and applications of satisfiability …, 2013
282013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20