Cimatti, Alessandro
Cimatti, Alessandro
Centro DI
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev
A Context-Based Mechanization of Multi-Agent Reasoning
2000-01-01 Cimatti, Alessandro; Serafini, Luciano
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems
2007-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto
A Many Sorted Natural Deduction
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch
A Model Based Decision Procedure for Common Sense Temporal Reasoning
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
A Model Checker for AADL
2010-01-01 Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
A planning language and a semantics for real world autonomous agents
1993-01-01 Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro
A Property-Based Proof System for Contract-Based Design
2012-01-01 Cimatti, Alessandro; Tonetta, Stefano
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
1997-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; 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
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
1998-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
2007-01-01 Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro
A System for Multi-Level Reasoning
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari
Abstraction in Planning via Model Checking
1998-01-01 Alessandro Cimatti; Fausto Giunchiglia; Marco Roveri
An Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Comprehensive Approach to On-Board Autonomy Verification and Validation | 1-gen-2011 | Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev | |
A Context-Based Mechanization of Multi-Agent Reasoning | 1-gen-2000 | Cimatti, Alessandro; Serafini, Luciano | |
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
A Framework for Planning with Extended Goals under Partial Observability | 1-gen-2003 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo | |
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems | 1-gen-2007 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto | |
A Many Sorted Natural Deduction | 1-gen-1998 | Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch | |
A Model Based Decision Procedure for Common Sense Temporal Reasoning | 1-gen-1997 | Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo | |
A Model Checker for AADL | 1-gen-2010 | Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer | |
A Modular Approach to MaxSAT Modulo Theories | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
A planning language and a semantics for real world autonomous agents | 1-gen-1993 | Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro | |
A Property-Based Proof System for Contract-Based Design | 1-gen-2012 | Cimatti, Alessandro; Tonetta, Stefano | |
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software | 1-gen-1997 | Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu | |
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions | 1-gen-2002 | Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto | |
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories | 1-gen-2007 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools | 1-gen-1998 | Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo | |
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis | 1-gen-2007 | Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro | |
A System for Multi-Level Reasoning | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari | |
Abstraction in Planning via Model Checking | 1-gen-1998 | Alessandro Cimatti; Fausto Giunchiglia; Marco Roveri | |
An Analytic Evaluation of SystemC Encodings in Promela | 1-gen-2011 | Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri | |
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto |