Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 26
Number of items: 26
  • 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
  • Open Access
    Frölich, D., & van Binsbergen, L. T. (2024). On the Soundness of Auto-completion Services for Dynamically Typed Languages. In S. Chiba, & T. Thüm (Eds.), GPCE '24: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : October 21-22, 2024, Pasadena, CA, USA (pp. 107–120). Association for Computing Machinery. https://doi.org/10.1145/3689484.3690734
  • Open Access
    Frölich, D., & van Binsbergen, L. T. (2024). iCoLa+: An extensible meta-language with support for exploratory language development. Journal of Systems and Software, 211, Article 111979. https://doi.org/10.1016/j.jss.2024.111979
  • Open Access
    Alsayed Kassem, J., Allaart, C., Amiri, S., Kebede, M., Müller, T., Turner, R., Belloum, A., van Binsbergen, L. T., Grunwald, P., van Halteren, A., Grosso, P., de Laat, C., & Klous, S. (2024). Building a Digital Health Twin for Personalized Intervention: The EPI Project. In B. R. Haverkort, A. de Jongste, P. van Kuilenburg, & R. D. Vromans (Eds.), Commit2Data Article 2 (OpenAccess Series in Informatics; Vol. 124). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/OASIcs.Commit2Data.2
  • 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
  • Jouneaux, G., Frölich, D., Barais, O., Combemale, B., Le Guernic, G., Mussbacher, G., & van Binsbergen, L. T. (2023). Adaptive Structural Operational Semantics. In J. Saraiva, T. Degueule, & E. Scott (Eds.), Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE '23): October 23-24, 2023, Cascais, Portugal (pp. 29-42). Association for Computing Machinery. https://doi.org/10.1145/3623476.3623517
  • Open Access
    Kebede, M. G., van Binsbergen, T., van Engers, T., & van Vuurden, D. G. (2023). Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. In G. Sileno, J. Spanakis, & G. van Dijck (Eds.), Legal Knowledge and Information Systems: JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, the Netherlands, 18-20 December 2023 (pp. 143-148). (Frontiers in Artificial Intelligence and Applications; Vol. 379). IOS Press. https://doi.org/10.3233/FAIA230958
  • Frölich, D., & van Binsbergen, L. T. (2022). ICoLa: A Compositional Meta-Language with Support for Incremental Language Development. In B. Fischer, L. Burgueño, & W. Cazzola (Eds.), SLE '22: proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering : December 6-7, 2022, Auckland, New Zealand (pp. 202–215). The Association for Computing Machinery. https://doi.org/10.1145/3567512.3567529
  • van Binsbergen, L. T., Frölich, D., Verano Merino, M., Lai, J., Jeanjean, P., van der Storm, T., Combemale, B., & Barais, O. (2022). A Language-Parametric Approach to Exploratory Programming Environments. In B. Fischer, L. Burgueño, & W. Cazzola (Eds.), SLE '22: proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering : December 6-7, 2022, Auckland, New Zealand (pp. 175–188). The Association for Computing Machinery. https://doi.org/10.1145/3567512.3567527
  • 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 2 of 3