IRIS

Cimatti, Alessandro

Cimatti, Alessandro  

Centro DI  

Mostra records
Risultati 1 - 20 di 310 (tempo di esecuzione: 0.014 secondi).
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