Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 7
Number of items: 7
  • Open Access
    Esterhuyse, C. A., Müller, T., & van Binsbergen, L. T. (2025). A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. In A. Shaikhha, S. Erdweg, & N. Amin (Eds.), GPCE '25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : July 3-4, 2025, Bergen, Norway (pp. 80-93). Association for Computing Machinery. https://doi.org/10.1145/3742876.3742882
  • Open Access
    Esterhuyse, C. A., Lion, B., Hiep, H.-D. A., & Arbab, F. (2025). Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. In C. Di Giusto, & A. Ravara (Eds.), Coordination Models and Languages: 27th IFIP WG 6.1 International Conference, COORDINATION 2025 : held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 : proceedings (pp. 3-29). (Lecture Notes in Computer Science; Vol. 15731). Springer. https://doi.org/10.1007/978-3-031-95589-1_1
  • Open Access
    Alsayed Kassem, J., Müller, T., Esterhuyse, C. A., Kebede, M. G., Osseyran, A., & Grosso, P. (2025). The EPI framework: A data privacy by design framework to support healthcare use cases. Future Generation Computer Systems, 165, Article 107550. https://doi.org/10.1016/j.future.2024.107550
  • Open Access
    Esterhuyse, C. A. (2025). Specification-centric multi-agent systems. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Esterhuyse, C. A., Müller, T., & van Binsbergen, L. T. (2024). JustAct: Actions Universally Justified by Partial Dynamic Policies. In V. Castiglioni, & A. Francalanza (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024 : held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024 : proceedings (pp. 60-81). (Lecture Notes in Computer Science; Vol. 14678). Springer. https://doi.org/10.1007/978-3-031-62645-6_4
  • Open Access
    Esterhuyse, C. A., & van Binsbergen, L. T. (2024). Cooperative Specification via Composition Control. In R. Laemmel, J. Alves Pereira, & P. D. Mosses (Eds.), SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering : October 20-21, 2024, Pasadena, CA, USA (pp. 2-15). Association for Computing Machinery. https://doi.org/10.1145/3687997.3695635
  • Esterhuyse, C. A., Müller, T., van Binsbergen, L. T., & Belloum, A. S. Z. (2022). Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. In eScience '22 : Democratizing science : 2022 IEEE 18th International Conference on e-Science: proceedings : eScience 2022 : Salt Lake City, Utah, USA, 10-14 October 202 (pp. 481-486). Conference Publishing Services, IEEE Computer Society. https://doi.org/10.1109/eScience55777.2022.00086
Page of