Programming Languages and VerificationL. Thomas van Binsbergen, Damian Frolich, christopher, Tommaso Pacciani, mike, Tim MüllerNov 15, 2025…Projects MooiSoftwarePublications2025A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.Christopher Esterhuyse, L. Thomas van Binsbergen, Tim Müller Cite Project DOI2024202320222021Dynamic generation of access control policies from social policiesL. Thomas van Binsbergen, Milen Girma Kebede, Joshua Baugh, Tom van Engers, Dannis G. van Vuurden Cite DOI URL2020eFLINT: a domain-specific language for executable norm specificationsL. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom van Engers Cite DOI URLDataL. Thomas van BinsbergenAssistant ProfessorDamian FrolichPostdocTommaso PaccianiPhD CandidateTim MüllerScientific Programmer
