Sfoglia per Autore
An Algebraic Approach to Subframe Logics. Intuitionistic Case
2007 G. Bezhanishvili, S. Ghilardi
LTL over description logics axioms
2008 F. Baader, S. Ghilardi, C. Lutz
Towards SMT Model-Checking of Array-based Systems
2008 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
A comprehensive combination framework
2008 S. Ghilardi, E. Nicolini, D. Zucchelli
Goal-directed invariant synthesis for model checking modulo theories
2009 S. Ghilardi, S. Ranise
Light-weight SMT-based model checking
2009 S. Ghilardi, S. Ranise, T. Valsecchi
MCMT: a model checker modulo theories (system description)
2010 S. Ghilardi, S. Ranise
Brief announcement: automated support for the design and validation of fault tolerant parameterized systems - a case study
2010 F. Alberti, S. Ghilardi, E. Pagani, S. Ranise, G.P. Rossi
Continuity, freeness, and filtrations
2010 S. Ghilardi
Automated support for the design and validation of fault-tolerant parameterized systems : a case study
2010 F. Alberti, S. Ghilardi, E. Pagani, S. Ranise, G.P. Rossi
Backward Reachability of Array-based Systems by SMT Solving: Termination and Invariant Synthesis
2010 S. Ghilardi, S. Ranise
Unification in modal and description logics
2011 F. Baader, S. Ghilardi
An algebraic approach to subframe logics. Modal case
2011 G. Bezhanishvili, S. Ghilardi, M. Jibladze
Rewriting-based quantifier free interpolation for a theory of arrays
2011 R. Bruttomesso, S. Ghilardi, S. Ranise
Automated termination in model checking modulo theories
2011 A. Carioni, S. Ghilardi, S. Ranise
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints
2011 R. Bruttomesso, S. Ghilardi, S. Ranise
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories
2012 F. Alberti, S. Ghilardi, E. Pagani, S. Ranise, G.P. Rossi
SAFARI: SMT-based Abstraction For Arrays with Interpolants
2012 F. Alberti, R. Bruttomesso, S. Ghilardi, S. Ranise, N. Sharygina
From Strong Amalgamability to Modularity of Quantifier Free Interpolation
2012 R. Bruttomesso, S. Ghilardi, S. Ranise
Lazy abstraction with interpolants for arrays,
2012 F. Alberti, R. Bruttomesso, S. Ghilardi, S. Ranise, N. Sharygina
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