Marco Montali

2014

doi dblp
Verifiable UML Artifact-Centric Business Process Models.
Diego Calvanese|Marco Montali|Montserrat Estañol|Ernest Teniente
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014

2013

doi dblp
Monitoring business constraints with the event calculus.
Marco Montali|Fabrizio Maria Maggi|Federico Chesani|Paola Mello|Wil M. P. van der Aalst
ACM Transactions on Intelligent Systems and Technology (TIST) 2013 Volume 5 Issue 1

2010

doi dblp
Declarative specification and verification of service choreographiess.
Marco Montali|Maja Pesic|Wil M. P. van der Aalst|Federico Chesani|Paola Mello|Sergio Storari
ACM Transactions on the Web 2010 Volume 4 Issue 1