Concepedia

L. Thomas van Binsbergen

LT

6

Publications

107

Citations

6

H-Index

2014

Active since

Affiliations

Swansea University(Current)

Royal Holloway University of London

Centrum Wiskunde & Informatica

University of Amsterdam

L. Thomas van Binsbergen is an author at Swansea University specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSystem SoftwareFormal VerificationSoftware EngineeringEducation

Publications per year

2014–2022

6

Publications

6

eFLINT: a domain-specific language for executable norm specifications

L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg et al. · 2020 · 38 citations · Full text

Engineering, Sensitive Data, Information Security +22

A principled approach to REPL interpreters

L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean et al. · 2020 · 20 citations · Full text

Executable component-based semantics

L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe · Journal of Logical and Algebraic Methods in Programming · 2019 · 17 citations · Full text

Engineering, Operational Semantics, Program Analysis +10

Model solutions and properties for diagnosing student programs in Ask-Elle

Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes et al. · 2014 · 11 citations

Engineering, Interactive Tutor, Education +20

Dynamic generation of access control policies from social policies

L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh et al. · Procedia Computer Science · 2022 · 11 citations · Full text

Rows per page

1–5 of 6