Follow
Philipp Körner
Philipp Körner
Verified email at hhu.de
Title
Cited by
Cited by
Year
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, ...
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
332018
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
232020
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 (3), 315-332, 2020
182020
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 Pol, H Treharne, ...
International Conference on Integrated Formal Methods, 275-291, 2016
122016
Measuring coverage of prolog programs using mutation testing
A Efremidis, J Schmidt, S Krings, P Körner
International Workshop on Functional and Constraint Logic Programming, 39-55, 2018
102018
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
72019
A multi-target code generator for high-level B
F Vu, D Hansen, P Körner, M Leuschel
International Conference on Integrated Formal Methods, 456-473, 2019
62019
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
P Körner, M Leuschel, J Meijer
International Conference on Integrated Formal Methods, 275-295, 2018
62018
Distributed Model Checking Using ProB
P Körner, J Bendisposto
NASA Formal Methods Symposium, 244-260, 2018
62018
Effectiveness of annotation-based static type inference
I Wingen, P Körner
International Workshop on Functional and Constraint Logic Programming, 74-93, 2020
52020
Experience Report on an Inquiry-Based Course on Model Checking.
S Krings, P Körner, J Schmidt
SEUH, 87-98, 2019
52019
Fifty Years of Prolog and Beyond
P Koerner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ...
Theory and Practice of Logic Programming, 1-83, 2022
42022
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, ...
International Workshop on Formal Methods-Fun for Everybody, 1-26, 2019
42019
Prototyping games using formal methods
S Krings, P Körner
International Workshop on Formal Methods-Fun for Everybody, 124-142, 2019
42019
Prolog coding guidelines: Status and tool support
F Nogatz, P Körner, S Krings
arXiv preprint arXiv:1909.08230, 2019
42019
plspec–a specification language for prolog data
P Körner, S Krings
Declarative Programming and Knowledge Management, 198-213, 2017
42017
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, 1-28, 2020
32020
Three Is a Crowd: SAT, SMT and CLP on a Chessboard
S Krings, M Leuschel, P Körner, S Hallerstede, M Hasanagić
International Symposium on Practical Aspects of Declarative Languages, 63-79, 2018
32018
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
22020
The system can't perform the operation now. Try again later.
Articles 1–20