Follow
Philipp Körner
Philipp Körner
Verified email at hhu.de
Title
Cited by
Cited by
Year
The first twenty-five years of industrial use of the B-method
M Butler, P Körner, S Krings, T Lecomte, M Leuschel, LF Mejia, L Voisin
International Conference on Formal Methods for Industrial Critical Systems …, 2020
372020
Using a formal B model at runtime in a demonstration of the ETCS hybrid level 3 concept with real trains
D Hansen, M Leuschel, D Schneider, S Krings, P Körner, T Naulin, ...
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
372018
Fifty years of Prolog and beyond
P Körner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ...
Theory and Practice of Logic Programming 22 (6), 776-858, 2022
362022
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model
D Hansen, M Leuschel, P Körner, S Krings, T Naulin, N Nayeri, ...
International Journal on Software Tools for Technology Transfer 22, 315-332, 2020
312020
ProB 2.0 Tutorial
J Bendisposto, J Clark, I Dobrikov, P Karner, S Krings, L Ladenberger, ...
Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes …, 2013
162013
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ...
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
142016
Rooting formal methods within higher education curricula for computer science and software engineering—a white paper—
A Cerone, M Roggenbach, J Davenport, C Denner, M Farrell, ...
Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021
102021
Measuring coverage of Prolog programs using mutation testing
A Efremidis, J Schmidt, S Krings, P Körner
Functional and Constraint Logic Programming: 26th International Workshop …, 2019
102019
Integrating formal specifications into applications: the ProB Java API
P Körner, J Bendisposto, J Dunkelau, S Krings, M Leuschel
Formal Methods in System Design 58 (1), 160-187, 2021
92021
A verified low-level implementation of the adaptive exterior light and speed control system
S Krings, P Körner, J Dunkelau, C Rutenkolk
International Conference on Rigorous State-Based Methods, 382-397, 2020
92020
Embedding high-level formal specifications into applications
P Körner, J Bendisposto, J Dunkelau, S Krings, M Leuschel
International Symposium on Formal Methods, 519-535, 2019
92019
A multi-target code generator for high-level B
F Vu, D Hansen, P Körner, M Leuschel
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
92019
Experience Report on an Inquiry-Based Course on Model Checking.
S Krings, P Körner, J Schmidt
SEUH, 87-98, 2019
82019
Distributed Model Checking Using ProB
P Körner, J Bendisposto
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
72018
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
P Körner, M Leuschel, J Meijer
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
72018
Prototyping games using formal methods
S Krings, P Körner
Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021
62021
Effectiveness of annotation-based static type inference
I Wingen, P Körner
International Workshop on Functional and Constraint Logic Programming, 74-93, 2020
62020
On the performance of bytecode interpreters in Prolog
P Körner, D Schneider, M Leuschel
International Workshop on Functional and Constraint Logic Programming, 41-56, 2020
62020
Prolog coding guidelines: Status and tool support
F Nogatz, P Körner, S Krings
arXiv preprint arXiv:1909.08230, 2019
52019
An integration of ProB and LTSmin
P Körner
Master’s thesis, Heinrich Heine Universität Düsseldorf, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20