BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Montali:Marco

Contributed to:

CAiSE 20152015
CIKM 20142014
KR 20142014
EDOC 20132013
PODS 20132013
SAC 20132013
FASE 20122012
ICLP 20082008
PPDP 20062006
CADE 20192019
CHI PLAY 20142014

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.