IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 71
Titolo Data di pubblicazione Autore(i) File
Verifying Industrial Hybrid Systems with MathSAT 1-gen-2005 Gilles, Audemard; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
Efficient Theory Combination via Boolean Search 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto
Encoding RTL Constructs for Mathsat: A preliminary report 1-gen-2006 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Ziyad, Hanna; Zurab, Khasidashvili; Amit, Palti; Sebastiani, Roberto
Efficient theory combination via boolean search 1-gen-2006 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 1-gen-2006 Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 1-gen-2006 Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Alessandro, Santuari; Sebastiani, Roberto
Building Efficient Decision Procedures on top of SAT solvers 1-gen-2006 Cimatti, Alessandro; 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
Property-driven partitioning for abstraction refinement 1-gen-2007 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
GSTE is partitioned model checking 1-gen-2007 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
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
Efficient Interpolant Generation in Satisfiability Modulo Theories 1-gen-2008 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
The MathSAT 4SMT Solver 1-gen-2008 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Software Model Checking via Large-Block Encoding 1-gen-2009 Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto
Interpolant Generation for UTVPI 1-gen-2009 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 1-gen-2009 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 1-gen-2009 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Software Model Checking via Large-Block Encoding 1-gen-2009 Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto
Applying SMT in Symbolic Execution of Microcode 1-gen-2010 Anders, Franzen; Cimatti, Alessandro; Alexander, Nadel; Sebastiani, Roberto; Jonathan, Shalev
Mostrati risultati da 41 a 60 di 71
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile