Search Results for author: Alessandro Gianola

Found 5 papers, 0 papers with code

Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)

no code implementations28 Apr 2022 Luca Geatti, Alessandro Gianola, Nicola Gigante

This paper studies Linear Temporal Logic over Finite Traces (LTLf) where proposition letters are replaced with first-order formulas interpreted over arbitrary theories, in the spirit of Satisfiability Modulo Theories.

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)

no code implementations27 Aug 2021 Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of so-called artifact-centric systems.

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

no code implementations18 Mar 2021 Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler

Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log.

SMT-based Safety Verification of Parameterised Multi-Agent Systems

no code implementations11 Aug 2020 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 formula, are reachable in a given MAS, i. e., whether the MAS is unsafe.

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

no code implementations11 Jun 2020 Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

During the last decade, various approaches have been put forward to integrate business processes with different types of data.

Cannot find the paper you are looking for? You can Submit a new open access paper.