pkoerner cases: My Publications

An Embedding of B in Clojure - Philipp Körner, Florian Mager
A Jupyter Kernel for Prolog - Anne Brecklinghaus, Philipp Körner
Towards Practical Partial Order Reduction for High-Level Formalisms - Philipp Körner, Michael Leuschel
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

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
Prototyping Games Using Formal Methods - Sebastian Krings, Philipp Körner
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

On the Performance of Bytecode Interpreters in Prolog - Philipp Körner, David Schneider, Michael Leuschel
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
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System - Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
Towards a Shared Specification Repository - Philipp Körner, Michael Leuschel, Jannik Dunkelau
Validation and real-life demonstration of 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
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

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

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin - Philipp Körner, Jeroen Meijer, Michael Leuschel
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
Distributed Model Checking Using ProB - Philipp Körner, Jens Bendisposto.

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

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

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

« Teaching

My Publications