145 citations · 360 across the 54 of their papers we have counts for
4 papers · 2 filters
Mapping Patterns for Virtual Knowledge Graphs
Diego Calvanese, Avigdor Gal, Davide Lanti +3
Virtual Knowledge Graphs (VKG) constitute one of the most promising paradigms for integrating and accessing legacy data sources. A critical bottleneck in the integration process in…
Formalizing Integration Patterns with Multimedia Data (Extended Version)
Marco Montali, Andrey Rivkin, Daniel Ritter
The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI bui…
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…