Marco Montali

375 papers A* 28A 51B 33C 4Misc 2Journal 131Unranked 104
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentic Business Process Management: A Research Manifesto.
CoRR
Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
2026 J jnl
Agentic Business Process Management: A research manifesto.
Inf. Syst.
Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
2026 J jnl
Reflection on compliance monitoring in business processes: Functionalities, application, and tool-support.
Inf. Syst.
Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, Wil M. P. van der Aalst
2026 J jnl
Symbolic runtime verification for monitoring under uncertainties and assumptions.
Inf. Softw. Technol.
Raik Hipler, Hannes Kallwies, Martin Leucker, Marco Montali, César Sánchez, Sarah Winkler
2025 — ed.
AIxIA 2024 - Advances in Artificial Intelligence - XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024, Proceedings
AI*IA
Alessandro Artale, Gabriella Cortellessa, Marco Montali
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 B conf
Automated Reasoning for Data-Aware Petri Nets.
Petri Nets
Marco Montali
2025 A* conf
Depth-Bounded Epistemic Planning.
KR
Thomas Bolander, Alessandro Burigana, Marco Montali
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 B conf
Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets.
Petri Nets
Sander J. J. Leemans, Marco Montali, Timo Gersing, Felix Engelhardt, Natalia Sidorova
2025 J jnl
Explainable Knowledge-Aware Process Intelligence.
Künstliche Intell.
Eva Piccirilli, Claudio Di Ciccio, Marco Montali, Rafael Peñaloza, Luigi Pontieri, Francesco Ricca
2025 — conf
From Sound Workflow Nets to LTL
BPM (Forum)
Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio
2025 J jnl
From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells.
CoRR
Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio
2025 A* conf
Generating Counterfactual Explanations Under Temporal Constraints.
AAAI
Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Massimiliano Ronzani
2025 J jnl
Generating Counterfactual Explanations Under Temporal Constraints.
CoRR
Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Massimiliano Ronzani
2025 — conf
Generation of Timelines from Event Knowledge Graphs Using Domain Knowledge.
CISIM
Rikayan Chaki, Diego Calvanese, Marco Montali
2025 — ed.
Joint Proceedings of the 3rd International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS 2025) and the 1st Workshop on Compliance in the Era of Artificial Intelligence (CAI 2025) co-located with the 37th International Conference on Advanced Information Systems Engineering (CAiSE 2025), Vienna, Austria, June 16-17, 2025.
HybridAIMS+CAI (Selected Papers)
Janis Grabis, Yves Wautelet, Emanuele Laurenzi, Hans Friedrich Witschel, Peter Haase, Marco Montali, Cristina Cabanillas, Andrea Marrella, Manuel Resinas, Karolin Winter
2025 J jnl
LTL-based conformance checking of fuzzy event logs.
Process Sci.
Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
2025 — conf
Modeling and Monitoring Business Constraints of Non-conformant Choreographed Business Processes.
CAiSE (2)
Giovanni Meroni, Pierluigi Plebani, Simone Tagliente, Marco Montali
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 A conf
On Cascades of Reset Automata.
STACS
Roberto Borelli, Luca Geatti, Marco Montali, Angelo Montanari
2025 J jnl
Probabilistic Temporal Reasoning Using Superposition Semantics.
ACM Trans. Comput. Log.
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2025 — ed.
Proceedings of the AIxIA Discussion Papers 2024 co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, November 25-28, 2024.
DP@AI*IA
Gabriella Cortellessa, Alessandro Artale, Marco Montali
2025 J jnl
SMT Techniques for Data-Aware Process Mining.
Künstliche Intell.
Alessandro Gianola, Marco Montali, Sarah Winkler
2025 C conf
T-ILR: a Neurosymbolic Integration for LTLf.
NeSy
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani
2025 J jnl
T-ILR: a Neurosymbolic Integration for LTLf.
CoRR
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani
2025 J jnl
Time and Relations into Focus: Ontological Foundations of Object-Centric Event Data.
CoRR
Hosna Hooshyar, Mattia Fumagalli, Marco Montali, Giancarlo Guizzardi
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
2025 — conf
Towards Conversational Actionability in AI-Augmented Business Process Management Systems.
PMAI
Marco Montali, Marco Comuzzi, Irene Teinemaa, Daniel Amyot, Marlon Dumas
2024 A conf
AI for Declarative Processes: Representation, Mining, Synthesis.
ECAI
Marco Montali
2024 A conf
Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications.
BPM
Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
2024 J jnl
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications.
CoRR
Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
2024 J jnl
Correctness Notions for Petri Nets with Identifiers.
Fundam. Informaticae
Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
2024 J jnl
Depth-Bounded Epistemic Planning.
CoRR
Thomas Bolander, Alessandro Burigana, Marco Montali
2024 — conf
Discovering Process Framing for AI-Augmented BPM Systems in a Multi-Process Setting.
PMAI@ECAI
Anti Alman, Izack Cohen, Avigdor Gal, Fabrizio Maria Maggi, Marco Montali
2024 J jnl
Enjoy the silence: Analysis of stochastic Petri nets with silent transitions.
Inf. Syst.
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
2024 — conf
Explainable DMN.
BPM (Forum)
Carl Corea, Timotheus Kampik, Marco Montali
2024 A* conf
Foundations of Reactive Synthesis for Declarative Process Specifications.
AAAI
Luca Geatti, Marco Montali, Andrey Rivkin
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 — conf
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.
FM (1)
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
2024 A conf
Object-Centric Conformance Alignments with Synchronization.
CAiSE
Alessandro Gianola, Marco Montali, Sarah Winkler
2024 A conf
On the Flexibility of Declarative Process Specifications.
CAiSE
Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi
2024 — ed.
Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024.
PMAI@ECAI
Giuseppe De Giacomo, Valeria Fionda, Fabiana Fournier, Antonio Ielo, Lior Limonad, Marco Montali
2024 — ed.
Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2024 co-located with 22nd International Conference on Business Process Management (BPM 2024), Krakow, Poland, September 1st to 6th, 2024.
BPM (Demos / Resources Forum)
Adela del-Río-Ortega, Marco Montali, Stefanie Rinderle-Ma, Hajo A. Reijers, Jan vom Brocke, Mathias Weske, Benoît Depaire, Marta Indulska, Han van der Aa, Weronika T. Adrian, Laura Genga, Sander J. J. Leemans, Katarzyna Gdowska, María Teresa Gómez-López, Jana-Rebecca Rehse, Simone Agostinelli
2024 J jnl
Relating behaviour of data-aware process models.
Data Knowl. Eng.
Marco Montali, Sarah Winkler
2024 A conf
Stochastic Process Discovery: Can It Be Done Optimally?
CAiSE
Sander J. J. Leemans, Tian Li, Marco Montali, Artem Polyvyanyy
2024 J jnl
Towards a Simple and Extensible Standard for Object-Centric Event Data (OCED) - Core Model, Design Space, and Lessons Learned.
CoRR
Dirk Fahland, Marco Montali, Julian Lebherz, Wil M. P. van der Aalst, Maarten van Asseldonk, Peter Blank, Lien Bosmans, Marcus Brenscheidt, Claudio Di Ciccio, Andrea Delgado, Daniel Calegari, Jari Peeperkorn, Eric Verbeek, Lotte Vugs, Moe Thandar Wynn
2024 — conf
Verification of Unary Communicating Datalog Programs.
SEBD
Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
2024 J jnl
Verification of Unary Communicating Datalog Programs.
Proc. ACM Manag. Data
C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
2024 — conf
Video Analytics for Volleyball: Preliminary Results and Future Prospects of the 5VREAL Project.
Ital-IA
Andrea Rosani, Ivan Donadello, Michele Calvanese, Alessandro Torcinovich, Giuseppe Di Fatta, Marco Montali, Oswald Lanz
2023 J jnl
A Semantic Approach to Decidability in Epistemic Planning (Extended Version).
CoRR
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
2023 A conf
A Semantic Approach to Decidability in Epistemic Planning.
AAMAS
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
2023 A conf
A Semantic Approach to Decidability in Epistemic Planning.
ECAI
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
2023 J jnl
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory.
Inf. Syst.
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2023 J jnl
AI-augmented Business Process Management Systems: A Research Manifesto.
ACM Trans. Manag. Inf. Syst.
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
2023 J jnl
Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review.
CoRR
Alessandro Berti, Marco Montali, Wil M. P. van der Aalst
2023 — conf
An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases.
BPM (Forum)
Francesco Riva, Dario Benvenuti, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali
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
Conceptually-grounded mapping patterns for Virtual Knowledge Graphs.
Data Knowl. Eng.
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2023 J jnl
DELPHIC: Practical DEL Planning via Possibilities (Extended Version).
CoRR
Alessandro Burigana, Paolo Felli, Marco Montali
2023 J jnl
Data-aware conformance checking with SMT.
Inf. Syst.
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2023 — conf
Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library.
PROFES (2)
Anti Alman, Ivan Donadello, Fabrizio Maria Maggi, Marco Montali
2023 — conf
Declare MoGeS: Model Generator and Specializer.
ICPM Doctoral Consortium / Demo
Manal Laghmouch, Benoît Depaire, Nicola Gigante, Mieke Jans, Marco Montali
2023 — conf
Direct Mappings under the Lens of Information Capacity (Extended Abstract).
Description Logics
Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali
2023 J jnl
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions.
CoRR
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
2023 — ed.
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops - IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
EDOC Workshops
Tiago Prince Sales, Henderik A. Proper, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, Claudenir M. Fonseca
2023 — conf
Equivalence of Data Petri Nets with Arithmetic.
Business Process Management Workshops
Marco Montali, Sarah Winkler
2023 A conf
Extracting Event Data from Document-Driven Enterprise Systems.
CAiSE
Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali
2023 A* conf
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract).
IJCAI
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
2023 — conf
Foundations of Collaborative sfDECLARE.
BPM (Forum)
Luca Geatti, Marco Montali, Andrey Rivkin
2023 — conf
Generating Event Logs from Hybrid Process Models.
Business Process Management Workshops
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Andrey Rivkin
2023 — conf
Implementing Object-Centric Event Data Models in Event Knowledge Graphs.
ICPM Workshops
Ava Swevels, Dirk Fahland, Marco Montali
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 A* conf
Monitoring Arithmetic Temporal Properties on Finite Traces.
AAAI
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
2023 J jnl
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.
Artif. Intell. Medicine
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
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 J jnl
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version).
CoRR
Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
2023 B conf
Plan Recognition as Probabilistic Trace Alignment.
ICPM
Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Ramon Fraga Pereira
2023 J jnl
Process Discovery on Deviant Traces and Other Stranger Things.
IEEE Trans. Knowl. Data Eng.
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
2023 — ed.
Process Mining Workshops - ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised Selected Papers
ICPM Workshops
Marco Montali, Arik Senderovich, Matthias Weidlich
2023 B conf
Repairing Soundness Properties in Data-Aware Processes.
ICPM
Paolo Felli, 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 — 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 J jnl
The biggest business process management problems to solve before we die.
Comput. Ind.
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
2023 B conf
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets.
Petri Nets
Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
2023 B conf
delphic: Practical DEL Planning via Possibilities.
JELIA
Alessandro Burigana, Paolo Felli, Marco Montali
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 — conf
A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction.
ICPM Workshops
Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese
2022 J jnl
Augmented Business Process Management Systems: A Research Manifesto.
CoRR
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
2022 A conf
CTL
IJCAR
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
CTL* model checking for data-aware dynamic systems with arithmetic.
CoRR
Paolo Felli, Marco Montali, 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 — conf
Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs.
SEBD
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
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 — conf
Constraints for Process Framing in AI-Augmented BPM.
Business Process Management Workshops
Marco Montali
2022 J jnl
Correctness Notions for Petri Nets with Identifiers.
CoRR
Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
2022 — conf
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework.
OVERLAY@AI*IA
Alessandro Burigana, Paolo Felli, Marco Montali
2022 B conf
Data and Process Resonance - Identifier Soundness for Models of Information Systems.
Petri Nets
Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali
2022 — ch.
Declarative Process Specifications: Reasoning, Discovery, Monitoring.
Process Mining Handbook
Claudio Di Ciccio, Marco Montali
2022 — conf
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints.
CILC
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris
2022 B ed.
Enterprise Design, Operations, and Computing - 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3-7, 2022, Proceedings
EDOC
João Paulo A. Almeida, Dimka Karastoyanova, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, Claudenir M. Fonseca
2022 — conf
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract).
Description Logics
Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese
2022 J jnl
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019.
Theory Pract. Log. Program.
Paul Fodor, Marco Montali
2022 A* conf
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic.
AAAI
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic.
CoRR
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Monitoring Arithmetic Temporal Properties on Finite Traces.
CoRR
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
2022 J jnl
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.
ACM Trans. Softw. Eng. Methodol.
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
2022 A conf
Multi-model Monitoring Framework for Hybrid Process Specifications.
CAiSE
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2022 B conf
Optimising Business Process Discovery Using Answer Set Programming.
LPNMR
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
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
Probabilistic declarative process mining.
Inf. Syst.
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2022 — ed.
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Wien, Austria, July 23, 2022.
PMAI@IJCAI
Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti
2022 J jnl
Reactive Synthesis for DECLARE via symbolic automata.
CoRR
Luca Geatti, Marco Montali, Andrey Rivkin
2022 — conf
Reasoning and Verification with Data Petri Nets.
PMAI@IJCAI
Paolo Felli, Marco Montali, Sarah Winkler
2022 A conf
Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting.
BPM
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
2022 J jnl
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).
CoRR
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2022 B conf
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences.
EDOC
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
2022 A conf
Soundness of Data-Aware Processes with Arithmetic Conditions.
CAiSE
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Soundness of Data-Aware Processes with Arithmetic Conditions.
CoRR
Paolo Felli, Marco Montali, Sarah Winkler
2022 J jnl
Special Issue on Multi-Level Modeling Process Challenge Editorial.
Enterp. Model. Inf. Syst. Archit.
João Paulo A. Almeida, Thomas Kühne, Marco Montali
2022 J jnl
Special issue: BPM 2018 selected papers in foundations and engineering.
Inf. Syst.
Marco Montali, Ingo Weber, Mathias Weske, Manfred Reichert
2022 A* conf
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.
IJCAI
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2022 — conf
Verification of Generic, Relational Transition Systems.
PMAI@IJCAI
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2022 — conf
What Can Database Query Processing Do for Instance-Spanning Constraints?
Business Process Management Workshops
Heba Aamer, Marco Montali, Jan Van den Bussche
2022 J jnl
What Can Database Query Processing Do for Instance-Spanning Constraints?
CoRR
Heba Aamer, Marco Montali, Jan Van den Bussche
2021 — ed.
23rd Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 2.
CBI (2)
João Paulo A. Almeida, Dominik Bork, Giancarlo Guizzardi, Marco Montali, Henderik A. Proper, Tiago Prince Sales
2021 — ed.
23rd IEEE Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 1
CBI (1)
João Paulo A. Almeida, Dominik Bork, Giancarlo Guizzardi, Marco Montali, Henderik A. Proper, Tiago Prince Sales
2021 — conf
A Tool for Computing Probabilistic Trace Alignments.
CAiSE Forum
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2021 A conf
ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns.
CAiSE
Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2021 — conf
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract).
Description Logics
Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2021 A conf
Aligning Data-Aware Declarative Process Models and Event Logs.
BPM
Giacomo Bergami, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali
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 — conf
Convergence Verification of Declarative Distributed Systems.
CILC
Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali
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 J jnl
Formal foundations for responsible application integration.
Inf. Syst.
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin
2021 — conf
Human Behavior as a Process Model: Which Language to Use?
ITBPM@BPM
Gemma Di Federico, Andrea Burattin, Marco Montali
2021 A* conf
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs.
IJCAI
Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
2021 J jnl
Integrating BPMN and DMN: Modeling and Analysis.
J. Data Semant.
Massimiliano de Leoni, Paolo Felli, Marco Montali
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
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach.
CoRR
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2021 J jnl
Preface.
Fundam. Informaticae
Paolo Felli, Marco Montali, Maurizio Proietti
2021 B conf
Probabilistic Trace Alignment.
ICPM
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2021 J jnl
Probabilistic Trace Alignment.
CoRR
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2021 — conf
Process Mining with Common Sense.
Problems@BPM
Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
2021 J jnl
Process discovery on deviant traces and other stranger things.
CoRR
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
2021 A conf
Refining Case Models Using Cardinality Constraints.
CAiSE
Stephan Haarmann, Marco Montali, Mathias Weske
2021 A conf
RuM: Declarative Process Mining, Distilled.
BPM
Anti Alman, Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Han van der Aa
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
2021 J jnl
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions.
Fundam. Informaticae
Paolo Felli, Massimiliano de Leoni, Marco Montali
2021 J jnl
Unleashing textual descriptions of business processes.
Softw. Syst. Model.
Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró, Luis Quishpi
2020 B ed.
2nd International Conference on Process Mining, ICPM 2020, Padua, Italy, October 4-9, 2020
ICPM
Boudewijn F. van Dongen, Marco Montali, Moe Thandar Wynn
2020 B conf
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems.
PRIMA
Paolo Felli, Alessandro Gianola, Marco Montali
2020 — conf
Combined Covers and Beth Definability.
IJCAR (1)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020 A conf
Extending Temporal Business Constraints with Uncertainty.
BPM
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Anti Alman
2020 J jnl
Formalizing Integration Patterns with Multimedia Data (Extended Version).
CoRR
Marco Montali, Andrey Rivkin, Daniel Ritter
2020 B conf
Formalizing Integration Patterns with Multimedia Data.
EDOC
Marco Montali, Andrey Rivkin, Daniel Ritter
2020 — conf
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research).
Description Logics
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2020 J jnl
Mapping Patterns for Virtual Knowledge Graphs.
CoRR
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2020 J jnl
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.
CoRR
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
2020 — conf
On the Formalization of Decentralized Contact Tracing Protocols.
OVERLAY
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier
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 — conf
Probabilistic Conformance Checking Based on Declarative Process Models.
CAiSE Forum
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2020 J jnl
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019).
ACM SIGLOG News
Diego Calvanese, Paul Fodor, Marco Montali
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
2020 A* conf
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors.
KR
Massimiliano de Leoni, Paolo Felli, Marco Montali
2020 J jnl
Technical Report: Refining Case Models Using Cardinality Constraints.
CoRR
Stephan Haarmann, Marco Montali, Mathias Weske
2020 A* conf
Temporal Logics Over Finite Traces with Uncertainty.
AAAI
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2020 J jnl
Verifying the manipulation of data objects according to business process and data models.
Knowl. Inf. Syst.
José Miguel Pérez-Álvarez, María Teresa Gómez-López, Rik Eshuis, Marco Montali, Rafael M. Gasca
2019 — conf
A Preliminary Framework for Strategic and Compliance Monitoring.
EDOC Workshops
Evellin Cardoso, Marco Montali
2019 J jnl
Combined Covers and Beth Definability.
CoRR
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019 B conf
Compliance Monitoring of Multi-Perspective Declarative Process Models.
EDOC
Fabrizio Maria Maggi, Marco Montali, Ubaier Bhat
2019 — conf
Enriching Data Models with Behavioral Constraints.
Ontology Makes Sense
Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst
2019 A conf
Fifty Shades of Green: How Informative is a Compliant Process Trace?
CAiSE
Andrea Burattin, Giancarlo Guizzardi, Fabrizio Maria Maggi, Marco Montali
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 A conf
Formal Reasoning on Natural Language Descriptions of Processes.
BPM
Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró
2019 J jnl
From DB-nets to Coloured Petri Nets with Priorities (Extended Version).
CoRR
Marco Montali, Andrey Rivkin
2019 B conf
From DB-nets to Coloured Petri Nets with Priorities.
Petri Nets
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
2019 A conf
Modeling and In-Database Management of Relational, Data-Aware Processes.
CAiSE
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2019 A conf
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.
BPM
Alessandro Artale, Alisa Kovtunova, Marco Montali, Wil M. P. van der Aalst
2019 J jnl
Probabilistic Temporal Logic over Finite Traces (Technical Report).
CoRR
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2019 — conf
Putting Decisions in Perspective.
Business Process Management Workshops
Marco Montali
2019 A* conf
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali
2019 B conf
Representing and Querying Norm States Using Temporal Ontology-Based Data Access.
EDOC
Evellin Cardoso, Marco Montali, Diego Calvanese
2019 B ed.
Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
RuleML+RR
Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
2019 J jnl
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.
Theory Pract. Log. Program.
Diego Calvanese, Marco Montali, Marlon Dumas, Fabrizio Maria Maggi
2019 — conf
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions.
ACSD
Paolo Felli, Massimiliano de Leoni, Marco Montali
2019 — conf
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming.
CILC
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris
2018 J jnl
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version).
CoRR
Massimiliano de Leoni, Paolo Felli, Marco Montali
2018 A conf
A Holistic Approach for Soundness Verification of Decision-Aware Process Models.
ER
Massimiliano de Leoni, Paolo Felli, Marco Montali
2018 — conf
A Tool for the Verification of Data-Aware Business Processes.
AI*IA
Luca Sabiucciu, Marco Montali, Sergio Tessaris
2018 A conf
BPM: Foundations, Engineering, Management.
BPM
Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
2018 A ed.
Business Process Management - 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings
BPM
Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
2018 — ed.
Business Process Management Forum - BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings
BPM (Forum)
Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
2018 J jnl
Catalog of Formalized Application Integration Patterns.
CoRR
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
2018 — conf
Complexity of Reachability for Data-Aware Dynamic Systems.
ACSD
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2018 J jnl
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning.
Fundam. Informaticae
Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
2018 B conf
Conceptual Schema Transformation in Ontology-Based Data Access.
EKAW
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
2018 — conf
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).
Description Logics
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
2018 J jnl
Evaluating Compliance: From LTL to Abductive Logic Programming.
Fundam. Informaticae
Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali
2018 J jnl
First-order
Inf. Comput.
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2018 B conf
Formalizing Application Integration Patterns.
EDOC
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
2018 J jnl
Modelling and Enactment of Data-aware Processes.
CoRR
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2018 J jnl
Multi-party business process compliance monitoring through IoT-enabled artifacts.
Inf. Syst.
Giovanni Meroni, Luciano Baresi, Marco Montali, Pierluigi Plebani
2018 J jnl
On the relevance of a business constraint to an event log.
Inf. Syst.
Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling
2018 — ed.
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018.
CILC
Paolo Felli, Marco Montali
2018 — ch.
Process Management in Construction: Expansion of the Bolzano Hospital.
Business Process Management Cases
Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt, Michael Reifer
2018 J jnl
Quantifier Elimination for Database Driven Verification.
CoRR
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2018 J jnl
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.
CoRR
Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
2018 J jnl
Semantics, Analysis and Simplification of DMN Decision Tables.
Inf. Syst.
Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
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
2018 — conf
Verification of Fixed-Topology Declarative Distributed Systems with External Data.
AMW
Diego Calvanese, Marco Montali, Jorge Lobo
2017 C conf
Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation.
ISMIS
Federico Chesani, Paola Mello, Marco Montali
2017 A* conf
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.
AAAI
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
2017 J jnl
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases.
Trans. Petri Nets Other Model. Concurr.
Marco Montali, Andrey Rivkin
2017 B conf
From Zero to Hero: A Process Mining Tutorial.
PROFES
Andrea Janes, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali
2017 — conf
IoT-Based Compliance Checking of Multi-party Business Processes Modeled with Commitments.
ESOCC
Marco Montali, Pierluigi Plebani
2017 — conf
OBDA for Log Extraction in Process Mining.
RW
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso
2017 J jnl
Object-Centric Behavioral Constraints.
CoRR
Wil M. P. van der Aalst, Guangming Li, Marco Montali
2017 — conf
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.
Description Logics
Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini
2017 — conf
Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology.
BIS
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Stefano Tinella
2017 J jnl
Resolving Inconsistencies and Redundancies in Declarative Process Models.
EMISA Forum
Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling
2017 J jnl
Resolving inconsistencies and redundancies in declarative process models.
Inf. Syst.
Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling
2017 B conf
Semantic DMN: Formalizing Decision Models with Domain Knowledge.
RuleML+RR
Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
2017 J jnl
Semantics and Analysis of DMN Decision Tables.
EMISA Forum
Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2017 — conf
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.
BPM (Demos)
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso
2016 — conf
Abducing Compliance of Incomplete Event Logs.
AI*IA
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
2016 J jnl
Abducing Compliance of Incomplete Event Logs.
CoRR
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
2016 A conf
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.
ECAI
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
2016 J jnl
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases.
CoRR
Marco Montali, Andrey Rivkin
2016 J jnl
Model checking Petri nets with names using data-centric dynamic systems.
Formal Aspects Comput.
Marco Montali, Andrey Rivkin
2016 A* conf
On First-Order μ-Calculus over Situation Calculus Action Theories.
KR
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2016 A* conf
Plan Synthesis for Knowledge and Action Bases.
IJCAI
Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
2016 J jnl
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).
CoRR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 A* conf
Recency-Bounded Verification of Dynamic Database-Driven Systems.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 A conf
Semantical Vacuity Detection in Declarative Process Mining.
BPM
Fabrizio Maria Maggi, Marco Montali, Claudio Di Ciccio, Jan Mendling
2016 A conf
Semantics and Analysis of DMN Decision Tables.
BPM
Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2016 J jnl
Semantics and Analysis of DMN Decision Tables.
CoRR
Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2016 J jnl
Soundness of data-aware, case-centric processes.
Int. J. Softw. Tools Technol. Transf.
Marco Montali, Diego Calvanese
2016 — conf
Synthesizing and Executing Plans in Knowledge and Action Bases.
Description Logics
Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
2016 — conf
Towards Data- and Norm-Aware Multiagent Systems.
EMAS@AAMAS
Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio, Marco Montali
2016 — conf
Towards a Graphical Language for Process Modelling in Construction.
CAiSE Forum
Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt
2015 J jnl
Compliance monitoring in business processes: Functionalities, application, and tool-support.
Inf. Syst.
Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, Wil M. P. van der Aalst
2015 — ch.
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.
Foundations of Biomedical Knowledge Representation
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali
2015 A conf
Declarative Process Modeling in BPMN.
CAiSE
Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
2015 A* conf
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
IJCAI
Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
2015 A conf
Ensuring Model Consistency in Declarative Process Discovery.
BPM
Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling
2015 — conf
Evaluating compliance: from LTL to abductive logic programming.
CILC
Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2015 — conf
Formal Verification of Petri Nets with Names.
WS-FM
Marco Montali, Andrey Rivkin
2015 — conf
Implementing Data-Centric Dynamic Systems over a Relational DBMS.
AMW
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2015 — conf
Inconsistency Management in Generalized Knowledge and Action Bases.
Description Logics
Diego Calvanese, Marco Montali, Ario Santoso
2015 — conf
Leveraging Relational Technology for Data-Centric Dynamic Systems.
SEBD
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2015 — ch.
Monitoring in the Healthcare Setting.
Foundations of Biomedical Knowledge Representation
Federico Chesani, Catherine G. Enright, Marco Montali, Michael G. Madden
2015 — conf
Ontology-Driven Extraction of Event Logs from Relational Databases.
Business Process Management Workshops
Diego Calvanese, Marco Montali, Alifah Syamsiyah, Wil M. P. van der Aalst
2015 J jnl
Semantic Enrichment of GSM-Based Artifact-Centric Models.
J. Data Semant.
Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin
2015 J jnl
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version).
CoRR
Diego Calvanese, Marco Montali, Ario Santoso
2015 A* conf
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.
IJCAI
Diego Calvanese, Marco Montali, Ario Santoso
2015 A* conf
Verification of Relational Multiagent Systems with Data Types.
AAAI
Diego Calvanese, Giorgio Delzanno, Marco Montali
2015 — conf
Well Structured Transition Systems with History.
GandALF
Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali
2014 J jnl
Adding Context to Knowledge and Action Bases.
CoRR
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
2014 J jnl
Description Logic Knowledge and Action Bases.
CoRR
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2014 Misc conf
Gamified children universities: an exploratory study.
CHI PLAY
Vincenzo Del Fatto, Gabriella Dodero, Rosella Gennari, Alessandra Melonio, Marco Montali, Simon Razniewski, Santina Torello, Xiaofeng Wang, Floriano Zini
2014 J jnl
LTLf and LDLf Monitoring: A Technical Report.
CoRR
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
2014 A conf
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.
BPM
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
2014 B conf
Monitoring data-aware business constraints with finite state automata.
ICSSP
Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
2014 A* conf
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.
AAAI
Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali
2014 — conf
Run-Time Verification of MSMAS Norms Using Event Calculus.
SASO Workshops
Emad Eldeen Elakehal, Marco Montali, Julian A. Padget
2014 — conf
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.
CILC
Marco Montali, Diego Calvanese, Giuseppe De Giacomo
2014 A* conf
State-Boundedness in Data-Aware Dynamic Systems.
KR
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch
2014 J jnl
Verifiable UML Artifact-Centric Business Process Models (Extended Version).
CoRR
Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
2014 A conf
Verifiable UML Artifact-Centric Business Process Models.
CIKM
Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
2014 B conf
Verification of Context-Sensitive Knowledge and Action Bases.
JELIA
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
2014 — conf
Verification of Human Driven Data-Centric Dynamic Systems.
AAAI Spring Symposia
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2014 J jnl
Verification of Relational Multiagent Systems with Data Types (Extended Version).
CoRR
Diego Calvanese, Giorgio Delzanno, Marco Montali
2014 A conf
Verification of data-aware commitment-based multiagent system.
AAMAS
Marco Montali, Diego Calvanese, Giuseppe De Giacomo
2013 B conf
A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches.
EDOC
Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali, Stefanie Rinderle-Ma, Wil M. P. van der Aalst
2013 B conf
Automated Activity Recognition in Clinical Documents.
IJCNLP
Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher
2013 J jnl
Description Logic Knowledge and Action Bases.
J. Artif. Intell. Res.
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2013 A conf
Discovering Data-Aware Declarative Process Models from Event Logs.
BPM
Fabrizio Maria Maggi, Marlon Dumas, Luciano García-Bañuelos, Marco Montali
2013 — conf
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.
Description Logics
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013 A* conf
Foundations of data-aware process analysis: a database theory perspective.
PODS
Diego Calvanese, Giuseppe De Giacomo, Marco Montali
2013 — conf
Implementing and Running Data-Centric Dynamic Systems.
SOCA
Alessandro Russo, Massimo Mecella, Fabio Patrizi, Marco Montali
2013 J jnl
Monitoring business constraints with the event calculus.
ACM Trans. Intell. Syst. Technol.
Marco Montali, Fabrizio Maria Maggi, Federico Chesani, Paola Mello, Wil M. P. van der Aalst
2013 — ed.
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013.
PAI@AI*IA
Matteo Baldoni, Federico Chesani, Paola Mello, Marco Montali
2013 — conf
Process Fragment Recognition in Clinical Documents.
AI*IA
Camilo Thorne, Elena Cardillo, Claudio Eccher, Marco Montali, Diego Calvanese
2013 J jnl
Representing and monitoring social commitments using the event calculus.
Auton. Agents Multi Agent Syst.
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2013 — conf
Towards a Reference Implementation for Data Centric Dynamic Systems.
Business Process Management Workshops
Alessandro Russo, Massimo Mecella, Marco Montali, Fabio Patrizi
2013 Misc conf
Towards data-aware constraints in declare.
SAC
Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi
2013 — conf
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).
AIBP@AI*IA
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013 — conf
Verification and Synthesis in Description Logic Based Dynamic Systems.
RR
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013 J jnl
Verification of Artifact-Centric Systems: Decidability and Modeling Issues
CoRR
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
2013 A conf
Verification of Artifact-Centric Systems: Decidability and Modeling Issues.
ICSOC
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
2013 J jnl
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
CoRR
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013 — conf
Verification of Inconsistency-Aware Knowledge and Action Bases.
Description Logics
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013 A* conf
Verification of Inconsistency-Aware Knowledge and Action Bases.
IJCAI
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013 J jnl
Verification of Query Completeness over Processes [Extended Version].
CoRR
Simon Razniewski, Marco Montali, Werner Nutt
2013 A conf
Verification of Query Completeness over Processes.
BPM
Simon Razniewski, Marco Montali, Werner Nutt
2013 J jnl
Verification of Semantically-Enhanced Artifact Systems (Extended Version).
CoRR
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013 A conf
Verification of Semantically-Enhanced Artifact Systems.
ICSOC
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013 A* conf
Verification of relational data-centric dynamic systems with external services.
PODS
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2013 — conf
Verifying MSMAS Model Using CIFF.
MATES
Emad Eldeen Elakehal, Marco Montali, Julian A. Padget
2012 B conf
An Operational Decision Support Framework for Monitoring Business Constraints.
FASE
Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst
2012 — conf
Combining Process and Ontological Modeling.
DC@AI*IA
Dmitry Solomakhin, Sergio Tessaris, Marco Montali
2012 — conf
Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases.
OWLED
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Dmitriy Zheleznyakov
2012 — conf
Ontology-Based Governance of Data-Aware Processes.
RR
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
2012 — ed.
Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, Rome, Italy, June 15, 2012
PAI
Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, Marco Montali
2012 — conf
Reactive Event Calculus for Monitoring Global Computing Applications.
Logic Programs, Norms and Action
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2012 — conf
Semantically-Governed Data-Aware Processes.
KiBP@KR
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
2012 A conf
Verification of Description Logic Knowledge and Action Bases.
ECAI
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali
2012 J jnl
Verification of Relational Data-Centric Dynamic Systems with External Services
CoRR
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2011 J jnl
A Computational Logic Application Framework for Service Discovery and Contracting.
Int. J. Web Serv. Res.
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011 — conf
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.
DALT
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2011 — conf
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge.
Business Process Management Workshops (2)
Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani
2011 J jnl
Engineering and verifying agent-oriented requirements augmented by business constraints with
Auton. Agents Multi Agent Syst.
Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl
2011 — conf
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems.
RuleML America
Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara
2011 — conf
Fuzzy Conformance Checking of Observed Behaviour with Expectations.
AI*IA
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara
2011 J jnl
Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
Intelligenza Artificiale
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2011 A conf
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.
BPM
Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst
2011 J jnl
Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.
Cybern. Syst.
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2011 — ed.
Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011
RuleML America (2)
Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, Umberto Straccia
2011 — conf
Process Mining Manifesto.
Business Process Management Workshops (1)
Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn
2011 B conf
Runtime Verification of LTL-Based Declarative Process Models.
RV
Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst
2010 J jnl
A Logic-Based, Reactive Calculus of Events.
Fundam. Informaticae
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010 J jnl
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.
Fundam. Informaticae
Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma
2010 — conf
An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.
HAIS (1)
Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara
2010 — conf
Declarative Technologies for Open Agent Systems and Beyond.
KES-AMSTA (1)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010 J jnl
Declarative specification and verification of service choreographiess.
ACM Trans. Web
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
2010 J jnl
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant.
Environ. Model. Softw.
Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, Davide Sottara
2010 J jnl
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.
Multiagent Grid Syst.
Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2010 — conf
Role Monitoring in Open Agent Societies.
KES-AMSTA (1)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010 — book
Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach
Marco Montali
2009 B conf
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.
AIME
Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio
2009 — conf
Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines.
KR4HC
Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani
2009 A* conf
Commitment Tracking via the Reactive Event Calculus.
IJCAI
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2009 J jnl
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.
Trans. Petri Nets Other Model. Concurr.
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2009 A conf
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
ICWS
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
2009 — conf
Social Commitments in Time: Satisfied or Compensated.
DALT
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2009 — —
Specification and Verification of Declarative Open Interaction Models - A Logic-based framework.
Marco Montali
2009 — conf
Verifying A-Priori the Composition of Declarative Specified Services.
MALLOW
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 — conf
Checking Compliance of Execution Traces to Business Rules.
Business Process Management Workshops
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari
2008 — ch.
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.
Computer-based Medical Guidelines and Protocols
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi
2008 J jnl
Expressing and Verifying Business Contracts with Abductive Logic Programming.
Int. J. Electron. Commer.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2008 — conf
Modeling and Verification of Business Processes and Choreographies in ALP.
Il Milione
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 — conf
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
SWAP
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 B conf
Verification from Declarative Specifications Using Logic Programming.
ICLP
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2008 — conf
Verification of Choreographies During Execution Using the Reactive Event Calculus.
WS-FM
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2007 — conf
-Tropos.
CLIMA
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
2007 — conf
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.
RR
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007 — conf
Expressing and Verifying Business Contracts with Abductive Logic Programming.
Normative Multi-agent Systems
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007 A conf
Inducing Declarative Logic-Based Models from Labeled Traces.
BPM
Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2007 B conf
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.
AIME
Federico Chesani, Paola Mello, Marco Montali, Sergio Storari
2007 B conf
Web Service Contracting: Specification and Reasoning with SCIFF.
ESWC
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2006 C conf
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.
ISMIS
Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari
2006 C conf
An abductive framework for a-priori verification of web services.
PPDP
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
2006 — conf
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the
WS-FM
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2005 — conf
Protocol Specification and Verification by Using Computational Logic.
WOA
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
2005 B conf
Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.
CBMS
Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari