Philipp Koerner

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.

[BibT_eX]

[DOI]

PhD thesis, 2023

2022

Fifty Years of Prolog and Beyond.

[BibT_eX]

[DOI]

Manuel V. Hermenegildo

Theory Pract. Log. Program., 2022

50 Years of Prolog and Beyond.

[BibT_eX]

[DOI]

Manuel V. Hermenegildo

CoRR, 2022

Towards Practical Partial Order Reduction for High-Level Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

An embedding of B in Clojure.

[BibT_eX]

[DOI]

Florian Mager

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.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Increasing Student Self-Reliance and Engagement in Model-Checking Courses.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Effectiveness of Annotation-Based Static Type Inference.

[BibT_eX]

[DOI]

Isabel Wingen

Proceedings of the Functional and Constraint Logic Programming, 2020

On the Performance of Bytecode Interpreters in Prolog.

[BibT_eX]

[DOI]

David Schneider

Proceedings of the Functional and Constraint Logic Programming, 2020

The First Twenty-Five Years of Industrial Use of the B-Method.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Towards a Shared Specification Repository.

[BibT_eX]

[DOI]

Jannik Dunkelau

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Prolog Coding Guidelines: Status and Tool Support.

[BibT_eX]

[DOI]

Falco Nogatz

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Experience Report on an Inquiry-Based Course on Model Checking.

[BibT_eX]

[DOI]

Joshua Schmidt

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.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Prototyping Games Using Formal Methods.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Bernd-Holger Schlingloff

Nikolay V. Shilov

Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Embedding High-Level Formal Specifications into Applications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Measuring Coverage of Prolog Programs Using Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2018

Three Is a Crowd: SAT, SMT and CLP on a Chessboard.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2018

Distributed Model Checking Using ProB.

[BibT_eX]

[DOI]

Jens Bendisposto

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.

[BibT_eX]

[DOI]

Jeroen Meijer

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.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

plspec - A Specification Language for Prolog Data.

[BibT_eX]

[DOI]