Philipp Koerner

According to our database1, Philipp Koerner authored at least 18 papers between 2016 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
CoRR, 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

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...