Travelled to:1 × Austria
1 × Estonia
1 × France
1 × Germany
1 × Ireland
1 × Serbia
2 × Australia
2 × USA
3 × United Kingdom
Collaborated with:S.Ranise F.Alberti F.Baader N.Sharygina R.Bruttomesso E.Nicolini D.Zucchelli C.Lutz F.Wolter C.Tinelli E.Pagani M.P.Bonacina D.Calvanese A.Gianola M.Montali A.Rivkin
Talks about:array (6) procedur (4) theori (4) model (4) base (4) interpol (3) logic (3) decis (3) flat (3) quantifi (2)
Person: Silvio Ghilardi
DBLP: Ghilardi:Silvio
Contributed to:
2014
2014
2012
20122012
201120102008
2008
2007200620062005200420162019Wrote 16 papers:
- SMT-2014-AlbertiGS #array
- Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.
- TACAS-2014-AlbertiGS #array
- Decision Procedures for Flat Array Properties (FA, SG, NS), pp. 15–30.
- CAV-2012-AlbertiBGRS #abstraction #array #named #smt
- SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.
- IJCAR-2012-BruttomessoGR #composition #quantifier
- From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (RB, SG, SR), pp. 118–133.
- SMT-2012-AlbertiBGRS #library #modulo theories #reachability
- Reachability Modulo Theory Library (FA, RB, SG, SR, NS), pp. 67–76.
- RTA-2011-BruttomessoGR #array #formal method #quantifier
- Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (RB, SG, SR), pp. 171–186.
- IJCAR-2010-GhilardiR #model checking #modulo theories #named
- MCMT: A Model Checker Modulo Theories (SG, SR), pp. 22–29.
- IJCAR-2008-GhilardiNRZ #model checking #smt #towards
- Towards SMT Model Checking of Array-Based Systems (SG, EN, SR, DZ), pp. 67–82.
- KR-2008-BaaderGL #axiom #logic #ltl
- LTL over Description Logic Axioms (FB, SG, CL), pp. 684–694.
- CADE-2007-GhilardiNRZ #infinity #model checking #satisfiability
- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems (SG, EN, SR, DZ), pp. 362–378.
- IJCAR-2006-BonacinaGNRZ #decidability
- Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures (MPB, SG, EN, SR, DZ), pp. 513–527.
- KR-2006-GhilardiLW #logic #ontology
- Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.
- CADE-2005-BaaderG
- Connecting Many-Sorted Theories (FB, SG), pp. 278–294.
- IJCAR-2004-BaaderGT #decidability #logic #problem #word
- A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (FB, SG, CT), pp. 183–197.
- IJCAR-2016-AlbertiGP #array #constraints
- Counting Constraints in Flat Array Fragments (FA, SG, EP), pp. 65–81.
- CADE-2019-CalvaneseGGMR
- Model Completeness, Covers and Superposition (DC, SG, AG, MM, AR), pp. 142–160.