5 citations · 6 across the 2 of their papers we have counts for
5 papers
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…