https://cci-research.nl/author/tijs/tijsWowchemy (https://wowchemy.com)en-usSat, 15 Nov 2025 00:00:00 +0000https://cci-research.nl/images/logo_hu5a1000236f6e181a977795e6532452c2_304385_300x300_fit_lanczos_3.pnghttps://cci-research.nl/author/tijs/https://cci-research.nl/theme/languagesandverification/Sat, 15 Nov 2025 00:00:00 +0000https://cci-research.nl/theme/languagesandverification/<p>The Programming Languages and Verification team is developing language engineering and verification techniques for the rapid development of domain-specific languages, specification languages and tools for editing, running and verifying programs in such languages. Case studies are provided by legal specification languages (e.g., eFLINT), protocol specification languages (Reowolf) and programmable networks (P4). The meta-languages developed by the team are used for conducting research into general-purpose programming languages. Of specific interest are functional programming, logic programming, theorem provers, model checking, definitional interpreters, and formal semantics.</p> <h1 id="software">Software</h1> <p><a href="https://cci-research.nl/software/eflint/"><img src="https://cci-research.nl/software/eflint/featured.png" width=200 style="display: inline;"/></a></p> <h1 id="publications">Publications</h1> <h2 id="2026">2026</h2> <p> <div class="media stream-item"> <div class="media-body"> <h3 class="article-title mb-0 mt-0"> <a href="https://cci-research.nl/publication/esterhuyse-justact-lmcs/" >JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies.</a> </h3> <a href="https://cci-research.nl/publication/esterhuyse-justact-lmcs/" class="summary-link"> <div class="article-style"> This extended article presents the JustAct framework, for distributed systems of decentralised control over how normative policy … </div> </a> <div class="stream-meta article-metadata"> <div> <span ><a href="https://cci-research.nl/author/christopher-esterhuyse/">Christopher Esterhuyse</a></span>, <span ><a href="https://cci-research.nl/author/l.-thomas-van-binsbergen/">L. Thomas van Binsbergen</a></span>, <span ><a href="https://cci-research.nl/author/tim-muller/">Tim Müller</a></span> </div> </div> <div class="btn-links"> <button type="button" class="btn btn-outline-primary my-1 mr-1 btn-sm js-cite-modal" data-filename="/publication/esterhuyse-justact-lmcs/cite.bib"> Cite </button> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/amdex/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/dmi/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/epi/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://doi.org/10.46298/lmcs-22%283:9%292026" target="_blank" rel="noopener"> DOI </a> </div> </div> <div class="ml-3"> </div> </div> </p> <h2 id="2025">2025</h2> <p> <div class="media stream-item"> <div class="media-body"> <h3 class="article-title mb-0 mt-0"> <a href="https://cci-research.nl/publication/esterhuyse-reowolf-coordination/" >Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.</a> </h3> <a href="https://cci-research.nl/publication/esterhuyse-reowolf-coordination/" class="summary-link"> <div class="article-style"> Presenting the theory of the Reowolf project, its protocol language and runtime system, as formalised in Rocq. Reowolf was developed to … </div> </a> <div class="stream-meta article-metadata"> <div> <span ><a href="https://cci-research.nl/author/christopher-esterhuyse/">Christopher Esterhuyse</a></span> </div> </div> <div class="btn-links"> <button type="button" class="btn btn-outline-primary my-1 mr-1 btn-sm js-cite-modal" data-filename="/publication/esterhuyse-reowolf-coordination/cite.bib"> Cite </button> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/amdex/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/dmi/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://doi.org/10.1007/978-3-031-95589-1_1" target="_blank" rel="noopener"> DOI </a> </div> </div> <div class="ml-3"> </div> </div> <div class="media stream-item"> <div class="media-body"> <h3 class="article-title mb-0 mt-0"> <a href="https://cci-research.nl/publication/gpce2025/" >A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.</a> </h3> <div class="stream-meta article-metadata"> <div> <span ><a href="https://cci-research.nl/author/christopher-esterhuyse/">Christopher Esterhuyse</a></span>, <span ><a href="https://cci-research.nl/author/l.-thomas-van-binsbergen/">L. Thomas van Binsbergen</a></span>, <span ><a href="https://cci-research.nl/author/tim-muller/">Tim Müller</a></span> </div> </div> <div class="btn-links"> <button type="button" class="btn btn-outline-primary my-1 mr-1 btn-sm js-cite-modal" data-filename="/publication/gpce2025/cite.bib"> Cite </button> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/amdex/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://doi.org/10.1145/3742876.3742882" target="_blank" rel="noopener"> DOI </a> </div> </div> <div class="ml-3"> </div> </div> </p> <h2 id="2024">2024</h2> <p> <div class="media stream-item"> <div class="media-body"> <h3 class="article-title mb-0 mt-0"> <a href="https://cci-research.nl/publication/esterhuyse-cooperative/" >Cooperative Specification via Composition Control.</a> </h3> <a href="https://cci-research.nl/publication/esterhuyse-cooperative/" class="summary-link"> <div class="article-style"> Specification languages are useful for expressing what a program or system should do. But what if specifications are assembled by … </div> </a> <div class="stream-meta article-metadata"> <div> <span ><a href="https://cci-research.nl/author/christopher-esterhuyse/">Christopher Esterhuyse</a></span>, <span ><a href="https://cci-research.nl/author/l.-thomas-van-binsbergen/">L. Thomas van Binsbergen</a></span> </div> </div> <div class="btn-links"> <button type="button" class="btn btn-outline-primary my-1 mr-1 btn-sm js-cite-modal" data-filename="/publication/esterhuyse-cooperative/cite.bib"> Cite </button> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/amdex/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/dmi/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://doi.org/10.1145/3687997.3695635" target="_blank" rel="noopener"> DOI </a> </div> </div> <div class="ml-3"> </div> </div> <div class="media stream-item"> <div class="media-body"> <h3 class="article-title mb-0 mt-0"> <a href="https://cci-research.nl/publication/just-act-2024/" >JustAct: Actions Universally Justified by Partial Dynamic Policies</a> </h3> <div class="stream-meta article-metadata"> <div> <span ><a href="https://cci-research.nl/author/christopher-esterhuyse/">Christopher Esterhuyse</a></span>, <span ><a href="https://cci-research.nl/author/tim-muller/">Tim Müller</a></span>, <span ><a href="https://cci-research.nl/author/l.-thomas-van-binsbergen/">L. Thomas van Binsbergen</a></span> </div> </div> <div class="btn-links"> <button type="button" class="btn btn-outline-primary my-1 mr-1 btn-sm js-cite-modal" data-filename="/publication/just-act-2024/cite.bib"> Cite </button> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/amdex/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/dmi/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://cci-research.nl/project/epi/"> Project </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://doi.org/10.1007/978-3-031-62645-6_4" target="_blank" rel="noopener"> DOI </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://link.springer.com/chapter/10.1007/978-3-031-62645-6_4" target="_blank" rel="noopener"> URL </a> </div> </div> <div class="ml-3"> </div> </div> </p> <h2 id="2021">2021</h2> <div class="media stream-item"> <div class="media-body"> <h3 class="article-title mb-0 mt-0"> <a href="https://cci-research.nl/publication/van-binsbergen-dynamic-2022/" >Dynamic generation of access control policies from social policies</a> </h3> <div class="stream-meta article-metadata"> <div> <span ><a href="https://cci-research.nl/author/l.-thomas-van-binsbergen/">L. Thomas van Binsbergen</a></span>, <span ><a href="https://cci-research.nl/author/milen-girma-kebede/">Milen Girma Kebede</a></span>, <span ><a href="https://cci-research.nl/author/joshua-baugh/">Joshua Baugh</a></span>, <span ><a href="https://cci-research.nl/author/tom-van-engers/">Tom van Engers</a></span>, <span ><a href="https://cci-research.nl/author/dannis-g.-van-vuurden/">Dannis G. van Vuurden</a></span> </div> </div> <div class="btn-links"> <button type="button" class="btn btn-outline-primary my-1 mr-1 btn-sm js-cite-modal" data-filename="/publication/van-binsbergen-dynamic-2022/cite.bib"> Cite </button> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://doi.org/10.1016/j.procs.2021.12.221" target="_blank" rel="noopener"> DOI </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://linkinghub.elsevier.com/retrieve/pii/S1877050921024601" target="_blank" rel="noopener"> URL </a> </div> </div> <div class="ml-3"> </div> </div> <h2 id="2020">2020</h2> <div class="media stream-item"> <div class="media-body"> <h3 class="article-title mb-0 mt-0"> <a href="https://cci-research.nl/publication/van-binsbergen-eflint-2020/" >eFLINT: a domain-specific language for executable norm specifications</a> </h3> <div class="stream-meta article-metadata"> <div> <span ><a href="https://cci-research.nl/author/l.-thomas-van-binsbergen/">L. Thomas van Binsbergen</a></span>, <span ><a href="https://cci-research.nl/author/lu-chi-liu/">Lu-Chi Liu</a></span>, <span ><a href="https://cci-research.nl/author/robert-van-doesburg/">Robert van Doesburg</a></span>, <span ><a href="https://cci-research.nl/author/tom-van-engers/">Tom van Engers</a></span> </div> </div> <div class="btn-links"> <button type="button" class="btn btn-outline-primary my-1 mr-1 btn-sm js-cite-modal" data-filename="/publication/van-binsbergen-eflint-2020/cite.bib"> Cite </button> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://doi.org/10.1145/3425898.3426958" target="_blank" rel="noopener"> DOI </a> <a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="https://dare.uva.nl/search?identifier=bb19cb35-c43e-4d70-81c9-8b6d3bdaa091" target="_blank" rel="noopener"> URL </a> </div> </div> <div class="ml-3"> </div> </div>