Philipp Koerner

Orcid: 0000-0001-7256-9560

According to our database1, Philipp Koerner authored at least 28 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
Int. J. Softw. Tools Technol. Transf., June, 2024

Meta-programming Event-B - Advancing Tool Support and Language Extensions.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2023
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms.
PhD thesis, 2023

2022
Fifty Years of Prolog and Beyond.
Theory Pract. Log. Program., 2022

50 Years of Prolog and Beyond.
CoRR, 2022

Towards Practical Partial Order Reduction for High-Level Formalisms.
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

An embedding of B in Clojure.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021
Integrating formal specifications into applications: the ProB Java API.
Formal Methods Syst. Des., 2021

Increasing Student Self-Reliance and Engagement in Model-Checking Courses.
Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

2020
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
Int. J. Softw. Tools Technol. Transf., 2020

Effectiveness of Annotation-Based Static Type Inference.
Proceedings of the Functional and Constraint Logic Programming, 2020

On the Performance of Bytecode Interpreters in Prolog.
Proceedings of the Functional and Constraint Logic Programming, 2020

The First Twenty-Five Years of Industrial Use of the B-Method.
Proceedings of the Formal Methods for Industrial Critical Systems, 2020

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Towards a Shared Specification Repository.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Prolog Coding Guidelines: Status and Tool Support.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Experience Report on an Inquiry-Based Course on Model Checking.
Proceedings of the Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, Bremerhaven, Deutschland, 21., 2019

A Multi-target Code Generator for High-Level B.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Prototyping Games Using Formal Methods.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Embedding High-Level Formal Specifications into Applications.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Measuring Coverage of Prolog Programs Using Mutation Testing.
Proceedings of the Functional and Constraint Logic Programming, 2018

Three Is a Crowd: SAT, SMT and CLP on a Chessboard.
Proceedings of the Practical Aspects of Declarative Languages, 2018

Distributed Model Checking Using ProB.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
plspec - A Specification Language for Prolog Data.
Proceedings of the Declarative Programming and Knowledge Management, 2017

2016
Symbolic Reachability Analysis of B Through ProB and LTSmin.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016


  Loading...