IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 85
Titolo Data di pubblicazione Autore(i) File
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 1-gen-2011 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 1-gen-2012 Griggio, Alberto; Thi Thieu Hoa, Le; Roberto, Sebastiani
Broadening the Scope of SMT-COMP: the Application Track 1-gen-2012 Roberto, Bruttomesso; Griggio, Alberto
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 1-gen-2012 Griggio, Alberto
Optimizing Monitoring Requirements in Self-adaptive Systems 1-gen-2012 Raian, Ali; Griggio, Alberto; Anders, Franzen; Fabiano, Dalpiaz; Paolo, Giorgini
Deciding Floating-Point Logic with Systematic Abstraction 1-gen-2012 Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening
Software Model Checking via IC3 1-gen-2012 Cimatti, Alessandro; Griggio, Alberto
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 1-gen-2013 Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 1-gen-2013 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
A Modular Approach to MaxSAT Modulo Theories 1-gen-2013 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
Parameter Synthesis with IC3 1-gen-2013 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Deciding floating-point logic with abstract conflict driven clause learning 1-gen-2013 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
The MathSAT5 SMT Solver 1-gen-2013 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
IC3 Modulo Theories via Implicit Predicate Abstraction 1-gen-2014 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 1-gen-2014 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto
Verifying LTL Properties of Hybrid Systems with K-Liveness 1-gen-2014 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
The nuXmv Symbolic Model Checker 1-gen-2014 Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 1-gen-2015 Griggio, Alberto; Roveri, Marco
HYCOMP - an SMT-based model checker for hybrid systems 1-gen-2015 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Efficient Anytime Techniques for Model-Based Safety Analysis 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian
Mostrati risultati da 21 a 40 di 85
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