research
∙
04/20/2019
Specification-Driven Predictive Business Process Monitoring
Predictive analysis in business process monitoring aims at forecasting t...
share
research
∙
04/02/2018
Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)
Predictive analysis in business process monitoring aims at forecasting t...
research
∙
04/30/2015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Knowledge and Action Bases (KABs) have been put forward as a semanticall...
research
∙
08/28/2013
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Artifact-Centric systems have emerged in the last years as a suitable fr...
research
∙
04/23/2013