GHILARDI, SILVIO
GHILARDI, SILVIO
Dipartimento di Matematica Federigo Enriques
Formally Verifying the Absence of Overloading in Apache Storm
2026 E. Pagani, M.M. Bersani, M. Erascu, M.G. Rossi, S. Ghilardi
A calculus for modal compact Hausdorff spaces
2025 N. Bezhanishvili, L. Carai, S. Ghilardi, Z. Zhao
Investigating Definability in Propositional Logic via Sheaves on Grothendieck Topologies
2025 S. Ghilardi
First-order modal logic via logical categories
2025 S. Ghilardi, J. Marquès
Formal Verification of Storm Topologies - Supplementary Material
2024 E. Pagani, M. Maria Bersani, M. Erascu, F. Marconi, S. Ghilardi
Profiniteness, monadicity and universal models in modal logic
2024 M. De Berardinis, S. Ghilardi
Model Completeness for Rational Trees
2024 S. Ghilardi, L.M. Poidomani
Unification with Simple Variable Restrictions and Admissibility of Π2 -Rules
2024 R. Almeida, S. Ghilardi
Safety Verification and Universal Invariants for Relational Action Bases
2023 S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
2023 N. Bezhanishvili, L. Carai, S. Ghilardi, L. Landi
Interpolation Results for Arrays with Length and MaxDiff
2023 S. Ghilardi, A. Gianola, D. Kapur, C. Naso
The Invariance Modality
2022 S. Ghilardi
UNIFORM INTERPOLANTS IN EUF: ALGORITHMS USING DAG-REPRESENTATIONS
2022 S. Ghilardi, A. Gianola, D. Kapur
Petri net-based object-centric processes with read-only data
2022 S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Unification in lax logic
2022 S. Ghilardi, G. Lenzi
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories
2022 S. Ghilardi, A. Gianola
Combination of Uniform Interpolants via Beth Definability
2022 D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif
2021 J. Castellanos Joo, 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