research
∙
04/04/2020
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
Runtime monitoring is one of the central tasks in the area of operationa...
share
research
∙
09/27/2019
Verification of data-aware workflows via reachability: formalisation and experiments
The growing adoption of IT-systems for the modelling and execution of (b...
research
∙
05/02/2019
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems
We develop a logic-based framework for formal specification and algorith...
research
∙
06/01/2017
Enhancing workflow-nets with data for trace completion
The growing adoption of IT-systems for modeling and executing (business)...
research
∙
06/17/2016
Abducing Compliance of Incomplete Event Logs
The capability to store data about business processes execution in so-ca...
research
∙
04/30/2014
LTLf and LDLf Monitoring: A Technical Report
Runtime monitoring is one of the central tasks to provide operational de...
research
∙
02/04/2014
