| Publication | Date of Publication | Type |
|---|
| Trace preservation in B and Event-B refinements | 2024-02-12 | Paper |
| From Software Specifications to Constraint Programming | 2023-05-05 | Paper |
| Making ProB Compatible with SWI-Prolog | 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 | 2022-06-20 | Paper |
| Spot the difference: a detailed comparison between B and Event-B | 2022-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020651 | 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 | 2016-08-04 | Paper |
| Fast offline partial evaluation of logic programs | 2014-03-13 | Paper |
| Validation of formal models by refinement animation | 2013-06-06 | Paper |
| Experiments in program verification using Event-B | 2012-07-03 | Paper |
| Static slicing of explicitly synchronized languages | 2012-05-24 | Paper |
| Directed Model Checking for B: An Evaluation and New Techniques | 2011-05-12 | Paper |
| Efficient approximate verification of B and Z models via symmetry markers | 2011-02-03 | Paper |
| Towards Just-In-Time Partial Evaluation of Prolog | 2010-05-04 | Paper |
| Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation | 2010-04-27 | Paper |
| Efficient and flexible access control via Jones-optimal logic program specialisation | 2009-08-04 | Paper |
| The MEB and CEB Static Analysis for CSP Specifications | 2009-03-24 | Paper |
| Fast Offline Partial Evaluation of Large Logic Programs | 2009-03-24 | Paper |
| The High Road to Formal Validation: | 2008-11-11 | Paper |
| Efficient Approximate Verification of Promela Models Via Symmetry Markers | 2008-07-03 | Paper |
| Fully Automatic Binding-Time Analysis for Prolog | 2008-04-24 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques | 2007-09-10 | Paper |
| Logic Based Program Synthesis and Transformation | 2005-12-27 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| ZB 2005: Formal Specification and Development in Z and B | 2005-11-10 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Offline specialisation in Prolog using a hand-written compiler generator | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808810 | 2004-08-12 | Paper |
| Logic program specialisation through partial deduction: Control issues | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414739 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767038 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767047 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767102 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763965 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729911 | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729912 | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723916 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499252 | 2001-03-05 | Paper |
| Conjunctive partial deduction: foundations, control, algorithms, and experiments | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944878 | 2000-03-22 | Paper |
| Creating specialised integrity checks through partial evaluation of meta-interpreters | 1999-04-19 | Paper |
