Alessandro Gianola

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 65

Top Topics

Automated Verification

Extended Abstract

Top Venues

Publications

Alessandro Gianola, Marco Montali, Sarah Winkler
Object-Centric Conformance Alignments with Synchronization. CAiSE (2024)
Alessandro Gianola, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. AAAI (2024)
Luca Geatti, Alessandro Gianola, Nicola Gigante
A General Automata Model for First-Order Temporal Logics (Extended Version). CoRR (2024)
Luca Geatti, Alessandro Gianola, Nicola Gigante
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). TIME (2023)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso
Interpolation Results for Arrays with Length and MaxDiff. ACM Trans. Comput. Log. 24 (4) (2023)
Alessandro Gianola, Marco Montali, Sarah Winkler
Object-Centric Conformance Alignments with Synchronization (Extended Version). CoRR (2023)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI (2023)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. 22 (2) (2023)
Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penín, Alberto José Bugarín Diz
The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. BPM (Demos / Resources Forum) (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
Modulo Theories. ECAI (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
Decidable Fragments of LTLf Modulo Theories (Extended Version). CoRR (2023)
Alessandro Gianola, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). CoRR (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. 126 (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Data-aware conformance checking with SMT. Inf. Syst. 117 (2023)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
SMT Safety Verification of Ontology-Based Processes. AAAI (2023)
Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
Approximating Multi-perspective Trace Alignment Using Trace Encodings. BPM (2023)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Petri net-based object-centric processes with read-only data. Inf. Syst. 107 (2022)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66 (3) (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT. BPM (2022)
Alessandro Gianola
Uniform Interpolation for the Automated Verification of Data-Aware Business Processes. OVERLAY@AI*IA (2022)
Luca Geatti, Alessandro Gianola, Nicola Gigante
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA (2022)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Uniform Interpolants in EUF: Algorithms using DAG-representations. Log. Methods Comput. Sci. 18 (2) (2022)
Alessandro Gianola, Nicola Gigante
LTL Modulo Theories over Finite Traces: modeling, verification, open questions. OVERLAY@AI*IA (2022)
Alessandro Gianola
SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications. BPM (PhD/Demos) (2022)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR (2022)
Luca Geatti, Alessandro Gianola, Nicola Gigante
Linear Temporal Logic Modulo Theories over Finite Traces. IJCAI (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR (2022)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso
General Interpolation and Strong Amalgamation for Contiguous Arrays. CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM (2021)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR (2021)
Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali
Exploring the Conformance Space (Extended abstract). ITBPM@BPM (2021)
José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. SMT (2021)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65 (7) (2021)
Paolo Felli, Alessandro Gianola, Marco Montali
SMT-based Safety Checking of Parameterized Multi-Agent Systems. AAAI (2021)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A Canonical Algebra of Open Transition Systems. FACS (2021)
Alessandro Gianola, Marco Montali, Matteo Papini
Automated Reasoning for Reinforcement Learning Agents in Structured Environments. OVERLAY@GandALF (2021)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Interpolation and Amalgamation for Arrays with MaxDiff. FoSSaCS (2021)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics (2021)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM (2021)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR (2021)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Combined Covers and Beth Definability. IJCAR (1) (2020)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30 (3) (2020)
Paolo Felli, Alessandro Gianola, Marco Montali
SMT-based Safety Verification of Parameterised Multi-Agent Systems. CoRR (2020)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS. CoRR (2020)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A canonical algebra of open transition systems. CoRR (2020)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Petri Nets with Parameterised Data - Modelling and Verification. BPM (2020)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR (2020)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version). CoRR (2020)
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini
Compositional Modeling of Biological Systems in CospanSpan(Graph). ICTCS (2020)
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. CILC (2020)
Paolo Felli, Alessandro Gianola, Marco Montali
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. PRIMA (2020)
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini
CospanSpan(Graph): a Compositional Description of the Heart System. Fundam. Informaticae 171 (1-4) (2020)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Model Completeness, Covers and Superposition. CADE (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Combined Covers and Beth Definability. CoRR (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Model Completeness, Covers and Superposition (Abridged Version). CILC (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR (2018)
Silvio Ghilardi, Alessandro Gianola
Modularity results for interpolation, amalgamation and superamalgamation. Ann. Pure Appl. Log. 169 (8) (2018)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Quantifier Elimination for Database Driven Verification. CoRR (2018)
Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. CALCO (2017)
Silvio Ghilardi, Alessandro Gianola
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). FroCoS (2017)