2026

• Hardware-in-the-Loop Validation of Formal Models: An Application to AI-Controlled Drones - Fabian Vu, Jan Gruteser, Philipp Körner, Michael Leuschel, David Geleßus, Miles Vella

2025

• A case for data-oriented specifications: simpler implementation of B tools and DSLs - Philipp Körner, Florian Mager, Jan Roßbach - open access

2024

• Runtime Evaluation of Prolog Data Structures - Philipp Körner, Christoph Ludolf, Michael Leuschel - full text
• Bi-Directional DSL Transformation Using miniKanren - Philipp Körner - full text
• A verified low-level implementation and visualization of the adaptive exterior light and speed control system - Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk - open access
• Meta-Programming Event-B - Advancing Tool Support and Language Extensions - Philipp Körner, Julius Armbrüster - pre-print

2023

• On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms - Philipp Körner - full text

2022

• An Embedding of B in Clojure - Philipp Körner, Florian Mager - open access
• A Jupyter Kernel for Prolog - Anne Brecklinghaus, Philipp Körner - full text
• Towards Practical Partial Order Reduction for High-Level Formalisms - Philipp Körner, Michael Leuschel - pre-print
• Fifty Years of Prolog and Beyond - Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto - open access

2021

• Increasing Student Self-Reliance and Engagement in Model-Checking Courses - Philipp Körner, Sebastian Krings
• Effectiveness of Annotation-Based Static Type Inference - Isabel Wingen, Philipp Körner - pre-print
• Prototyping Games Using Formal Methods - Sebastian Krings, Philipp Körner - pre-print
• Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper - Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov

2020

• On the Performance of Bytecode Interpreters in Prolog - Philipp Körner, David Schneider, Michael Leuschel - pre-print
• The First Twenty-Five Years of Industrial Use of the B-Method - Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
• Integrating formal specifications into applications: the ProB Java API - Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel - open access
• A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System - Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk - pre-print
• Towards a Shared Specification Repository - Philipp Körner, Michael Leuschel, Jannik Dunkelau - pre-print
• Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model - Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron - open access
• The History and Evolution of B and Event-B - Philipp Körner, Sebastian Krings, Michael Butler, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin - pre-print

2019

• A Multi-Target Code Generator for High-Level B - Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel - pre-print
• Experience Report on an Inquiry-Based Course on Model Checking - Sebastian Krings, Philipp Körner, Joshua Schmidt - full text
• Prolog Coding Guidelines: Status and Tool Support - Falco Nogatz, Philipp Körner, Sebastian Krings - full text
• Embedding High-Level Formal Specifications into Applications - Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel - pre-print
• Measuring Coverage of Prolog Programs Using Mutation Testing - Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner - pre-print

2018

• State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin - Philipp Körner, Jeroen Meijer, Michael Leuschel - pre-print
• Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains - Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron - pre-print
• Distributed Model Checking Using ProB - Philipp Körner, Jens Bendisposto - pre-print

2017

• plspec – A Specification Language for Prolog Data - Philipp Körner, Sebastian Krings - pre-print
• Three is a Crowd: SAT, SMT and CLP on a Chessboard - Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagić - pre-print

2016

• Symbolic Reachability Analysis of B through ProB and LTSmin - Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield - pre-print

2015

• Evaluating Interpreter Design in Prolog - David Schneider, Michael Leuschel, Philipp Körner.