The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Leuschel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  88. The High Road to Formal Validation: . [Citation Graph (, )][DBLP]


  89. Refinement-Animation for Event-B - Towards a Method of Validation. [Citation Graph (, )][DBLP]


  90. A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. [Citation Graph (, )][DBLP]


  91. Validating and Animating Higher-Order Recursive Functions in B. [Citation Graph (, )][DBLP]


  92. Animating and Model Checking B Specifications with Higher-Order Recursive Functions. [Citation Graph (, )][DBLP]


  93. Automated Property Verification for Large Scale B Models. [Citation Graph (, )][DBLP]


  94. Towards Demonstrably Correct Compilation of Java Byte Code. [Citation Graph (, )][DBLP]


  95. Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. [Citation Graph (, )][DBLP]


  96. Proof Assisted Model Checking for B. [Citation Graph (, )][DBLP]


  97. Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. [Citation Graph (, )][DBLP]


  98. Towards pie tree visualization of graphs and large software architectures. [Citation Graph (, )][DBLP]


  99. Fast Offline Partial Evaluation of Large Logic Programs. [Citation Graph (, )][DBLP]


  100. The MEB and CEB Static Analysis for CSP Specifications. [Citation Graph (, )][DBLP]


  101. Towards Just-In-Time Partial Evaluation of Prolog. [Citation Graph (, )][DBLP]


  102. SOC: a slicer for CSP specifications. [Citation Graph (, )][DBLP]


  103. Towards a jitting VM for prolog execution. [Citation Graph (, )][DBLP]


  104. Declarative programming for verification: lessons and outlook. [Citation Graph (, )][DBLP]


  105. Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. [Citation Graph (, )][DBLP]


  106. Pie Tree Visualization. [Citation Graph (, )][DBLP]


  107. How to Explain Mistakes. [Citation Graph (, )][DBLP]


  108. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. [Citation Graph (, )][DBLP]


  109. ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. [Citation Graph (, )][DBLP]


  110. Visualising Event-B Models with B-Motion Studio. [Citation Graph (, )][DBLP]


  111. An Approach of Requirements Tracing in Formal Refinement. [Citation Graph (, )][DBLP]


  112. Improving Size-Change Analysis in Offline Partial Evaluation [Citation Graph (, )][DBLP]


  113. A Semantics-Aware Editing Environment for Prolog in Eclipse [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002