| 2008 |
|---|
| 92 | EE | Michael Leuschel,
Michael J. Butler:
ProB: an automated analysis toolset for the B method.
STTT 10(2): 185-203 (2008) |
| 2007 |
|---|
| 91 | | Michael Leuschel,
Andreas Podelski:
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland
ACM 2007 |
| 90 | EE | Dragan Bosnacki,
Alastair F. Donaldson,
Michael Leuschel,
Thierry Massart:
Efficient Approximate Verification of Promela Models Via Symmetry Markers.
ATVA 2007: 300-315 |
| 89 | EE | Jens Bendisposto,
Michael Leuschel:
A Generic Flash-Based Animation Engine for ProB.
B 2007: 266-269 |
| 88 | EE | Jens Bendisposto,
Michael Leuschel:
BE4: The B Extensible Eclipse Editing Environment.
B 2007: 270-273 |
| 87 | EE | Michael Leuschel,
Michael J. Butler,
Corinna Spermann,
Edd Turner:
Symmetry Reduction for B by Permutation Flooding.
B 2007: 79-93 |
| 86 | EE | Daniel Plagge,
Michael Leuschel:
Validating Z Specifications Using the ProBAnimator and Model Checker.
IFM 2007: 480-500 |
| 85 | | Michael Leuschel,
Daniel Plagge:
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
ISoLA 2007: 73-84 |
| 84 | EE | Karl Klose,
Klaus Ostermann,
Michael Leuschel:
Partial Evaluation of Pointcuts.
PADL 2007: 320-334 |
| 83 | EE | Michael Leuschel,
Jens Bendisposto:
Animating and Model Checking B Specifications with Higher-Order Recursive Functions.
Rigorous Methods for Software Construction and Analysis 2007 |
| 82 | EE | Manoranjan Satpathy,
Michael J. Butler,
Michael Leuschel,
S. Ramesh:
Automatic Testing from Formal Specifications.
TAP 2007: 95-113 |
| 81 | EE | Edd Turner,
Michael Leuschel,
Corinna Spermann,
Michael J. Butler:
Symmetry Reduced Model Checking for B.
TASE 2007: 25-34 |
| 2006 |
|---|
| 80 | EE | Michael Leuschel,
Stephen-John Craig,
Daniel Elphick:
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.
LOPSTR 2006: 43-59 |
| 79 | EE | Michael Leuschel,
Daniel Elphick,
Mauricio Varea,
Stephen-John Craig,
Marc Fontaine:
The Ecce and Logen partial evaluators and their web interfaces.
PEPM 2006: 88-94 |
| 2005 |
|---|
| 78 | EE | Michael J. Butler,
Michael Leuschel,
Colin Snook:
Tools for System Validation with B Abstract Machines.
Abstract State Machines 2005: 57-69 |
| 77 | EE | Michael Leuschel,
Germán Vidal:
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.
ESOP 2005: 61-76 |
| 76 | EE | Michael J. Butler,
Michael Leuschel:
Combining CSP and B for Specification and Property Verification.
FM 2005: 221-236 |
| 75 | EE | Michael Leuschel,
Michael J. Butler:
Automatic Refinement Checking for B.
ICFEM 2005: 345-359 |
| 74 | EE | Qian Wang,
Gopal Gupta,
Michael Leuschel:
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.
PADL 2005: 98-112 |
| 73 | EE | Stephen-John Craig,
Michael Leuschel:
Self-tuning resource aware specialisation for prolog.
PPDP 2005: 23-34 |
| 72 | EE | Michael Leuschel,
Edd Turner:
Visualising Larger State Spaces in Pro B.
ZB 2005: 6-23 |
| 71 | EE | Manoranjan Satpathy,
Michael Leuschel,
Michael J. Butler:
ProTest: An Automatic Test Environment for B Specifications.
Electr. Notes Theor. Comput. Sci. 111: 113-136 (2005) |
| 70 | EE | Michael Leuschel:
Guest Editorial.
Formal Asp. Comput. 17(2): 91-92 (2005) |
| 2004 |
|---|
| 69 | EE | Stephen-John Craig,
Michael Leuschel:
LIX: an Effective Self-applicable Partial Evaluator for Prolog.
FLOPS 2004: 85-99 |
| 68 | | Michael Leuschel:
PROB: un outil de modélisation formelle.
JFPLC 2004 |
| 67 | EE | Stephen-John Craig,
John P. Gallagher,
Michael Leuschel,
Kim S. Henriksen:
Fully Automatic Binding-Time Analysis for Prolog.
LOPSTR 2004: 53-68 |
| 66 | EE | Steve Barker,
Michael Leuschel,
Mauricio Varea:
Efficient and flexible access control via logic program specialisation.
PEPM 2004: 190-199 |
| 65 | EE | Berndt Farwer,
Michael Leuschel:
Model checking object petri nets in prolog.
PPDP 2004: 20-31 |
| 64 | EE | Wim Vanhoof,
Maurice Bruynooghe,
Michael Leuschel:
Binding-Time Analysis for Mercury.
Program Development in Computational Logic 2004: 189-232 |
| 63 | EE | Michael Leuschel,
Stephen-John Craig,
Maurice Bruynooghe,
Wim Vanhoof:
Specialising Interpreters Using Offline Partial Deduction.
Program Development in Computational Logic 2004: 340-375 |
| 62 | EE | Stéphane Lo Presti,
Michael J. Butler,
Michael Leuschel,
Chris Booth:
A Trust Analysis Methodology for Pervasive Computing Systems.
Trusting Agents for Trusting Electronic Societies 2004: 129-143 |
| 61 | EE | Michael J. Butler,
Michael Leuschel,
Stéphane Lo Presti,
Phillip Turner:
The Use of Formal Methods in the Analysis of Trust (Position Paper).
iTrust 2004: 333-339 |
| 60 | EE | Michael Leuschel:
A framework for the integration of partial evaluation and abstract interpretation of logic programs.
ACM Trans. Program. Lang. Syst. 26(3): 413-463 (2004) |
| 59 | | Michael Leuschel,
Jesper Jørgensen,
Wim Vanhoof,
Maurice Bruynooghe:
Offline specialisation in Prolog using a hand-written compiler generator.
TPLP 4(1-2): 139-191 (2004) |
| 58 | | Michael Leuschel,
Andreas Podelski,
C. R. Ramakrishnan,
Ulrich Ultes-Nitsche:
Introduction to the Special Issue on Verification and Computational Logic.
TPLP 4(5-6): 543-544 (2004) |
| 2003 |
|---|
| 57 | | Michael Leuschel:
Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers
Springer 2003 |
| 56 | EE | Juan Carlos Augusto,
Carla Ferreira,
Andrew M. Gravell,
Michael Leuschel,
Karen M. Y. Ng:
The Benefits of Rapid Modelling for E-business System Development.
ER (Workshops) 2003: 17-28 |
| 55 | EE | Stephen-John Craig,
Michael Leuschel:
A Compiler Generator for Constraint Logic Programs.
Ershov Memorial Conference 2003: 148-161 |
| 54 | EE | Michael Leuschel,
Michael J. Butler:
ProB: A Model Checker for B.
FME 2003: 855-874 |
| 53 | EE | Daniel Elphick,
Michael Leuschel,
Simon J. Cox:
Partial Evaluation of MATLAB.
GPCE 2003: 344-363 |
| 52 | EE | Helko Lehmann,
Michael Leuschel:
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.
LOPSTR 2003: 1-19 |
| 51 | EE | Juan Carlos Augusto,
Y. Howard,
Andrew M. Gravell,
Carla Ferreira,
Stefan Gruner,
Michael Leuschel:
Model-Based Approaches for Validating Business Critical Systems.
STEP 2003: 225-233 |
| 2002 |
|---|
| 50 | EE | Michael Leuschel:
Homeomorphic Embedding for Online Termination of Symbolic Methods.
The Essence of Computation 2002: 379-403 |
| 49 | EE | Michael Leuschel,
Maurice Bruynooghe:
Logic program specialisation through partial deduction: Control issues
CoRR cs.PL/0202012: (2002) |
| 48 | EE | Michael Leuschel,
Jesper Jørgensen,
Wim Vanhoof,
Maurice Bruynooghe:
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
CoRR cs.PL/0208009: (2002) |
| 47 | | Michael Leuschel:
Book Reviews.
Softw. Test., Verif. Reliab. 12(3): 187-188 (2002) |
| 46 | | Michael Leuschel,
Maurice Bruynooghe:
Logic program specialisation through partial deduction: Control issues.
TPLP 2(4-5): 461-515 (2002) |
| 2001 |
|---|
| 45 | EE | Michael Leuschel,
Thierry Massart,
Andrew Currie:
How to Make FDR Spin LTL Model Checking of CSP by Refinement.
FME 2001: 99-118 |
| 44 | EE | Michael Leuschel,
Stefan Gruner:
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.
LOPSTR 2001: 91-110 |
| 43 | EE | Michael Leuschel:
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.
PADL 2001: 14-28 |
| 2000 |
|---|
| 42 | EE | Michael Leuschel,
Helko Lehmann:
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.
Computational Logic 2000: 101-115 |
| 41 | EE | Helko Lehmann,
Michael Leuschel:
Decidability Results for the Propositional Fluent Calculus.
Computational Logic 2000: 762-776 |
| 40 | EE | Helko Lehmann,
Michael Leuschel:
Solving Planning Problems by Partial Deduction.
LPAR 2000: 451-468 |
| 39 | EE | Michael Leuschel,
Helko Lehmann:
Solving coverability problems of petri nets by partial deduction.
PPDP 2000: 268-279 |
| 38 | EE | Maurice Bruynooghe,
Michael Leuschel,
Konstantinos F. Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
CoRR cs.PL/0003068: (2000) |
| 37 | | Danny De Schreye,
Robert Glück,
Jesper Jørgensen,
Michael Leuschel,
Bern Martens,
Morten Heine Sørensen:
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments".
J. Log. Program. 43(3): 265 (2000) |
| 1999 |
|---|
| 36 | EE | Jonathan C. Martin,
Michael Leuschel:
Sonic Partial Deduction.
Ershov Memorial Conference 1999: 101-112 |
| 35 | EE | Robert Glück,
Michael Leuschel:
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.
Ershov Memorial Conference 1999: 93-100 |
| 34 | | Michael Leuschel,
Thierry Massart:
Infinite State Model Checking by Abstract Interpretation and Program Specialisation.
LOPSTR 1999: 62-81 |
| 33 | EE | Michael Leuschel,
Jesper Jørgensen:
Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 32 | EE | Michael Leuschel:
Preface - Workshop on Optimization and Implementation of Declarative Programs.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 31 | | Danny De Schreye,
Robert Glück,
Jesper Jørgensen,
Michael Leuschel,
Bern Martens,
Morten Heine Sørensen:
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
J. Log. Program. 41(2-3): 231-277 (1999) |
| 1998 |
|---|
| 30 | EE | Maurice Bruynooghe,
Michael Leuschel,
Konstantinos F. Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.
ESOP 1998: 27-41 |
| 29 | | Michael Leuschel:
Program Specialisation and Abstract Interpretation Reconciled.
IJCSLP 1998: 220-234 |
| 28 | EE | Michael Leuschel:
Improving Homeomorphic Embedding for Online Termination.
LOPSTR 1998: 199-218 |
| 27 | | Michael Leuschel:
Logic Program Specialisation.
Partial Evaluation 1998: 155-188 |
| 26 | | Michael Leuschel:
Advanced Logic Program Specialisation.
Partial Evaluation 1998: 271-292 |
| 25 | EE | Michael Leuschel:
On the Power of Homeomorphic Embedding for Online Termination.
SAS 1998: 230-245 |
| 24 | EE | Konstantinos F. Sagonas,
Michael Leuschel:
Extending Partial Deduction to Tabled Execution: Some Results and Open Issues.
ACM Comput. Surv. 30(3es): 16 (1998) |
| 23 | EE | Michael Leuschel,
Bern Martens,
Danny De Schreye:
Some Achievements and Prospects in Partial Deduction.
ACM Comput. Surv. 30(3es): 4 (1998) |
| 22 | EE | Michael Leuschel,
Bern Martens,
Danny De Schreye:
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs.
ACM Trans. Program. Lang. Syst. 20(1): 208-258 (1998) |
| 21 | | Michael Leuschel,
Danny De Schreye:
Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters.
J. Log. Program. 36(2): 149-193 (1998) |
| 20 | | Michael Leuschel,
Danny De Schreye:
Constrained Partial Deduction and the Preservation of Characteristic Trees.
New Generation Comput. 16(3): 283-342 (1998) |
| 1997 |
|---|
| 19 | | Michael Leuschel:
Specialization of Declarative Programs and Its Applications (Workshop Overview).
ILPS 1997: 413-414 |
| 18 | EE | Stefaan Decorte,
Danny De Schreye,
Michael Leuschel,
Bern Martens,
Konstantinos F. Sagonas:
Termination Analysis for Tabled Logic Programming.
LOPSTR 1997: 111-127 |
| 17 | EE | Michael Leuschel,
Bern Martens,
Konstantinos F. Sagonas:
Preserving Termination of Tabled Logic Programs While Unfolding.
LOPSTR 1997: 189-205 |
| 16 | | Michael Leuschel,
Danny De Schreye:
Constrained Partial Deduction.
WLP 1997: 0- |
| 15 | | Michael Leuschel:
Extending Homeomorphic Embedding in the Context of Logic Programming.
WLP 1997: 0- |
| 14 | | Michael Leuschel:
Advanced Techniques for Logic Program Specialisation.
AI Commun. 10(2): 127-128 (1997) |
| 1996 |
|---|
| 13 | | Jesper Jørgensen,
Michael Leuschel:
Efficiently Generating Efficient Generating Extensions in Prolog.
Dagstuhl Seminar on Partial Evaluation 1996: 238-262 |
| 12 | | Michael Leuschel,
Bern Martens:
Global Control for Partial Deduction through Characteristic Atoms and Global Trees.
Dagstuhl Seminar on Partial Evaluation 1996: 263-283 |
| 11 | | Michael Leuschel,
Danny De Schreye,
D. Andre de Waal:
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration.
JICSLP 1996: 319-332 |
| 10 | | Michael Leuschel,
Danny De Schreye:
Logic Program Specialisation: How to Be More Specific (Abstract).
LOPSTR 1996: 58 |
| 9 | | Jesper Jørgensen,
Michael Leuschel,
Bern Martens:
Conjunctive Partial Deduction in Practice.
LOPSTR 1996: 59-82 |
| 8 | | Michael Leuschel,
Morten Heine Sørensen:
Redundant Argument Filtering of Logic Programs.
LOPSTR 1996: 83-103 |
| 7 | | Michael Leuschel,
Danny De Schreye:
Logic Program Specialisation: How To Be More Specific.
PLILP 1996: 137-151 |
| 1995 |
|---|
| 6 | | Michael Leuschel,
Bern Martens:
Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation.
Deductive Databases / Abduction in Deductive Databases 1995: 81-95 |
| 5 | | Michael Leuschel,
Bern Martens:
Partial Deduction of the Ground Representation and its Application to Integrity Checking.
ILPS 1995: 495-509 |
| 4 | | Danny De Schreye,
Michael Leuschel,
Bern Martens:
Tutorial on Program Specialisation (Abstract).
ILPS 1995: 615-616 |
| 3 | | Michael Leuschel:
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints.
LOPSTR 1995: 1-16 |
| 2 | | Michael Leuschel,
Danny De Schreye:
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters.
PEPM 1995: 253-263 |
| 1994 |
|---|
| 1 | | Michael Leuschel:
Partial Evaluation of the "Real Thing".
LOPSTR 1994: 122-137 |
