L. Thomas van Binsbergen

39 papers A 1B 13C 5Journal 11Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. GPCE Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen
2025	—	`conf`	Exploration and Complexity Management in Graph-Based Programming Environments. Programming Max Boksem, L. Thomas van Binsbergen
2025	B	`conf`	Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages. SLE Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen
2025	J	`jnl`	JustAct+: Justified and Accountable Actions in Policy-Regulated, Multi-Domain Data Processing. CoRR Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen
2025	J	`jnl`	Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems. CoRR L. Thomas van Binsbergen, Marten C. Steketee, Milen G. Kebede, Heleen L. Janssen, Tom M. van Engers
2025	J	`jnl`	Managing Administrative Law Cases using an Adaptable Model-driven Norm-enforcing Tool. CoRR Marten C. Steketee, Nina M. Verheijen, L. Thomas van Binsbergen
2025	B	`conf`	P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. GPCE Tommaso Pacciani, Damian Frölich, L. Thomas van Binsbergen, Chrysa Papagianni
2025	J	`jnl`	Reflections on the design, applications and implementations of the normative specification language eFLINT. CoRR L. Thomas van Binsbergen, Christopher A. Esterhuyse, Tim Müller
2024	—	`conf`	Bridging Incremental Programming and Complex Software Development Environments. PAINT@SPLASH Max Boksem, L. Thomas van Binsbergen
2024	—	`ch.`	Building a Digital Health Twin for Personalized Intervention: The EPI Project. Commit2Data Jamila Alsayed Kassem, Corinne G. Allaart, Saba Amiri, Milen G. Kebede, Tim Müller, Rosanne Turner, Adam Belloum, L. Thomas van Binsbergen, Peter Grunwald, Aart van Halteren, Paola Grosso, Cees de Laat, Sander Klous
2024	B	`conf`	Cooperative Specification via Composition Control. SLE Christopher A. Esterhuyse, L. Thomas van Binsbergen
2024	C	`conf`	JustAct: Actions Universally Justified by Partial Dynamic Policies. FORTE Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen
2024	B	`conf`	On the Soundness of Auto-completion Services for Dynamically Typed Languages. GPCE Damian Frölich, L. Thomas van Binsbergen
2024	J	`jnl`	iCoLa+: An extensible meta-language with support for exploratory language development. J. Syst. Softw. Damian Frölich, L. Thomas van Binsbergen
2023	B	`conf`	Adaptive Structural Operational Semantics. SLE Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen
2023	J	`jnl`	Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals. CoRR L. Thomas van Binsbergen, Damian Frölich
2023	C	`conf`	Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. JURIX Milen G. Kebede, L. Thomas van Binsbergen, Tom M. van Engers, Dannis G. van Vuurden
2022	B	`conf`	A Language-Parametric Approach to Exploratory Programming Environments. SLE L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoît Combemale, Olivier Barais
2022	C	`conf`	A Modular Architecture for Integrating Normative Advisors in MAS. EUMAS Mostafa Mohajeri Parizi, L. Thomas van Binsbergen, Giovanni Sileno, Tom M. van Engers
2022	J	`jnl`	DPCL: a Language Template for Normative Specifications. CoRR Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom M. van Engers
2022	B	`conf`	Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. e-Science Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen, Adam S. Z. Belloum
2022	B	`conf`	Making the Invisible Visible in Computational Notebooks. VL/HCC Mauricio Verano Merino, L. Thomas van Binsbergen, Mazyar Seraj
2022	B	`conf`	iCoLa: A Compositional Meta-language with Support for Incremental Language Development. SLE Damian Frölich, L. Thomas van Binsbergen
2021	—	`conf`	A Generic Back-End for Exploratory Programming. TFP Damian Frölich, L. Thomas van Binsbergen
2021	—	`conf`	Dynamic generation of access control policies from social policies. EUSPN/ICTH L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom M. van Engers, Dannis G. van Vuurden
2020	—	`conf`	A principled approach to REPL interpreters. Onward! L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoît Combemale, Olivier Barais
2020	J	`jnl`	Purely functional GLL parsing. J. Comput. Lang. L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
2020	B	`conf`	eFLINT: a domain-specific language for executable norm specifications. GPCE L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom M. van Engers
2019	J	`jnl`	Derivation representation using binary subtree sets. Sci. Comput. Program. Elizabeth Scott, Adrian Johnstone, L. Thomas van Binsbergen
2019	J	`jnl`	Executable component-based semantics. J. Log. Algebraic Methods Program. L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe
2019	—	`—`	Executable formal specification of programming languages with reusable components. L. Thomas van Binsbergen
2018	C	`conf`	Checking cryptographic API usage with composable annotations (short paper). PEPM Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder
2018	B	`conf`	Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). GPCE L. Thomas van Binsbergen
2018	B	`conf`	GLL parsing with flexible combinators. SLE L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
2017	J	`jnl`	Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
2016	—	`conf`	Tool support for component-based semantics. MODULARITY (Companion) L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses
2015	A	`conf`	Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. TACAS Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra
2015	C	`conf`	Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. PEPM L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra
2014	—	`conf`	Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren