Christopher A. Esterhuyse

According to our database, Christopher A. Esterhuyse authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

JustAct+: Justified and Accountable Actions in Policy-Regulated, Multi-Domain Data Processing.

Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen

CoRR, February, 2025

The EPI framework: A data privacy by design framework to support healthcare use cases.

Jamila Alsayed Kassem, Tim Müller, Christopher A. Esterhuyse, Milen G. Kebede, Anwar Osseyran, Paola Grosso

Future Gener. Comput. Syst., 2025

A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.

Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen

Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2025

Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.

Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab

Proceedings of the Coordination Models and Languages, 2025

2024

Cooperative Specification via Composition Control.

Christopher A. Esterhuyse, L. Thomas van Binsbergen

Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, 2024

JustAct: Actions Universally Justified by Partial Dynamic Policies.

Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2022

Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution.

Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen, Adam S. Z. Belloum

Proceedings of the 18th IEEE International Conference on e-Science, 2022

2019

Reowolf: Synchronous Multi-party Communication over the Internet.

Christopher A. Esterhuyse, Hans-Dieter A. Hiep

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019