GHILARDI, SILVIO
GHILARDI, SILVIO
Dipartimento di Matematica Federigo Enriques
Interpolation Results for Arrays with Length and MaxDiff
2023 S. Ghilardi, A. Gianola, D. Kapur, C. Naso
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
2023 N. Bezhanishvili, L. Carai, S. Ghilardi, L. Landi
Safety Verification and Universal Invariants for Relational Action Bases
2023 S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
The Invariance Modality
2022 S. Ghilardi
Unification in lax logic
2022 S. Ghilardi, G. Lenzi
Combination of Uniform Interpolants via Beth Definability
2022 D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories
2022 S. Ghilardi, A. Gianola
Petri net-based object-centric processes with read-only data
2022 S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
UNIFORM INTERPOLANTS IN EUF: ALGORITHMS USING DAG-REPRESENTATIONS
2022 S. Ghilardi, A. Gianola, D. Kapur
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif
2021 J. Castellanos Joo, S. Ghilardi, A. Gianola, D. Kapur
Model Completeness, Uniform Interpolants and Superposition Calculus (With Applications to Verification of Data-Aware Processes)
2021 D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Interpolation and Amalgamation for Arrays with MaxDiff
2021 S. Ghilardi, A. Gianola, D. Kapur
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks
2021 D. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN
2021 S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Diego’s Theorem for nuclear implicative semilattices
2020 G. Bezhanishvili, N. Bezhanishvili, L. Carai, D. Gabelaia, S. Ghilardi, M. Jibladze
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations
2020 S. Ghilardi, A. Gianola, D. Kapur
Combined Covers and Beth Definability
2020 D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
2020 S. Ghilardi, L. Santocanale
SMT-based verification of data-aware processes: a model-theoretic approach
2020 D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Model Completeness and Π2 -rules: the case of Contact Algebras
2020 N. Bezhanishvili, S. Ghilardi, L. Landi