Michael Leuschel

	2009
112		Michael Leuschel, Heike Wehrheim: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Springer 2009
111		Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge: Automated Property Verification for Large Scale B Models. FM 2009: 708-723
110		Lukas Ladenberger, Jens Bendisposto, Michael Leuschel: Visualising Event-B Models with B-Motion Studio. FMICS 2009: 202-204
109		Mireille Samia, Michael Leuschel: Towards pie tree visualization of graphs and large software architectures. ICPC 2009: 301-302
108		Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: SOC: a slicer for CSP specifications. PEPM 2009: 165-168
107		Mireille Samia, Michael Leuschel: Pie Tree Visualization. SEKE 2009: 400-405
106		Stefan Hallerstede, Michael Leuschel: How to Explain Mistakes. TFM 2009: 105-124
105		Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker: Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. TestCom/FATES 2009: 179-194
104		Michael Leuschel, Salvador Tamarit, Germán Vidal: Improving Size-Change Analysis in Offline Partial Evaluation CoRR abs/0903.2202: (2009)
103		Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider: A Semantics-Aware Editing Environment for Prolog in Eclipse CoRR abs/0903.2252: (2009)
	2008
102		Michael Leuschel: The High Road to Formal Validation: . ABZ 2008: 4-23
101		Michael Leuschel: Towards Demonstrably Correct Compilation of Java Byte Code. FMCO 2008: 119-138
100		Michael Leuschel, Marc Fontaine: Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. ICFEM 2008: 278-297
99		Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: The MEB and CEB Static Analysis for CSP Specifications. LOPSTR 2008: 103-118
98		Michael Leuschel, Germán Vidal: Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008: 119-134
97		Michael Leuschel: Declarative programming for verification: lessons and outlook. PPDP 2008: 1-7
96		Corinna Spermann, Michael Leuschel: ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. TASE 2008: 15-22
95		Julia L. Lawall, Michael Leuschel, Peter Sestoft: Editorial. Higher-Order and Symbolic Computation 21(1-2): 1-3 (2008)
94		Steve 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)
93		Michael Leuschel, Michael J. Butler: ProB: an automated analysis toolset for the B method. STTT 10(2): 185-203 (2008)
92		Jens 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)
	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		Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
89		Jens Bendisposto, Michael Leuschel: A Generic Flash-Based Animation Engine for ProB. B 2007: 266-269
88		Jens Bendisposto, Michael Leuschel: BE4: The B Extensible Eclipse Editing Environment. B 2007: 270-273
87		Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
86		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		Karl Klose, Klaus Ostermann, Michael Leuschel: Partial Evaluation of Pointcuts. PADL 2007: 320-334
83		Michael Leuschel, Jens Bendisposto: Animating and Model Checking B Specifications with Higher-Order Recursive Functions. Rigorous Methods for Software Construction and Analysis 2007
82		Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh: Automatic Testing from Formal Specifications. TAP 2007: 95-113
81		Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler: Symmetry Reduced Model Checking for B. TASE 2007: 25-34
	2006
80		Michael Leuschel, Stephen-John Craig, Daniel Elphick: Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. LOPSTR 2006: 43-59
79		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		Michael J. Butler, Michael Leuschel, Colin F. Snook: Tools for System Validation with B Abstract Machines. Abstract State Machines 2005: 57-69
77		Michael Leuschel, Germán Vidal: Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP 2005: 61-76
76		Michael J. Butler, Michael Leuschel: Combining CSP and B for Specification and Property Verification. FM 2005: 221-236
75		Michael Leuschel, Michael J. Butler: Automatic Refinement Checking for B. ICFEM 2005: 345-359
74		Qian Wang, Gopal Gupta, Michael Leuschel: Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. PADL 2005: 98-112
73		Stephen-John Craig, Michael Leuschel: Self-tuning resource aware specialisation for prolog. PPDP 2005: 23-34
72		Michael Leuschel, Edd Turner: Visualising Larger State Spaces in Pro B. ZB 2005: 6-23
71		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		Michael Leuschel: Guest Editorial. Formal Asp. Comput. 17(2): 91-92 (2005)
	2004
69		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		Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen: Fully Automatic Binding-Time Analysis for Prolog. LOPSTR 2004: 53-68
66		Steve Barker, Michael Leuschel, Mauricio Varea: Efficient and flexible access control via logic program specialisation. PEPM 2004: 190-199
65		Berndt Farwer, Michael Leuschel: Model checking object petri nets in prolog. PPDP 2004: 20-31
64		Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel: Binding-Time Analysis for Mercury. Program Development in Computational Logic 2004: 189-232
63		Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof: Specialising Interpreters Using Offline Partial Deduction. Program Development in Computational Logic 2004: 340-375
62		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		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		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		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		Stephen-John Craig, Michael Leuschel: A Compiler Generator for Constraint Logic Programs. Ershov Memorial Conference 2003: 148-161
54		Michael Leuschel, Michael J. Butler: ProB: A Model Checker for B. FME 2003: 855-874
53		Daniel Elphick, Michael Leuschel, Simon J. Cox: Partial Evaluation of MATLAB. GPCE 2003: 344-363
52		Helko Lehmann, Michael Leuschel: Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. LOPSTR 2003: 1-19
51		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		Michael Leuschel: Homeomorphic Embedding for Online Termination of Symbolic Methods. The Essence of Computation 2002: 379-403
49		Michael Leuschel, Maurice Bruynooghe: Logic program specialisation through partial deduction: Control issues CoRR cs.PL/0202012: (2002)
48		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		Michael Leuschel, Thierry Massart, Andrew Currie: How to Make FDR Spin LTL Model Checking of CSP by Refinement. FME 2001: 99-118
44		Michael Leuschel, Stefan Gruner: Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. LOPSTR 2001: 91-110
43		Michael Leuschel: Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. PADL 2001: 14-28
	2000
42		Michael Leuschel, Helko Lehmann: Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. Computational Logic 2000: 101-115
41		Helko Lehmann, Michael Leuschel: Decidability Results for the Propositional Fluent Calculus. Computational Logic 2000: 762-776
40		Helko Lehmann, Michael Leuschel: Solving Planning Problems by Partial Deduction. LPAR 2000: 451-468
39		Michael Leuschel, Helko Lehmann: Solving coverability problems of petri nets by partial deduction. PPDP 2000: 268-279
38		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		Jonathan C. Martin, Michael Leuschel: Sonic Partial Deduction. Ershov Memorial Conference 1999: 101-112
35		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		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		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		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		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		Michael Leuschel: On the Power of Homeomorphic Embedding for Online Termination. SAS 1998: 230-245
24		Konstantinos F. Sagonas, Michael Leuschel: Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Comput. Surv. 30(3es): 16 (1998)
23		Michael Leuschel, Bern Martens, Danny De Schreye: Some Achievements and Prospects in Partial Deduction. ACM Comput. Surv. 30(3es): 4 (1998)
22		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		Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127
17		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

Coauthor Index

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

Colors in the list of coauthors