11 citations · 43 across the 24 of their papers we have counts for
5 papers · 1 filter
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
Elena Di Lavore, Alessandro Gianola, Mario Román +2
We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of t…
Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
In this paper, the theory of McCarthy's extensional arrays enriched with a maxdiff operation (this operation returns the biggest index where two given arrays differ) is proposed. I…
SMT-based Safety Verification of Parameterised Multi-Agent Systems
Paolo Felli, Alessandro Gianola, Marco Montali
In this paper we study the verification of parameterised multi-agent systems (MASs), and in particular the task of verifying whether unwanted states, characterised as a given state…
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Silvio Ghilardi, Alessandro Gianola, Marco Montali +1
During the last decade, various approaches have been put forward to integrate business processes with different types of data. Each of such approaches reflects specific demands in…
Uniform Interpolants in EUF: Algorithms using DAG-representations
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
The concept of uniform interpolant for a quantifier-free formula from a given formula with a list of symbols, while well-known in the logic literature, has been unknown to the form…