×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of marco-montali
Seminar@KRDB 2012 - Montali - Verification of Relational Data-Centric Systems with External Services
49 views
Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support
91 views
Seminar@FBK-IRST 2012 - Montali - Towards Convergence of Data and Processes: the Artifact-Centric Approach
65 views
Temporal logics over finite traces for declarative BPM
75 views
KR 2014 - Montali - State-Boundedness in Data-Aware Dynamic Systems
53 views
CAiSE 2015 - Montali - Declarative Process Modeling in BPMN
152 views
ILIKS2010 - Montali - Monitoring Time-Aware Commitments
50 views
ATAED2016 Montali - Marrying data and processes: from model to event data analysis
172 views
PV 2014 - Montali - Verification of Parameterized Data-Aware Dynamic Systems
45 views
FBKR 2012 - Montali - Conformance Verification when Dealing with Computerized and Human-Enhanced Processes
34 views
BPM 2014 - Montali - Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces
61 views
Prohealth 2011 - Montali - Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge
54 views
AIxIA2015 - Marco Somalvico Award 2015 - Montali - Data and Processes: a Challenging, though Necessary, Marriage
87 views
Montali: Declarative, Constraint-Based Business Process Management - Seville 2016
127 views
Invited Seminar@KRDB 2010 - Montali - Specification and Verification of Declarative Open Interaction Models
56 views
Montali - DB-Nets: On The Marriage of Colored Petri Nets and Relational Databases
98 views