IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

GHILARDI, SILVIO

GHILARDI, SILVIO  

Dipartimento di Matematica Federigo Enriques  

Mostra records
Risultati 1 - 20 di 101 (tempo di esecuzione: 0.003 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints 1-gen-2011 BRUTTOMESSO, ROBERTOS. Ghilardi + Book Part (author) -
A comprehensive combination framework 1-mar-2008 S. GhilardiE. NicoliniD. Zucchelli Article (author) -
A Comprehensive Framework for Combining Decision Procedures 1-gen-2005 Silvio GhilardiNICOLINI, ENRICAZUCCHELLI, DANIELE Book Part (author) -
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks 1-gen-2021 Bruschi D.Ghilardi S.Lanzi A.Pagani E. + Article (author) -
A Framework for the Verification of Parameterized Infinite-state Systems 1-gen-2017 S. Ghilardi + Article (author) -
A model-theoretic characterization of monadic second order logic on infinite words 1-gen-2017 S. GhilardiVAN GOOL, SAMUEL JACOB Article (author) -
A new Acceleration-based Combination Framework for Array Properties 1-gen-2015 S. Ghilardi + Book Part (author) -
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic 1-gen-2004 Silvio Ghilardi + Book Part (author) -
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic 1-gen-2006 S. Ghilardi + Article (author) -
Admissible Bases Via Stable Canonical Rules 1-gen-2016 S. Ghilardi + Article (author) -
An Algebraic Approach to Subframe Logics. Intuitionistic Case 1-giu-2007 S. Ghilardi + Article (author) -
An algebraic approach to subframe logics. Modal case 1-gen-2011 S. Ghilardi + Article (author) -
An extension of lazy abstraction with interpolation for programs with arrays 1-ago-2014 S. Ghilardi + Article (author) -
Automated analysis of parametric timing based mutual exclusion protocols 1-apr-2012 S. Ghilardi + Book Part (author) -
Automated support for the design and validation of fault-tolerant parameterized systems : a case study 1-set-2010 S. GhilardiE. PaganiG.P. Rossi + Article (author) -
Automated termination in model checking modulo theories 1-gen-2011 CARIONI, ALESSANDROS. Ghilardi + Book Part (author) -
Automated termination in model checking modulo theories 1-feb-2013 S. Ghilardi + Article (author) -
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif 1-gen-2021 S. Ghilardi + Book Part (author) -
Backward Reachability of Array-based Systems by SMT Solving: Termination and Invariant Synthesis 1-dic-2010 S. Ghilardi + Article (author) -
Booster : an Acceleration-Based Verification Framework for Array Programs 1-gen-2014 S. Ghilardi + Book Part (author) -