| Publication | Date of Publication | Type |
|---|
Trace preservation in B and Event-B refinements
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
From Software Specifications to Constraint Programming
Software Engineering and Formal Methods | 2023-05-05 | Paper |
Making ProB Compatible with SWI-Prolog
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
| Operation caching and state compression for model checking of high-level models. How to have your cake and eat it | 2022-08-19 | Paper |
Integrating formal specifications into applications: the ProB Java API
Formal Methods in System Design | 2022-06-20 | Paper |
| Spot the difference: a detailed comparison between B and Event-B | 2022-03-22 | Paper |
| scientific article; zbMATH DE number 7453192 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453192 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| Formal model-based constraint solving and document generation | 2018-09-27 | Paper |
Optimising the ProB model checker for B using partial order reduction
Formal Aspects of Computing | 2016-08-04 | Paper |
Fast offline partial evaluation of logic programs
Information and Computation | 2014-03-13 | Paper |
Validation of formal models by refinement animation
Science of Computer Programming | 2013-06-06 | Paper |
Experiments in program verification using Event-B
Formal Aspects of Computing | 2012-07-03 | Paper |
Static slicing of explicitly synchronized languages
Information and Computation | 2012-05-24 | Paper |
Directed Model Checking for B: An Evaluation and New Techniques
Lecture Notes in Computer Science | 2011-05-12 | Paper |
Efficient approximate verification of B and Z models via symmetry markers
Annals of Mathematics and Artificial Intelligence | 2011-02-03 | Paper |
Towards just-in-time partial evaluation of Prolog
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
Fast and accurate strong termination analysis with an application to partial evaluation
Functional and Constraint Logic Programming | 2010-04-27 | Paper |
Efficient and flexible access control via Jones-optimal logic program specialisation
Higher-Order and Symbolic Computation | 2009-08-04 | Paper |
The MEB and CEB Static Analysis for CSP Specifications
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
Fast Offline Partial Evaluation of Large Logic Programs
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
The High Road to Formal Validation:
Lecture Notes in Computer Science | 2008-11-11 | Paper |
Efficient Approximate Verification of Promela Models Via Symmetry Markers
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Fully Automatic Binding-Time Analysis for Prolog
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Offline specialisation in Prolog using a hand-written compiler generator
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2090118 (Why is no real title available?) | 2004-08-12 | Paper |
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1953286 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1696782 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1696790 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696834 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1693430 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1630105 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1630106 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1615252 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1497829 (Why is no real title available?) | 2001-03-05 | Paper |
Conjunctive partial deduction: foundations, control, algorithms, and experiments
The Journal of Logic Programming | 2000-09-26 | Paper |
| scientific article; zbMATH DE number 1420812 (Why is no real title available?) | 2000-03-22 | Paper |
Creating specialised integrity checks through partial evaluation of meta-interpreters
The Journal of Logic Programming | 1999-04-19 | Paper |
