Picture for Alessandro Gianola

Alessandro Gianola

Object-Centric Conformance Alignments with Synchronization (Extended Version)

Add code
Dec 13, 2023
Viaarxiv icon

Decidable Fragments of LTLf Modulo Theories (Extended Version)

Add code
Jul 31, 2023
Viaarxiv icon

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)

Add code
Aug 12, 2022
Figure 1 for Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Figure 2 for Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Viaarxiv icon

Conformance Checking with Uncertainty via SMT (Extended Version)

Add code
Jun 15, 2022
Figure 1 for Conformance Checking with Uncertainty via SMT (Extended Version)
Viaarxiv icon

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

Add code
Apr 28, 2022
Figure 1 for Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
Figure 2 for Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
Figure 3 for Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
Viaarxiv icon

SMT-Based Safety Verification of Data-Aware Processes under Ontologies

Add code
Aug 27, 2021
Viaarxiv icon

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

Add code
Mar 18, 2021
Viaarxiv icon

SMT-based Safety Verification of Parameterised Multi-Agent Systems

Add code
Aug 14, 2020
Figure 1 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Figure 2 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Figure 3 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Figure 4 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Viaarxiv icon

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

Add code
Jun 11, 2020
Figure 1 for Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Figure 2 for Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Figure 3 for Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Viaarxiv icon