Journal papers | Conference papers | Preprints | White papers | Theses | Media articles | Tools

Journal papers

  • 2024/February: iCoLa+: An extensible meta-language with support for exploratory language development.
    Journal of Systems and Software, volume 211. Damian Frölich, L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2022/January: Dynamic generation of access control policies from social policies.
    Procedia Computer Science special issue on The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2021). L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom van Engers, Dannis G. van Vuurden. [DOI] [Preprint] [Projects: EPI, AMdEX]
  • 2020/January: Purely Functional GLL Parsing.
    Journal of Computer Languages. L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone. [DOI] [Preprint]
  • 2019/April: Derivation representation using binary subtree sets.
    Science of Computer Programming. Elizabeth Scott, Adrian Johnstone and L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2019/February: Executable Component-Based Semantics.
    Journal of Logical and Algebraic Methods in Programming. L. Thomas van Binsbergen, Peter D. Mosses and Neil Sculthorpe. [DOI] [Preprint]
  • 2016/February: Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.
    International Journal of Artificial Intelligence in Education. Alex Gerdes, Bastiaan Heeren, Johan Jeuring and L. Thomas van Binsbergen. [DOI] [Preprint]

Conference papers

  • 2025/July: P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4.
    Paper at Generative Programming: Concepts & Experiences (GPCE) 2025. Tommaso Pacciani, Damian Frölich, L. Thomas van Binsbergen, Chrysa Papagianni. [DOI] [Preprint] [Projects: FNS]
  • 2025/July: A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.
    Paper at Generative Programming: Concepts & Experiences (GPCE) 2025. Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: B2G3P, AMdEX]
  • 2025/June: Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages.
    Paper at Software Language Engineering (SLE) 2025. Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: ALE]
  • 2024/December: Managing Administrative Law Cases using an Adaptable Model-driven Norm-enforcing Tool.
    Workshop on AI 4 Access 2 Justice @ JURIX 2024. Marten Steketee, Nina Verheijen, L. Thomas van Binsbergen. [Preprint] [Slides] [Projects: B2G3P]
  • 2024/October: Building a Digital Health Twin for Personalized Intervention: The EPI Project.
    Open Access Series in Informatics (OASIcs). Jamila Alsayed Kassem, Corinne Allaart, Saba Amiri, Milen Kebede, Tim Müller, Rosanne Turner, Adam Belloum, L. Thomas van Binsbergen, Peter Grunwald, Aart van Halteren, Paola Grosso, Cees de Laat, and Sander Klous. [DOI] [Projects: AMdEX, EPI]
  • 2024/October: Bridging Incremental Programming and Complex Software Development Environments.
    Paper at Programming Abstractions and Interactive Notations, Tools, and Environments (GPCE) 2024, Presented at SPLASH 2024. Max Boksem, L. Thomas van Binsbergen. [DOI] [Preprint] [Video]
  • 2024/October: On the Soundness of Auto-completion Services for Dynamically Typed Languages.
    Paper at Generative Programming: Concepts and Experiences (GPCE) 2024, Presented at SPLASH 2024. Damian Frölich, L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2024/October: Cooperative Specification via Composition Control.
    Paper at Software Language Engineering (SLE) 2024, Presented at SPLASH 2024. Christopher A. Esterhuyse, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: AMdEX]
  • 2024/July: Regulatory Services to Automate Compliance with Ex-post Enforcement.
    Paper at AI Approaches to the Complexity of Legal Systems (AICOL) 2023. Lu-Chi Liu, Mostafa M. Parizi, L. Thomas van Binsbergen, Tom van Engers. [Preprint] [Projects: AMdEX, SSPDDP, DL4LD]
  • 2024/June: JustAct: Actions Universally Justified by Partial Dynamic Policies.
    Paper at Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2024. Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen. [DOI] [Preprint] [Slides] [Projects: AMdEX]
  • 2023/December: Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle.
    Jurix 2023. Frontiers in Artifical Intelligence and Applications (Series), Volume 379: Legal Knowledge and Information Systems. Milen G. Kebede, L. Thomas van Binsbergen, Tom van Engers, Dannis G. van Vuurden. [DOI] [Projects: EPI, AMdEX]
  • 2023/October: Adaptive Structural Operational Semantics.
    SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering. Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoit Combemale, Gurvan Le Guernic, Gunter Mussbacher, and L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2022/December: A Language-Parametric Approach to Exploratory Programming Environments.
    Paper at Software Language Engineering (SLE) 2022. L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais. [DOI] [Preprint] [Projects: ALE, AMdEX]
  • 2022/December: iCoLa: A Compositional Meta-language with Support for Incremental Language Development.
    Proceedings of SLE' 22. Damian Frölich, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: ALE]
  • 2022/October: Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution.
    2nd Workshop on Reproducible Workflows, Data Management, and Security (ReWorDs 2022). Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen, Adam S.Z. Belloum. [DOI] [Preprint] [Projects: EPI, AMdEX]
  • 2022/September: Making the Invisible Visible in Computational Notebooks.
    IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Mauricio Verano Merino, L. Thomas van Binsbergen, Mazyar Seraj. [DOI] [Projects: ALE, AMdEX]
  • 2022/September: A Modular Architecture for Integrating Normative Advisors in MAS.
    Proceedings of the 17th European Conference on Multi-Agent Systems (EUMAS 2022). Mostafa M. Parizi, L. Thomas van Binsbergen, Giovanni Sileno, Tom van Engers. [DOI] [Preprint] [Projects: DL4LD, AMdEX]
  • 2021/August: A generic back-end for exploratory programming.
    International Conference on Trends in Functional Programming (TFP2021). Damian Frölich and L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: ALE, SSPDDP, AMdEX]
  • 2020/November: eFLINT: a Domain-Specific Language for Executable Norm Specifications.
    Proceedings of GPCE '20. L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers. [DOI] [Preprint] [Video] [Projects: SSPDDP]
  • 2020/October: A principled approach to REPL interpreters.
    Proceedings of Onward! '20. L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais. [DOI] [Preprint] [Video]
  • 2018/November: Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper).
    Proceedings of GPCE '18. L. Thomas van Binsbergen. [DOI] [Authorized access]
  • 2018/October: GLL parsing with flexible combinators.
    Proceedings of SLE' 18. L. Thomas van Binsbergen, Elizabeth Scott and Adrian Johnstone. [DOI] [Authorized access]
  • 2017/December: Checking cryptographic API usage with composable annotations (short paper).
    Proceedings of PEPM '18. Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring and Johannes Kinder. [DOI] [Authorized access]
  • 2016/March: Tool support for component-based semantics.
    Companion proceedings of Modularity '16. L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses. [DOI] [Authorized access]
  • 2015/August: Linearly Ordered Attribute Grammars Scheduling Using SAT-Solving.
    Proceedings of TACAS' 15. Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen and Atze Dijkstra. [DOI]
  • 2015/January: Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
    Proceedings of PEPM' 15. L. Thomas van Binsbergen, Jeroen Bransen and Atze Dijkstra. [DOI] [Authorized access]
  • 2014/November: Model solutions and properties for diagnosing student programs in Ask-Elle.
    Proceedings of CSERC' 14. Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren. [DOI] [Authorized access]

Preprints

  • 2023/March: Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals.
    L. Thomas van Binsbergen, Damian Frölich. [arXiv]
  • 2023/January: Reflections on the design and application of the normative specification language eFLINT.
    L. Thomas van Binsbergen. [Preprint] [Video] [Projects: AMdEX, SSPDDP]
  • 2022/January: DPCL: a Language Template for Normative Specifications.
    Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom van Engers. [arXiv]

White papers

  • 2024/February: AMdEX Reference Architecture.
    Deliverable for the AMdEX fieldlab project. L. Thomas van Binsbergen, Merrick Oost-Rosengren, Hayo Schreijer, Freek Dijkstra, Taco van Dijk. [DOI] [Preprint] [Projects: AMdEX]

Theses

Media articles

  • 2023/October: Building Bridges.
    I/O Magazine. ICT Research Platform Nederland. Pg 22-23. Sonja Knols. [Preprint]

Tools