Christopher A. Esterhuyse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Coordination | Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. | Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab |
| 2025 | GPCE | A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |
| 2024 | FORTE | JustAct: Actions Universally Justified by Partial Dynamic Policies. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |
| 2024 | SLE | Cooperative Specification via Composition Control. | Christopher A. Esterhuyse, L. Thomas van Binsbergen |