Alessandro Gianola

84 papers A* 7A 13B 4C 1Journal 37Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version). CoRR Pierriccardo Olivieri, Fausto Lasca, Alessandro Gianola, Matteo Papini
2026	A*	`conf`	Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning. AAAI Pierriccardo Olivieri, Fausto Lasca, Alessandro Gianola, Matteo Papini
2026	B	`ed.`	Enterprise Design, Operations, and Computing: 29th International Conference, EDOC 2025, Lisbon, Portugal, September 9-12, 2025, Revised Selected Papers EDOC Alessandro Gianola, Renata Guizzardi, José Borbinha, Miguel Mira da Silva, José Barateiro
2025	—	`conf`	A Proposal For Handling Query Ambiguity For Process Mining Tasks. OVERLAY Lucas Fortunato Das Neves, Chrysoula Zerva, Alessandro Gianola
2025	J	`jnl`	Approximate conformance checking: Fast computation of multi-perspective, probabilistic alignments. Inf. Syst. Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
2025	—	`conf`	Compliance Checking for Public Administration Processes using Retrieval-Augmented Generation in LLMs: Novel Directions and Challenges. OVERLAY Alessandro Gianola, Chrysoula Zerva
2025	A	`conf`	Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue. BPM Alessandro Gianola, Andrey Rivkin, Mateusz Slazynski
2025	J	`jnl`	Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended). CoRR Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama
2025	A	`conf`	Efficient Conformance Checking of Rich Data-Aware Declare Specifications. BPM Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama
2025	A*	`conf`	First-Order Automata. AAAI Luca Geatti, Alessandro Gianola, Nicola Gigante
2025	—	`conf`	First-Order Linear Temporal Logic for Testing Distributed Protocols. OVERLAY José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha, Alessandro Gianola
2025	—	`conf`	Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking. CAiSE (2) Alessandro Gianola, Marco Montali, Sarah Winkler
2025	J	`jnl`	Object-centric Processes with Structured Data and Exact Synchronization (Extended Version). CoRR Alessandro Gianola, Marco Montali, Sarah Winkler
2025	J	`jnl`	SMT Techniques for Data-Aware Process Mining. Künstliche Intell. Alessandro Gianola, Marco Montali, Sarah Winkler
2025	A	`conf`	To Bind or Not to Bind? Discovering Stable Relationships in Object-Centric Processes. ER Anjo Seidel, Sarah Winkler, Alessandro Gianola, Marco Montali, Mathias Weske
2025	J	`jnl`	To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version). CoRR Anjo Seidel, Sarah Winkler, Alessandro Gianola, Marco Montali, Mathias Weske
2024	J	`jnl`	A General Automata Model for First-Order Temporal Logics (Extended Version). CoRR Luca Geatti, Alessandro Gianola, Nicola Gigante
2024	A	`conf`	Glocal Conformance Checking. BPM Alessandro Burigana, Alessandro Gianola, Marco Montali, Sarah Winkler
2024	A*	`conf`	Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. AAAI Alessandro Gianola, Marco Montali, Sarah Winkler
2024	A	`conf`	Object-Centric Conformance Alignments with Synchronization. CAiSE Alessandro Gianola, Marco Montali, Sarah Winkler
2024	—	`ed.`	Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023. OVERLAY@AI*IA Andrea Brunello, Alessandro Gianola, Fabio Mogavero
2023	A	`conf`	Approximating Multi-perspective Trace Alignment Using Trace Encodings. BPM Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
2023	J	`jnl`	Data-aware conformance checking with SMT. Inf. Syst. Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2023	A	`conf`	Decidable Fragments of LTL ECAI Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
2023	J	`jnl`	Decidable Fragments of LTLf Modulo Theories (Extended Version). CoRR Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
2023	J	`jnl`	Interpolation Results for Arrays with Length and MaxDiff. ACM Trans. Comput. Log. Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso
2023	J	`jnl`	Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). CoRR Alessandro Gianola, Marco Montali, Sarah Winkler
2023	J	`jnl`	Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2023	J	`jnl`	Object-Centric Conformance Alignments with Synchronization (Extended Version). CoRR Alessandro Gianola, Marco Montali, Sarah Winkler
2023	A*	`conf`	SMT Safety Verification of Ontology-Based Processes. AAAI Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
2023	A*	`conf`	Safety Verification and Universal Invariants for Relational Action Bases. IJCAI Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2023	J	`jnl`	Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2023	—	`conf`	The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. BPM (Demos / Resources Forum) Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penín, Alberto José Bugarín Diz
2023	C	`conf`	Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). TIME Luca Geatti, Alessandro Gianola, Nicola Gigante
2023	—	`book`	Verification of Data-Aware Processes via Satisfiability Modulo Theories Alessandro Gianola
2022	—	`conf`	A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022	J	`jnl`	Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2022	J	`jnl`	Conformance Checking with Uncertainty via SMT (Extended Version). CoRR Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022	A	`conf`	Conformance Checking with Uncertainty via SMT. BPM Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022	J	`jnl`	General Interpolation and Strong Amalgamation for Contiguous Arrays. CoRR Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso
2022	—	`conf`	LTL Modulo Theories over Finite Traces: modeling, verification, open questions. OVERLAY@AI*IA Alessandro Gianola, Nicola Gigante
2022	J	`jnl`	Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). CoRR Luca Geatti, Alessandro Gianola, Nicola Gigante
2022	A*	`conf`	Linear Temporal Logic Modulo Theories over Finite Traces. IJCAI Luca Geatti, Alessandro Gianola, Nicola Gigante
2022	J	`jnl`	Petri net-based object-centric processes with read-only data. Inf. Syst. Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2022	J	`jnl`	Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2022	—	`conf`	SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications. BPM (PhD/Demos) Alessandro Gianola
2022	J	`jnl`	Uniform Interpolants in EUF: Algorithms using DAG-representations. Log. Methods Comput. Sci. Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
2022	—	`conf`	Uniform Interpolation for the Automated Verification of Data-Aware Business Processes. OVERLAY@AI*IA Alessandro Gianola
2021	—	`conf`	A Canonical Algebra of Open Transition Systems. FACS Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2021	—	`conf`	AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. SMT José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
2021	—	`conf`	Automated Reasoning for Reinforcement Learning Agents in Structured Environments. OVERLAY@GandALF Alessandro Gianola, Marco Montali, Matteo Papini
2021	J	`jnl`	CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2021	A	`conf`	CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2021	A	`conf`	Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021	—	`conf`	Exploring the Conformance Space (Extended abstract). ITBPM@BPM Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali
2021	B	`conf`	Interpolation and Amalgamation for Arrays with MaxDiff. FoSSaCS Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
2021	J	`jnl`	Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021	J	`jnl`	SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
2021	—	`conf`	SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
2021	A*	`conf`	SMT-based Safety Checking of Parameterized Multi-Agent Systems. AAAI Paolo Felli, Alessandro Gianola, Marco Montali
2020	B	`conf`	A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. PRIMA Paolo Felli, Alessandro Gianola, Marco Montali
2020	J	`jnl`	A canonical algebra of open transition systems. CoRR Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2020	—	`conf`	Combined Covers and Beth Definability. IJCAR (1) Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	J	`jnl`	Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS. CoRR Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
2020	—	`conf`	Compositional Modeling of Biological Systems in CospanSpan(Graph). ICTCS Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini
2020	—	`conf`	Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. CILC Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
2020	J	`jnl`	CospanSpan(Graph): a Compositional Description of the Heart System. Fundam. Informaticae Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini
2020	J	`jnl`	Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version). CoRR Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
2020	A	`conf`	Petri Nets with Parameterised Data - Modelling and Verification. BPM Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	J	`jnl`	Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	J	`jnl`	SMT-based Safety Verification of Parameterised Multi-Agent Systems. CoRR Paolo Felli, Alessandro Gianola, Marco Montali
2020	J	`jnl`	SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	Combined Covers and Beth Definability. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	—	`conf`	From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	—	`conf`	Model Completeness, Covers and Superposition (Abridged Version). CILC Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Model Completeness, Covers and Superposition. CADE Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2018	J	`jnl`	Modularity results for interpolation, amalgamation and superamalgamation. Ann. Pure Appl. Log. Silvio Ghilardi, Alessandro Gianola
2018	J	`jnl`	Quantifier Elimination for Database Driven Verification. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2018	J	`jnl`	Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2017	B	`conf`	Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. CALCO Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini
2017	—	`conf`	Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). FroCoS Silvio Ghilardi, Alessandro Gianola