2025 March

• Mar 15 - A case for data-oriented specifications: simpler implementation of B tools and DSLs

2024 August

• Aug 02 - Bi-Directional DSL Transformation Using miniKanren
• Aug 02 - Runtime Evaluation of Prolog Data Structures

2024 May

• May 13 - A verified low-level implementation and visualization of the adaptive exterior light and speed control system

2024 April

• Apr 19 - Meta-Programming Event-B - Advancing Tool Support and Language Extensions

2023 January

• Jan 13 - On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms

2022 September

• Sep 08 - An Embedding of B in Clojure
• Sep 06 - A Jupyter Kernel for Prolog

2022 May

• May 06 - Towards Practical Partial Order Reduction for High-Level Formalisms

2022 March

• Mar 09 - Fifty Years of Prolog and Beyond

2021 October

• Oct 22 - Increasing Student Self-Reliance and Engagement in Model-Checking Courses

2021 March

• Mar 11 - Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper

2020 December

• Dec 01 - Effectiveness of Annotation-Based Static Type Inference
• Dec 01 - On the Performance of Bytecode Interpreters in Prolog

2020 August

• Aug 13 - Integrating formal specifications into applications: the ProB Java API
• Aug 12 - The First Twenty-Five Years of Industrial Use of the B-Method

2020 March

• Mar 26 - A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
• Mar 13 - Towards a Shared Specification Repository

2020 January

• Jan 07 - Prototyping Games Using Formal Methods

2019 December

• Dec 18 - Validation and real-life demonstration of {ETCS} hybrid level 3 principles using a formal B model

2019 October

• Oct 01 - A Multi-Target Code Generator for High-Level B

2019 August

• Aug 05 - Experience Report on an Inquiry-Based Course on Model Checking

2019 July

• Jul 24 - Prolog Coding Guidelines: Status and Tool Support
• Jul 09 - Embedding High-Level Formal Specifications into Applications
• Jul 02 - The History and Evolution of B and Event-B

2019 February

• Feb 08 - Measuring Coverage of Prolog Programs Using Mutation Testing

2018 June

• Jun 29 - State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

2018 March

• Mar 22 - Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains

2018 February

• Feb 21 - plspec - A Specification Language for Prolog Data

2018 January

• Jan 29 - Distributed Model Checking Using ProB

2017 October

• Oct 16 - Three is a Crowd: SAT, SMT and CLP on a Chessboard

2016 March

• Mar 15 - Symbolic Reachability Analysis of B through ProB and LTSmin

2015 September

• Sep 02 - Evaluating Interpreter Design in Prolog

2000 January

• Jan 01 -