Marco Montali

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 204

Top Venues

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
Correctness Notions for Petri Nets with Identifiers. Fundam. Informaticae 190 (2-4) (2024)
C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
Verification of Unary Communicating Datalog Programs. Proc. ACM Manag. Data 2 (2) (2024)
Luca Geatti, Marco Montali, Andrey Rivkin
Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI (2024)
Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications. CoRR (2024)
Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
Verification of Unary Communicating Datalog Programs. SEBD (2024)
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)
Sander J. J. Leemans, Tian Li, Marco Montali, Artem Polyvyanyy
Stochastic Process Discovery: Can It Be Done Optimally? CAiSE (2024)
Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi
On the Flexibility of Declarative Process Specifications. CAiSE (2024)
Thomas Bolander, Alessandro Burigana, Marco Montali
Depth-Bounded Epistemic Planning. CoRR (2024)
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
Enjoy the silence: Analysis of stochastic Petri nets with silent transitions. Inf. Syst. 124 (2024)
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
Conceptually-grounded mapping patterns for Virtual Knowledge Graphs. Data Knowl. Eng. 145 (2023)
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions. CoRR (2023)
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract). IJCAI (2023)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning. ECAI (2023)
Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali
Extracting Event Data from Document-Driven Enterprise Systems. CAiSE (2023)
Luca Geatti, Marco Montali, Andrey Rivkin
Foundations of Collaborative sfDECLARE. BPM (Forum) (2023)
Ava Swevels, Dirk Fahland, Marco Montali
Implementing Object-Centric Event Data Models in Event Knowledge Graphs. ICPM Workshops (2023)
Alessandro Burigana, Paolo Felli, Marco Montali
delphic: Practical DEL Planning via Possibilities. JELIA (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Andrey Rivkin
Generating Event Logs from Hybrid Process Models. Business Process Management Workshops (2023)
Marco Montali, Sarah Winkler
Equivalence of Data Petri Nets with Arithmetic. Business Process Management Workshops (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine 139 (2023)
Alessandro Berti, Marco Montali, Wil M. P. van der Aalst
Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review. CoRR (2023)
Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14 (1) (2023)
Alessandro Burigana, Paolo Felli, Marco Montali
DELPHIC: Practical DEL Planning via Possibilities (Extended Version). CoRR (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. 119 (2023)
Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato
The biggest business process management problems to solve before we die. Comput. Ind. 146 (2023)
Alessandro Gianola, Marco Montali, Sarah Winkler
Object-Centric Conformance Alignments with Synchronization (Extended Version). CoRR (2023)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI (2023)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI (2023)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Process Discovery on Deviant Traces and Other Stranger Things. IEEE Trans. Knowl. Data Eng. 35 (11) (2023)
Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets (2023)
Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali
Direct Mappings under the Lens of Information Capacity (Extended Abstract). Description Logics (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)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning (Extended Version). CoRR (2023)
Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
On the Reconstructability and Rediscoverability of Typed Jackson Nets (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)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning. AAMAS (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)
Manal Laghmouch, Benoît Depaire, Nicola Gigante, Mieke Jans, Marco Montali
Declare MoGeS: Model Generator and Specializer. ICPM Doctoral Consortium / Demo (2023)
Paolo Felli, Marco Montali, Sarah Winkler
Repairing Soundness Properties in Data-Aware Processes. ICPM (2023)
Anti Alman, Ivan Donadello, Fabrizio Maria Maggi, Marco Montali
Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library. PROFES (2) (2023)
Francesco Riva, Dario Benvenuti, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali
An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases. BPM (Forum) (2023)
Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Ramon Fraga Pereira
Plan Recognition as Probabilistic Trace Alignment. ICPM (2023)
Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
Approximating Multi-perspective Trace Alignment Using Trace Encodings. BPM (2023)
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs. SEBD (2022)
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)
Alessandro Burigana, Paolo Felli, Marco Montali
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. OVERLAY@AI*IA (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT. BPM (2022)
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Soundness of Data-Aware Processes with Arithmetic Conditions. CAiSE (2022)
Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract). Description Logics (2022)
João Paulo A. Almeida, Thomas D. Kühne, Marco Montali
Special Issue on Multi-Level Modeling Process Challenge Editorial. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022)
Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali
Data and Process Resonance - Identifier Soundness for Models of Information Systems. Petri Nets (2022)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Verification of Generic, Relational Transition Systems. PMAI@IJCAI (2022)
Heba Aamer, Marco Montali, Jan Van den Bussche
What Can Database Query Processing Do for Instance-Spanning Constraints? CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. AAAI (2022)
Luca Geatti, Marco Montali, Andrey Rivkin
Reactive Synthesis for DECLARE via symbolic automata. CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Model Checking for Data-Aware Dynamic Systems with Arithmetic. IJCAR (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)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. CILC (2022)
Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese
A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction. ICPM Workshops (2022)
Heba Aamer, Marco Montali, Jan Van den Bussche
What Can Database Query Processing Do for Instance-Spanning Constraints? Business Process Management Workshops (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Soundness of Data-Aware Processes with Arithmetic Conditions. CoRR (2022)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE (2022)
Marco Montali, Ingo Weber, Mathias Weske, Manfred Reichert
Special issue: BPM 2018 selected papers in foundations and engineering. Inf. Syst. 103 (2022)
Paolo Felli, Marco Montali, Sarah Winkler
CTL* model checking for data-aware dynamic systems with arithmetic. CoRR (2022)
Marco Montali
Constraints for Process Framing in AI-Augmented BPM. Business Process Management Workshops (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Optimising Business Process Discovery Using Answer Set Programming. LPNMR (2022)
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting. BPM (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Reasoning and Verification with Data Petri Nets. PMAI@IJCAI (2022)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. CoRR (2022)
Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
Correctness Notions for Petri Nets with Identifiers. CoRR (2022)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR (2022)
Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
Augmented Business Process Management Systems: A Research Manifesto. CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR (2022)
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI (2022)
Paul Fodor, Marco Montali
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. Theory Pract. Log. Program. 22 (2) (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. EDOC (2022)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Probabilistic declarative process mining. Inf. Syst. 109 (2022)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR (2021)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Process discovery on deviant traces and other stranger things. CoRR (2021)
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)
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Probabilistic Trace Alignment. CoRR (2021)
Gemma Di Federico, Andrea Burattin, Marco Montali
Human Behavior as a Process Model: Which Language to Use? ITBPM@BPM (2021)
Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract). Description Logics (2021)
Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali
Exploring the Conformance Space (Extended abstract). ITBPM@BPM (2021)
Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali
Convergence Verification of Declarative Distributed Systems. CILC (2021)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65 (7) (2021)
Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI (2021)
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
A Tool for Computing Probabilistic Trace Alignments. CAiSE Forum (2021)
Paolo Felli, Alessandro Gianola, Marco Montali
SMT-based Safety Checking of Parameterized Multi-Agent Systems. AAAI (2021)
Anti Alman, Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Han van der Aa
RuM: Declarative Process Mining, Distilled. BPM (2021)
Alessandro Gianola, Marco Montali, Matteo Papini
Automated Reasoning for Reinforcement Learning Agents in Structured Environments. OVERLAY@GandALF (2021)
Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró, Luis Quishpi
Unleashing textual descriptions of business processes. Softw. Syst. Model. 20 (6) (2021)

Marco Montali.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Montali