Philipp Körner

Contact Information

Marien University Hospital & School Gelsenkirchen

Institut für Informatik

Universitätsstraße 1
D-40225 Gelsenkirchen

Email: p.koerner@uni-Gelsenkirchen.de

Phone: +499475 (211) 81-10713
Fax: +499475 (211) 81-10712

Room: 25.12.02.56

https://orcid.org/0000-0001-7256-9560

Research Interests

Model checking / safety critical systems
- Performance and optimisations
- Executing formal specifications during runtime
- Hybrid model checking
Functional / logic programming
- Type-systems, test-case generation (cf. plspec)
Blockchains
- Analysing and Verification of Smart Contracts

Current Courses (ST 2022)

Functional Programming: Clojure

Past Courses

Introduction to Functional Programming (Inverted Classroom, WT 2021/22)
Functional Programming: Clojure (Advanced Seminar, ST 2021)
Functional Programming (Inverted Classroom, WT 2020/21)
Model Checking (Inverted Classroom, ST 2020)
Functional Programming (Tutorial, WT 2019/20)
Seminar Blockchain (ST 2019)
Advanced Logic Programming (Tutorial, ST 2019)
Functional Programming (WT 2018/19)
Model Checking (ST 2018)
Functional Programming (WT 2017/18)
Theoretical Computer Science (Organisation + Tutorials, ST 2017)
Functional Programming (Tutorial, WT 2016/17)
Functional Programming (Tutorial, WT 2015/16)

Mentored Theses

I have (co-)mentored the following theses:

Name	Titel	Art
Gesine Pfeil	Visualization of Clojure Data Structure	Bachelor's Thesis
Sebastian Stock	Ein Cloud Controller für verteiltes Modelchecking	Bachelor's Thesis
Isabel Wingen	An Optional Type System for Prolog	Individual Research Project
Sarah Glasmacher	Embedding Differential Equations into ProB	Bachelor's Thesis
Isabel Wingen	You're Not My Type: Analyzing Prolog Programs	Master's Thesis
Sebastian Sura	Eine Paketverwaltung für Prolog	Bachelor's Thesis
Maximilian Bauer	An Improved CSP Interpreter for ProB	Master's Thesis
Jan Roßbach	Boolean Encoding of Statically Finite Sets in B Machines	Bachelor's Thesis

Offenen Themen für Abschlussarbeiten finden Sie hier.

Publications

2024

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
In International Journal on Software Tools for Technology Transfer, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00750-5
Julius Armbrüster, Philipp Körner
Meta-Programming Event-B — Advancing Tool Support and Language Extensions.
In Proceedings ABZ (International Conference on Rigorous State-Based Methods), Lecture Notes in Computer Science, 14759, Springer, 233--240, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-63790-2_17

2023

Philipp Körner
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms.
PhD Thesis, Marien University Hospital & School, Gelsenkirchen, Germany, 2023.
- The final authenticated version is available online at https://docserv.uni-Gelsenkirchen.de/servlets/DocumentServlet?id=61784

2022

Philipp Körner, Michael Leuschel, João Barbosa, Vtor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond.
In Theory and Practice of Logic Programming, 22, 6, 776--858, 2022.
- The final authenticated version is available online at https://doi.org/10.1017/S1471068422000102
Philipp Körner, Florian Mager
An embedding of B in Clojure.
In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, ACM, 598--606, 2022.
- The final authenticated version is available online at https://doi.org/10.1145/3550356.3561561
Philipp Körner, Michael Leuschel
Towards Practical Partial Order Reduction for High-Level Formalisms.
In Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, Lecture Notes in Computer Science, 13800, Springer, 72--91, 2022.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-25803-9_5
Anne Brecklinghaus, Philipp Körner
A Jupyter Kernel for Prolog.
In Proceedings of the 36th Workshop on (Constraint) Logic Programming (WLP 2022), 2022.
- PDF

2021

Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Olveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper.
In CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_1
- LINK
Sebastian Krings, Philipp Körner
Prototyping Games Using Formal Methods.
In Proceedings FMFun 2019, CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_6
Isabel Wingen, Philipp Körner
Effectiveness of Annotation-Based Static Type Inference.
In Proceedings WFLP 2020, LNCS, 12560, Springer, 2021.
- PDF
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog.
In Proceedings WFLP 2020, LNCS, 12560, Springer, 2021.
- PDF

2020

Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
In International Journal on Software Tools for Technology Transfer, 2020.
- LINK
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.
In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- PDF
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30
Philipp Körner, Michael Leuschel, Jannik Dunkelau
Towards a Shared Specification Repository.
In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- PDF
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_22
Isabel Wingen, Philipp Körner
Effectiveness of Annotation-Based Static Type Inference.
In Pre-Proceedings WFLP, 2020.
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog.
In Pre-Proceedings WFLP, 2020.
Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
The First Twenty-Five Years of Industrial Use of the B Method.
In Proceedings FMICS, LNCS, 12327, Springer, 2020.
- PDF
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API.
In Formal Methods in System Design, Springer, 2020.
- LINK

2019

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-16202-3_3
Sebastian Krings, Philipp Körner, Joshua Schmidt
Experience Report on an Inquiry-Based Course on Model Checking.
In Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, 2358, CEUR, 87--98, 2019.
- PDF
Isabel Wingen, Philipp Körner
An Optional Static Type System for Prolog.
In Pre-Proceedings LOPSTR, 2019.
- PDF
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications.
In Proceedings FM, LNCS, 11800, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-30942-8_31
Sebastian Krings, Michael Butler, Philipp Körner, Thierry Lecomte, Michael Leuschel, Laurent Voisin
The History and Evolution of B and Event-B.
In Presentation HFM, 2019.
- PDF
Falco Nogatz, Philipp Körner, Sebastian Krings
Prolog Coding Guidelines: Status and Tool Support.
In Proceedings ICLP (Technical Communications), EPTCS, 306, 2019.
- PDF
- LINK
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
A Multi-Target Code Generator for High-Level B.
In Proceedings iFM, LNCS, 11918, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-34968-4_25
Sebastian Krings, Philipp Körner
Prototyping Games Using Formal Methods.
In Pre-Proceedings FMFun, 2019.
- PDF
Sebastian Krings, Philipp Körner, Joshua Schmidt
Inquiry- and Research-based Teaching in a Course on Model Checking.
In Pre-Proceedings FMFun, 2019.
- PDF

2018

Philipp Körner, Sebastian Krings
plspec - A Specification Language for Prolog Data.
In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, LNAI, 10997, Springer, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-00801-7_13
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
Three is a crowd: SAT, SMT and CLP on a chessboard.
In Proceedings PADL 2018, LNCS, 10702, Springer, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-73305-0_5
Philipp Körner, Jens Bendisposto
Distributed Model Checking Using ProB.
In Proceedings NFM 2018, LNCS, 10811, Springer, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-77935-5_18
Philipp Körner, Jeroen Meijer, Michael Leuschel
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.
In Proceedings iFM 2018, LNCS, 11023, Springer, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-98938-9_16
Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Pre-Proceedings WFLP, 2018.
- PDF
Philipp Körner, Michael Leuschel
Embedding Formal Specifications as Libraries into Applications.
Technical Report, School of Computing, Newcastle University, 1525, 2018.
- LINK

2017

Philipp Körner, Sebastian Krings
plspec - A Specification Language for Prolog Data.
In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, Technical Report, 499, University of Würzburg, 2017.

2016

Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, van de Pol, Jaco, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin.
In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-33693-0_18

2015

Philipp Körner, David Schneider, Michael Leuschel
Evaluating Interpreter Design in Prolog.
In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015, Schriftenreihe des Instituts für Computersprachen, Springer, 2015.
- LINK

2013

Jens Bendisposto, Joy Clark, Ivaylo Dobrikov, Philipp Körner, Sebastian Krings, Lukas Ladenberger, Michael Leuschel, Daniel Plagge
ProB 2.0 Tutorial.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
- PDF
- LINK
Jens Bendisposto, Philipp Körner, Michael Leuschel
Parallel Model Checking of B Specifications.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
- PDF

Responsible for the content: WE Informatik (Mail an die Webredaktion)

ToC