14 citations · 23 across the 8 of their papers we have counts for
8 papers
Process-aware Human Activity Recognition
Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot +1
Humans naturally follow distinct patterns when conducting their daily activities, which are driven by established practices and processes, such as production workflows, social norm…
Alignment-based conformance checking over probabilistic events
Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot
Conformance checking techniques allow us to evaluate how well some exhibited behaviour, represented by a trace of monitored events, conforms to a specified process model. Modern mo…
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou +2
Collaboration across institutional boundaries is widespread and increasing today. It depends on federations sharing data that often have governance rules or external regulations re…
Object-Level Reasoning with Logics Encoded in HOL Light
Petros Papapanagiotou, Jacques Fleuriot
We present a generic framework that facilitates object level reasoning with logics that are encoded within the Higher Order Logic theorem proving environment of HOL Light. This inv…
The Boyer-Moore Waterfall Model Revisited
Petros Papapanagiotou, Jacques Fleuriot
In this paper, we investigate the potential of the Boyer-Moore waterfall model for the automation of inductive proofs within a modern proof assistant. We analyze the basic concepts…
A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference
Petros Papapanagiotou, Jacques Fleuriot
The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Lo…
Correct by Construction Resource-based Process Composition
Petros Papapanagiotou, Jacques Fleuriot
The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Lo…
A theorem proving framework for the formal verification of Web Services Composition
Petros Papapanagiotou, Jacques D. Fleuriot
We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enabl…