Philipp Körner

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 30

Top Topics

Prolog Programs

Software Engineering

Formal Specification

Top Venues

Publications

Julius Armbrüster, Philipp Körner
Meta-programming Event-B - Advancing Tool Support and Language Extensions. ABZ (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. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Philipp Körner, Michael Leuschel
Towards Practical Partial Order Reduction for High-Level Formalisms. VSTTE (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
50 Years of Prolog and Beyond. CoRR (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22 (6) (2022)
Philipp Körner, Florian Mager
An embedding of B in Clojure. MoDELS (Companion) (2022)
Philipp Körner, Sebastian Krings
Increasing Student Self-Reliance and Engagement in Model-Checking Courses. FMTea (2021)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API. Formal Methods Syst. Des. 58 (1-2) (2021)
Philipp Körner, Michael Leuschel, Jannik Dunkelau
Towards a Shared Specification Repository. ABZ (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. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Isabel Wingen, Philipp Körner
Effectiveness of Annotation-Based Static Type Inference. CoRR (2020)
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog. CoRR (2020)
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog. WFLP (2020)
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. ABZ (2020)
Michael J. 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. FMICS (2020)
Isabel Wingen, Philipp Körner
Effectiveness of Annotation-Based Static Type Inference. WFLP (2020)
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 V. Shilov, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications. FM (2019)
Falco Nogatz, Philipp Körner, Sebastian Krings
Prolog Coding Guidelines: Status and Tool Support. ICLP Technical Communications (2019)
Sebastian Krings, Philipp Körner
Prototyping Games Using Formal Methods. FMFun (2019)
Sebastian Krings, Philipp Körner, Joshua Schmidt
Experience Report on an Inquiry-Based Course on Model Checking. SEUH (2019)
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
A Multi-target Code Generator for High-Level B. IFM (2019)
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. ABZ (2018)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. CoRR (2018)
Philipp Körner, Michael Leuschel, Jeroen Meijer
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. IFM (2018)
Philipp Körner, Jens Bendisposto
Distributed Model Checking Using ProB. NFM (2018)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. WFLP (2018)
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. PADL (2018)
Philipp Körner, Sebastian Krings
plspec - A Specification Language for Prolog Data. DECLARE (2017)
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM (2016)