Travelled to:1 × Austria
1 × Canada
1 × China
1 × Estonia
1 × Portugal
1 × Sweden
1 × USA
2 × Italy
Collaborated with:D.Calvanese F.M.Maggi G.D.Giacomo F.Chesani P.Mello W.M.P.v.d.Aalst B.B.Hariri A.Deutsch M.Alberti M.Gavanelli E.Lamma M.Dumas M.Estañol E.Teniente L.T.Ly S.Rinderle-Ma S.Ghilardi A.Gianola A.Rivkin P.Torroni Vincenzo Del Fatto G.Dodero R.Gennari Alessandra Melonio S.Razniewski Santina Torello Xiaofeng Wang 0001 F.Zini
Talks about:data (4) framework (3) process (3) declar (3) verif (3) model (3) awar (3) constraint (2) monitor (2) centric (2)
Person: Marco Montali
DBLP: Montali:Marco
Contributed to:
2015
2014
2014
2013
2013
2013
2012
2008
2006
2019
2014Wrote 12 papers:
- CAiSE-2015-GiacomoDMM #declarative #modelling #process
- Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
- CIKM-2014-CalvaneseMET #modelling #process #uml
- Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
- KR-2014-HaririCD #bound
- State-Boundedness in Data-Aware Dynamic Systems (BBH, DC, MM, AD).
- EDOC-2013-LyMMRA #comparison #evaluation #framework #monitoring
- A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches (LTL, FMM, MM, SRM, WMPvdA), pp. 7–16.
- PODS-2013-CalvaneseGM #analysis #database #perspective #process
- Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.
- PODS-2013-HaririCGDM #relational #verification
- Verification of relational data-centric dynamic systems with external services (BBH, DC, GDG, AD, MM), pp. 163–174.
- SAC-2013-MontaliCMM #constraints #towards
- Towards data-aware constraints in declare (MM, FC, PM, FMM), pp. 1391–1396.
- FASE-2012-MaggiMA #constraints #framework #monitoring
- An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
- ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification
- Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.
- PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service
- An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.
- CADE-2019-CalvaneseGGMR
- Model Completeness, Covers and Superposition (DC, SG, AG, MM, AR), pp. 142–160.
- CHI-PLAY-2014-FattoDGMMRTWZ #case study
- Gamified children universities: an exploratory study (VDF, GD, RG, AM, MM, SR, ST, XW0, FZ), pp. 409–410.