Search Results - "Papapanagiotou, Petros"

A theorem proving framework for the formal verification of Web Services Composition by Papapanagiotou, Petros, Fleuriot, Jacques D.

“…We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the…”
Get full text

A Collaboration Model for Community-Based Software Development with Social Machines by Murray-Rust, Dave, Scekic, Ognjen, Papapanagiotou, Petros, Truong, Hong-Linh, Roberston, Dave, Dustdar, Schahram

“…Crowdsourcing is generally used for tasks with minimal coordination, providing limited support for dynamic reconfiguration. Modern systems, exemplified by…”
Get full text

Healthcare data safe havens: towards a logical architecture and experiment automation by Robertson, David, Giunchiglia, Fausto, Pavis, Stephen, Turra, Ettore, Bella, Gabor, Elliot, Elizabeth, Morris, Andrew, Atkinson, Malcolm, McAllister, Gordon, Manataki, Areti, Papapanagiotou, Petros, Parsons, Mark

“…In computing science, much attention has been paid to generic methods for sharing data in secure infrastructures. These sorts of methods and infrastructures…”
Get full text

Object-Level Reasoning with Logics Encoded in HOL Light by Papapanagiotou, Petros, Fleuriot, Jacques

Get full text

A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers by Manataki, Areti, Fleuriot, Jacques, Papapanagiotou, Petros

“…Intrahospital transfers are a common but hazardous aspect of hospital care, with a large number of incidents posing a threat to patient safety. A growing body…”
Get full text

Formal verification of collaboration patterns in healthcare by Papapanagiotou, Petros, Fleuriot, Jacques D.

“…We propose a computer-based framework for the formal verification of collaboration patterns in healthcare teams. In this, the patterns are constructed…”
Get full text

Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers by Manataki, Areti, Fleuriot, Jacques, Papapanagiotou, Petros

“…We review a generic framework for rigorous workflow modelling and verification that was recently applied to healthcare collaboration patterns, and we show how…”
Get full text

Object-Level Reasoning with Logics Encoded in HOL Light by Papapanagiotou, Petros, Fleuriot, Jacques

“…EPTCS 332, 2021, pp. 18-34 We present a generic framework that facilitates object level reasoning with logics that are encoded within the Higher Order Logic…”
Get full text

A formal verification approach to process modelling and composition by Papapanagiotou, Petros

“…Process modelling is a design approach where a system or procedure is decomposed in a number of abstract, independent, but connected processes, and then…”
Get full text

Rigorous process-based modelling of patterns for collaborative work in healthcare teams by Papapanagiotou, Petros, Fleuriot, Jacques, Grando, Adela

“…We review recently proposed notions of healthcare patterns for collaborative work and show how these can be cast in terms of composition of processes. The…”
Get full text

Process-aware Human Activity Recognition by Zheng, Jiawei, Papapanagiotou, Petros, Fleuriot, Jacques D, Hillston, Jane

“…Humans naturally follow distinct patterns when conducting their daily activities, which are driven by established practices and processes, such as production…”
Get full text

Alignment-based conformance checking over probabilistic events by Zheng, Jiawei, Papapanagiotou, Petros, Fleuriot, Jacques D

“…Conformance checking techniques allow us to evaluate how well some exhibited behaviour, represented by a trace of monitored events, conforms to a specified…”
Get full text

A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference by Papapanagiotou, Petros, Fleuriot, Jacques

“…The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use…”
Get full text

The Boyer-Moore Waterfall Model Revisited by Papapanagiotou, Petros, Fleuriot, Jacques

“…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…”
Get full text

Correct by Construction Resource-based Process Composition by Papapanagiotou, Petros, Fleuriot, Jacques

“…The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use…”
Get full text

Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way by Zhao, Rui, Atkinson, Malcolm, Papapanagiotou, Petros, Magnoni, Federica, Fleuriot, Jacques

“…Collaboration across institutional boundaries is widespread and increasing today. It depends on federations sharing data that often have governance rules or…”
Get full text

A theorem proving framework for the formal verification of Web Services Composition by Papapanagiotou, Petros, Fleuriot, Jacques D

“…EPTCS 61, 2011, pp. 1-16 We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based…”
Get full text

Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus by Papapanagiotou, P., Fleuriot, J.

“…We give an overview of a rigorous approach to Web Services composition based on theorem proving in the proof assistant HOL Light. In this, we exploit the…”
Get full text