research
∙
09/09/2022
Alignment-based conformance checking over probabilistic events
Conformance checking techniques allow us to evaluate how well some exhib...
share
research
∙
10/03/2021
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way
Collaboration across institutional boundaries is widespread and increasi...
research
∙
01/11/2021
Object-Level Reasoning with Logics Encoded in HOL Light
We present a generic framework that facilitates object level reasoning w...
research
∙
08/15/2018
A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference
The need for rigorous process composition is encountered in many situati...
research
∙
08/15/2018
Correct-by-construction Process Composition Using Classical Linear Logic Inference
The need for rigorous process composition is encountered in many situati...
research
∙
08/11/2018
The Boyer-Moore Waterfall Model Revisited
In this paper, we investigate the potential of the Boyer-Moore waterfall...
research
∙
03/07/2018