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 | 37 | 2022 |
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 | 36 | 2020 |
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 | 36 | 2018 |
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 | 31 | 2020 |
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 | 16 | 2013 |
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 | 14 | 2016 |
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 | 10 | 2019 |
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 | 9 | 2021 |
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 | 8 | 2021 |
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 | 8 | 2019 |
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 | 8 | 2019 |
Experience Report on an Inquiry-Based Course on Model Checking. S Krings, P Körner, J Schmidt SEUH, 87-98, 2019 | 8 | 2019 |
Distributed Model Checking Using ProB P Körner, J Bendisposto NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 7 | 2018 |
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 | 7 | 2018 |
Prototyping games using formal methods S Krings, P Körner Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021 | 6 | 2021 |
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 | 6 | 2020 |
Effectiveness of annotation-based static type inference I Wingen, P Körner International Workshop on Functional and Constraint Logic Programming, 74-93, 2020 | 5 | 2020 |
Prolog coding guidelines: Status and tool support F Nogatz, P Körner, S Krings arXiv preprint arXiv:1909.08230, 2019 | 5 | 2019 |
An integration of ProB and LTSmin P Körner Master’s thesis, Heinrich Heine Universität Düsseldorf, 2017 | 5 | 2017 |
Increasing student self-reliance and engagement in model-checking courses P Körner, S Krings Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021 …, 2021 | 4 | 2021 |