Marco Montali
TitleCited byYear
Process mining manifesto
W Van Der Aalst, A Adriansyah, AKA De Medeiros, F Arcieri, T Baier, ...
International Conference on Business Process Management, 169-194, 2011
7982011
Declarative specification and verification of service choreographiess
M Montali, M Pesic, WMP van der Aalst, F Chesani, P Mello, S Storari
ACM Transactions on the Web (TWEB) 4 (1), 3, 2010
2242010
Monitoring business constraints with linear temporal logic: An approach based on colored automata
FM Maggi, M Montali, M Westergaard, WMP Van Der Aalst
International Conference on Business Process Management, 132-147, 2011
1862011
Verification of relational data-centric dynamic systems with external services
B Bagheri Hariri, D Calvanese, G De Giacomo, A Deutsch, M Montali
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
1692013
Specification and verification of declarative open interaction models: A logic-based approach
M Montali
Springer-Verlag New York Inc, 2010
1402010
Process mining
WMP van der Aalst
Encyclopedia of Database Systems, 2171-2173, 2009
1252009
Foundations of data-aware process analysis: a database theory perspective
D Calvanese, G De Giacomo, M Montali
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
1132013
Compliance monitoring in business processes: Functionalities, application, and tool-support
LT Ly, FM Maggi, M Montali, S Rinderle-Ma, WMP van der Aalst
Information systems 54, 209-234, 2015
1032015
Exploiting inductive logic programming techniques for declarative process mining
F Chesani, E Lamma, P Mello, M Montali, F Riguzzi, S Storari
Transactions on Petri Nets and Other Models of Concurrency II, 278-295, 2009
1012009
Reasoning on LTL on finite traces: Insensitivity to infiniteness
G De Giacomo, R De Masellis, M Montali
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
932014
Monitoring business constraints with the event calculus
M Montali, FM Maggi, F Chesani, P Mello, WMP van der Aalst
ACM transactions on intelligent systems and technology (TIST) 5 (1), 17, 2013
932013
Representing and monitoring social commitments using the event calculus
F Chesani, P Mello, M Montali, P Torroni
Autonomous Agents and Multi-Agent Systems 27 (1), 85-130, 2013
752013
Discovering data-aware declarative process models from event logs
FM Maggi, M Dumas, L García-Baņuelos, M Montali
Business Process Management, 81-96, 2013
732013
Runtime verification of LTL-based declarative process models
FM Maggi, M Westergaard, M Montali, WMP van der Aalst
International Conference on Runtime Verification, 131-146, 2011
732011
Commitment tracking via the reactive event calculus
F Chesani, P Mello, M Montali, P Torroni
Twenty-First International Joint Conference on Artificial Intelligence, 2009
702009
Inducing declarative logic-based models from labeled traces
E Lamma, P Mello, M Montali, F Riguzzi, S Storari
International Conference on Business Process Management, 344-359, 2007
672007
Description logic knowledge and action bases
BB Hariri, D Calvanese, M Montali, G De Giacomo, R De Masellis, P Felli
Journal of Artificial Intelligence Research 46, 651-686, 2013
582013
Towards data-aware constraints in declare
M Montali, F Chesani, P Mello, FM Maggi
Proceedings of the 28th annual ACM symposium on applied computing, 1391-1396, 2013
572013
Declarative process modeling in BPMN
G De Giacomo, M Dumas, FM Maggi, M Montali
International Conference on Advanced Information Systems Engineering, 84-100, 2015
562015
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant
L Luccarini, GL Bragadin, G Colombini, M Mancini, P Mello, M Montali, ...
Environmental Modelling & Software 25 (5), 648-660, 2010
522010
The system can't perform the operation now. Try again later.
Articles 1–20