L. Thomas van Binsbergen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
10
Active years
2015–2026
Best venue rank
B
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | A Business and Organizational Maturity Model for Data Spaces derived from the DSSC Blueprint. | Julian Roloff, L. Thomas van Binsbergen, Vinith Bhandari |
| 2025 | GPCE | A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |
| 2025 | GPCE | P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. | Tommaso Pacciani, Damian Frlich, L. Thomas van Binsbergen, Chrysa Papagianni |
| 2025 | SLE | Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages. | Damian Frlich, Tommaso Pacciani, L. Thomas van Binsbergen |
| 2024 | FORTE | JustAct: Actions Universally Justified by Partial Dynamic Policies. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |
| 2024 | GPCE | On the Soundness of Auto-completion Services for Dynamically Typed Languages. | Damian Frlich, L. Thomas van Binsbergen |
| 2024 | SLE | Cooperative Specification via Composition Control. | Christopher A. Esterhuyse, L. Thomas van Binsbergen |
| 2023 | JURIX | Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. | Milen G. Kebede, L. Thomas van Binsbergen, Tom M. van Engers, Dannis G. van Vuurden |
| 2023 | SLE | Adaptive Structural Operational Semantics. | Gwendal Jouneaux, Damian Frlich, Olivier Barais, Benot Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen |
| 2022 | EUMAS | A Modular Architecture for Integrating Normative Advisors in MAS. | Mostafa Mohajeri Parizi, L. Thomas van Binsbergen, Giovanni Sileno, Tom M. van Engers |
| 2022 | SLE | A Language-Parametric Approach to Exploratory Programming Environments. | L. Thomas van Binsbergen, Damian Frlich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benot Combemale, Olivier Barais |
| 2022 | SLE | iCoLa: A Compositional Meta-language with Support for Incremental Language Development. | Damian Frlich, L. Thomas van Binsbergen |
| 2021 | EUSPN | Dynamic generation of access control policies from social policies. | L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom M. van Engers, Dannis G. van Vuurden |
| 2020 | GPCE | eFLINT: a domain-specific language for executable norm specifications. | L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom M. van Engers |
| 2020 | OOPSLA | A principled approach to REPL interpreters. | L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benot Combemale, Olivier Barais |
| 2018 | GPCE | Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). | L. Thomas van Binsbergen |
| 2018 | PEPM | Checking cryptographic API usage with composable annotations (short paper). | Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder |
| 2018 | SLE | GLL parsing with flexible combinators. | L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone |
| 2015 | PEPM | Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. | L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra |
| 2015 | TACAS | Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. | Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra |