Seminar@KRDB 2012 - Montali - Verification of Relational Data-Centric Systems with External Services
Seminar@KRDB 2011 - Montali - Runtime Reasoning with the Event Calculus: from Theory to Practice
Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support
Invited Seminar@KRDB 2010 - Montali - Specification and Verification of Declarative Open Interaction Models
ILIKS2010 - Montali - Monitoring Time-Aware Commitments
FBKR 2012 - Montali - Conformance Verification when Dealing with Computerized and Human-Enhanced Processes
Seminar@FBK-IRST 2012 - Montali - Towards Convergence of Data and Processes: the Artifact-Centric Approach
PV 2014 - Montali - Verification of Parameterized Data-Aware Dynamic Systems
ATAED2016 Montali - Marrying data and processes: from model to event data analysis
Representing and monitoring social commitments using the event calculus
BPM 2014 - Montali - Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces
Prohealth 2011 - Montali - Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge
Temporal logics over finite traces for declarative BPM
KR 2014 - Montali - State-Boundedness in Data-Aware Dynamic Systems
CAiSE 2015 - Montali - Declarative Process Modeling in BPMN
AAAI 2015 - Montali - Verification of Relational Multiagent Systems with Data Types
Montali: Declarative, Constraint-Based Business Process Management - Seville 2016
AIxIA2015 - Marco Somalvico Award 2015 - Montali - Data and Processes: a Challenging, though Necessary, Marriage
Montali - DB-Nets: On The Marriage of Colored Petri Nets and Relational Databases