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 (IFM, 2016)

plspec - A Specification Language for Prolog Data. - Philipp Körner; Sebastian Krings (DECLARE, 2017)

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 001; Sebastian Krings; Philipp Körner; Thomas Naulin; Nader Nayeri; Frank Skowron (ABZ, 2018)

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. - Philipp Körner; Michael Leuschel; Jeroen Meijer (IFM, 2018)

Distributed Model Checking Using ProB. - Philipp Körner; Jens Bendisposto (NFM, 2018)

Three Is a Crowd: SAT, SMT and CLP on a Chessboard. - Sebastian Krings; Michael Leuschel; Philipp Körner; Stefan Hallerstede; Miran Hasanagic (PADL, 2018)

Measuring Coverage of Prolog Programs Using Mutation Testing. - Alexandros Efremidis; Joshua Schmidt; Sebastian Krings; Philipp Körner (WFLP, 2018)

Embedding High-Level Formal Specifications into Applications. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (FM, 2019)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - Antonio Cerone; Markus Roggenbach; James H. Davenport; Casey Denner; Marie Farrell; Magne Haveraaen; Faron Moller; Philipp Körner; Sebastian Krings; Peter Csaba Ölveczky; Bernd-Holger Schlingloff; Nikolay V. Shilov 002; et al. (FMFun, 2019)

Prototyping Games Using Formal Methods. - Sebastian Krings; Philipp Körner (FMFun, 2019)

A Multi-target Code Generator for High-Level B. - Fabian Vu; Dominik Hansen; Philipp Körner; Michael Leuschel (IFM, 2019)

Experience Report on an Inquiry-Based Course on Model Checking. - Sebastian Krings; Philipp Körner; Joshua Schmidt (SEUH, 2019)

Prolog Coding Guidelines: Status and Tool Support. - Falco Nogatz; Philipp Körner; Sebastian Krings (ICLP Technical Communications, 2019)

Towards a Shared Specification Repository. - Philipp Körner; Michael Leuschel; Jannik Dunkelau (ABZ, 2020)

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. - Sebastian Krings; Philipp Körner; Jannik Dunkelau; Chris Rutenkolk (ABZ, 2020)

The First Twenty-Five Years of Industrial Use of the B-Method. - Michael J. Butler; Philipp Körner; Sebastian Krings; Thierry Lecomte; Michael Leuschel; Luis-Fernando Mejia; Laurent Voisin (FMICS, 2020)

On the Performance of Bytecode Interpreters in Prolog. - Philipp Körner; David Schneider 001; Michael Leuschel (WFLP, 2020)

Effectiveness of Annotation-Based Static Type Inference. - Isabel Wingen; Philipp Körner (WFLP, 2020)

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 001; Frank Skowron (Int. J. Softw. Tools Technol. Transf., 2020)

Increasing Student Self-Reliance and Engagement in Model-Checking Courses. - Philipp Körner; Sebastian Krings (FMTea, 2021)

Integrating formal specifications into applications: the ProB Java API. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (Formal Methods Syst. Des., 2021)

An embedding of B in Clojure. - Philipp Körner; Florian Mager (MoDELS (Companion), 2022)

Towards Practical Partial Order Reduction for High-Level Formalisms. - Philipp Körner; Michael Leuschel (VSTTE, 2022)

50 Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu; Giovanni Ciatto (CoRR, 2022)

Fifty Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu (Theory Pract. Log. Program., 2022)

On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms. - Philipp Körner (2023)

Meta-programming Event-B - Advancing Tool Support and Language Extensions. - Julius Armbrüster; Philipp Körner (ABZ, 2024)

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 (Int. J. Softw. Tools Technol. Transf., 2024)