Michael Leuschel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

107EEMichael Leuschel, Heike Wehrheim: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Springer 2009
106EEMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: SOC: a slicer for CSP specifications. PEPM 2009: 165-168
105 Mireille Samia, Michael Leuschel: Pie Tree Visualization. SEKE 2009: 400-405
104EEMichael Leuschel, Salvador Tamarit, Germán Vidal: Improving Size-Change Analysis in Offline Partial Evaluation CoRR abs/0903.2202: (2009)
103EEJens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider: A Semantics-Aware Editing Environment for Prolog in Eclipse CoRR abs/0903.2252: (2009)
102EEMichael Leuschel: The High Road to Formal Validation: . ABZ 2008: 4-23
101EEMichael Leuschel: Towards Demonstrably Correct Compilation of Java Byte Code. FMCO 2008: 119-138
100EEMichael Leuschel, Marc Fontaine: Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. ICFEM 2008: 278-297
99EEMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: The MEB and CEB Static Analysis for CSP Specifications. LOPSTR 2008: 103-118
98EEMichael Leuschel, Germán Vidal: Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008: 119-134
97EEMichael Leuschel: Declarative programming for verification: lessons and outlook. PPDP 2008: 1-7
96EECorinna Spermann, Michael Leuschel: ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. TASE 2008: 15-22
95EEJulia L. Lawall, Michael Leuschel, Peter Sestoft: Editorial. Higher-Order and Symbolic Computation 21(1-2): 1-3 (2008)
94EESteve Barker, Michael Leuschel, Mauricio Varea: Efficient and flexible access control via Jones-optimal logic program specialisation. Higher-Order and Symbolic Computation 21(1-2): 5-35 (2008)
93EEMichael Leuschel, Michael J. Butler: ProB: an automated analysis toolset for the B method. STTT 10(2): 185-203 (2008)
92EEJens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia: La validation de modèles Event-B avec le plug-in ProB pour RODIN. Technique et Science Informatiques 27(8): 1065-1084 (2008)
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
90EEDragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
89EEJens Bendisposto, Michael Leuschel: A Generic Flash-Based Animation Engine for ProB. B 2007: 266-269
88EEJens Bendisposto, Michael Leuschel: BE4: The B Extensible Eclipse Editing Environment. B 2007: 270-273
87EEMichael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
86EEDaniel 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
84EEKarl Klose, Klaus Ostermann, Michael Leuschel: Partial Evaluation of Pointcuts. PADL 2007: 320-334
83EEMichael Leuschel, Jens Bendisposto: Animating and Model Checking B Specifications with Higher-Order Recursive Functions. Rigorous Methods for Software Construction and Analysis 2007
82EEManoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh: Automatic Testing from Formal Specifications. TAP 2007: 95-113
81EEEdd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler: Symmetry Reduced Model Checking for B. TASE 2007: 25-34
80EEMichael Leuschel, Stephen-John Craig, Daniel Elphick: Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. LOPSTR 2006: 43-59
79EEMichael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine: The Ecce and Logen partial evaluators and their web interfaces. PEPM 2006: 88-94
78EEMichael J. Butler, Michael Leuschel, Colin F. Snook: Tools for System Validation with B Abstract Machines. Abstract State Machines 2005: 57-69
77EEMichael Leuschel, Germán Vidal: Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP 2005: 61-76
76EEMichael J. Butler, Michael Leuschel: Combining CSP and B for Specification and Property Verification. FM 2005: 221-236
75EEMichael Leuschel, Michael J. Butler: Automatic Refinement Checking for B. ICFEM 2005: 345-359
74EEQian Wang, Gopal Gupta, Michael Leuschel: Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. PADL 2005: 98-112
73EEStephen-John Craig, Michael Leuschel: Self-tuning resource aware specialisation for prolog. PPDP 2005: 23-34
72EEMichael Leuschel, Edd Turner: Visualising Larger State Spaces in Pro B. ZB 2005: 6-23
71EEManoranjan Satpathy, Michael Leuschel, Michael J. Butler: ProTest: An Automatic Test Environment for B Specifications. Electr. Notes Theor. Comput. Sci. 111: 113-136 (2005)
70EEMichael Leuschel: Guest Editorial. Formal Asp. Comput. 17(2): 91-92 (2005)
69EEStephen-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
67EEStephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen: Fully Automatic Binding-Time Analysis for Prolog. LOPSTR 2004: 53-68
66EESteve Barker, Michael Leuschel, Mauricio Varea: Efficient and flexible access control via logic program specialisation. PEPM 2004: 190-199
65EEBerndt Farwer, Michael Leuschel: Model checking object petri nets in prolog. PPDP 2004: 20-31
64EEWim Vanhoof, Maurice Bruynooghe, Michael Leuschel: Binding-Time Analysis for Mercury. Program Development in Computational Logic 2004: 189-232
63EEMichael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof: Specialising Interpreters Using Offline Partial Deduction. Program Development in Computational Logic 2004: 340-375
62EESté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
61EEMichael 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
60EEMichael 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)
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
56EEJuan 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
55EEStephen-John Craig, Michael Leuschel: A Compiler Generator for Constraint Logic Programs. Ershov Memorial Conference 2003: 148-161
54EEMichael Leuschel, Michael J. Butler: ProB: A Model Checker for B. FME 2003: 855-874
53EEDaniel Elphick, Michael Leuschel, Simon J. Cox: Partial Evaluation of MATLAB. GPCE 2003: 344-363
52EEHelko Lehmann, Michael Leuschel: Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. LOPSTR 2003: 1-19
51EEJuan 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
50EEMichael Leuschel: Homeomorphic Embedding for Online Termination of Symbolic Methods. The Essence of Computation 2002: 379-403
49EEMichael Leuschel, Maurice Bruynooghe: Logic program specialisation through partial deduction: Control issues CoRR cs.PL/0202012: (2002)
48EEMichael 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)
45EEMichael Leuschel, Thierry Massart, Andrew Currie: How to Make FDR Spin LTL Model Checking of CSP by Refinement. FME 2001: 99-118
44EEMichael Leuschel, Stefan Gruner: Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. LOPSTR 2001: 91-110
43EEMichael Leuschel: Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. PADL 2001: 14-28
42EEMichael Leuschel, Helko Lehmann: Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. Computational Logic 2000: 101-115
41EEHelko Lehmann, Michael Leuschel: Decidability Results for the Propositional Fluent Calculus. Computational Logic 2000: 762-776
40EEHelko Lehmann, Michael Leuschel: Solving Planning Problems by Partial Deduction. LPAR 2000: 451-468
39EEMichael Leuschel, Helko Lehmann: Solving coverability problems of petri nets by partial deduction. PPDP 2000: 268-279
38EEMaurice 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)
36EEJonathan C. Martin, Michael Leuschel: Sonic Partial Deduction. Ershov Memorial Conference 1999: 101-112
35EERobert 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
33EEMichael Leuschel, Jesper Jørgensen: Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. Electr. Notes Theor. Comput. Sci. 30(2): (1999)
32EEMichael 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)
30EEMaurice 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
28EEMichael 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
25EEMichael Leuschel: On the Power of Homeomorphic Embedding for Online Termination. SAS 1998: 230-245
24EEKonstantinos F. Sagonas, Michael Leuschel: Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Comput. Surv. 30(3es): 16 (1998)
23EEMichael Leuschel, Bern Martens, Danny De Schreye: Some Achievements and Prospects in Partial Deduction. ACM Comput. Surv. 30(3es): 4 (1998)
22EEMichael 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)
19 Michael Leuschel: Specialization of Declarative Programs and Its Applications (Workshop Overview). ILPS 1997: 413-414
18EEStefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127
17EEMichael 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)
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
7EEMichael Leuschel, Danny De Schreye: Logic Program Specialisation: How To Be More Specific. PLILP 1996: 137-151
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
1 Michael Leuschel: Partial Evaluation of the "Real Thing". LOPSTR 1994: 122-137

Coauthor Index

1Juan Carlos Augusto [51] [56]
2Steve Barker [66] [94]
3Jens Bendisposto [83] [88] [89] [92] [103]
4Chris Booth [62]
5Dragan Bosnacki [90]
6Maurice Bruynooghe [30] [38] [46] [48] [49] [59] [63] [64]
7Michael J. Butler [54] [61] [62] [71] [75] [76] [78] [81] [82] [87] [93]
8Simon J. Cox [53]
9Stephen-John Craig [55] [63] [67] [69] [73] [79] [80]
10Andrew Currie [45]
11Stefaan Decorte [18]
12Alastair F. Donaldson [90]
13Daniel Elphick [53] [79] [80]
14Ian Endrijautzki [103]
15Berndt Farwer [65]
16Carla Ferreira [51] [56]
17Marc Fontaine [79] [100]
18John P. Gallagher [67]
19Robert Glück [31] [35] [37]
20Andrew M. Gravell [51] [56]
21Stefan Gruner [44] [51]
22Gopal Gupta [74]
23Kim S. Henriksen [67]
24Y. Howard [51]
25Jesper Jørgensen [9] [13] [31] [33] [37] [48] [59]
26Karl Klose [84]
27Julia L. Lawall [95]
28Helko Lehmann [39] [40] [41] [42] [52]
29O. Ligot [92]
30Marisa Llorens [99] [106]
31Bern Martens [4] [5] [6] [9] [12] [17] [18] [22] [23] [31] [37]
32Jonathan C. Martin [36]
33Thierry Massart [34] [45] [90]
34Karen M. Y. Ng [56]
35Javier Oliver [99] [106]
36Klaus Ostermann [84]
37Daniel Plagge [85] [86]
38Andreas Podelski [58] [91]
39Stéphane Lo Presti [61] [62]
40C. R. Ramakrishnan [58]
41S. Ramesh (Sethu Ramesh) [82]
42Konstantinos F. Sagonas [17] [18] [24] [30] [38]
43Mireille Samia [92] [105]
44Manoranjan Satpathy [71] [82]
45David Schneider [103]
46Danny De Schreye [2] [4] [7] [10] [11] [16] [18] [20] [21] [22] [23] [31] [37]
47Peter Sestoft [95]
48Josep Silva [99] [106]
49Colin F. Snook [78]
50Morten Heine Sørensen [8] [31] [37]
51Corinna Spermann [81] [87] [96]
52Salvador Tamarit [99] [104] [106]
53Edd Turner [72] [81] [87]
54Phillip Turner [61]
55Ulrich Ultes-Nitsche (Ulrich Nitsche) [58]
56Wim Vanhoof [48] [59] [63] [64]
57Mauricio Varea [66] [79] [94]
58Germán Vidal [77] [98] [104]
59D. Andre de Waal [11]
60Qian Wang [74]
61Heike Wehrheim [107]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)