Michael Leuschel - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Towards a jitting VM for prolog executionCarl Friedrich Bolz, Michael Leuschel, David Schneider. ppdp 2010: 99-108 [doi]

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected PapersFrank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Volume 6286 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Refinement-Animation for Event-B - Towards a Method of ValidationStefan Hallerstede, Michael Leuschel, Daniel Plagge. asm 2010: 287-301 [doi]

An Approach of Requirements Tracing in Formal RefinementMichael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo. vstte 2010: 97-111 [doi]

Efficient approximate verification of B and Z models via symmetry markersMichael Leuschel, Thierry Massart. AMAI, 59(1):81-106, 2010. [doi]

Directed Model Checking for B: An Evaluation and New TechniquesMichael Leuschel, Jens Bendisposto. sbmf 2011: 1-16 [doi]

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and moreDaniel Plagge, Michael Leuschel. STTT, 12(1):9-21, 2010. [doi]

A Refinement-Based Correctness Proof of Symmetry Reduced Model CheckingEdd Turner, Michael Butler, Michael Leuschel. asm 2010: 231-244 [doi]

2009

Proof Assisted Model Checking for BJens Bendisposto, Michael Leuschel. icfem 2009: 504-520 [doi]

Towards Just-In-Time Partial Evaluation of PrologCarl Friedrich Bolz, Michael Leuschel, Armin Rigo. LOPSTR 2010: 158-172 [doi]

How to Explain MistakesStefan Hallerstede, Michael Leuschel. tfm 2009: 105-124 [doi]

Visualising Event-B Models with B-Motion StudioLukas Ladenberger, Jens Bendisposto, Michael Leuschel. fmics 2009: 202-204 [doi]

Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. ProceedingsMichael Leuschel, Heike Wehrheim, editors, Volume 5423 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Automated Property Verification for Large Scale B ModelsMichael Leuschel, JÃ©rÃ´me Falampin, Fabian Fritz, Daniel Plagge. fm 2009: 708-723 [doi]

Validating and Animating Higher-Order Recursive Functions in BMichael Leuschel, Dominique Cansell, Michael J. Butler. BIRTHDAY 2009: 78-92 [doi]

SOC: a slicer for CSP specificationsMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. PEPM 2009: 165-168 [doi]

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationMichael Leuschel, Salvador Tamarit, Germán Vidal. wflp 2010: 111-127 [doi]

Pie Tree VisualizationMireille Samia, Michael Leuschel. seke 2009: 400-405

Towards pie tree visualization of graphs and large software architecturesMireille Samia, Michael Leuschel. IWPC 2009: 301-302 [doi]

Applying Model Checking to Generate Model-Based Integration Tests from Choreography ModelsSebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker. pts 2009: 179-194 [doi]

2008

Efficient and flexible access control via Jones-optimal logic program specialisationSteve Barker, Michael Leuschel, Mauricio Varea. lisp, 21(1-2):5-35, 2008. [doi]

La validation de modèles Event-B avec le plug-in ProB pour RODINJens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia. tsi, 27(8):1065-1084, 2008. [doi]

EditorialJulia L. Lawall, Michael Leuschel, Peter Sestoft. lisp, 21(1-2):1-3, 2008. [doi]

Probing the Depths of CSP-M: A New fdr-Compliant Validation ToolMichael Leuschel, Marc Fontaine. icfem 2008: 278-297 [doi]

The High Road to Formal Validation: Michael Leuschel. asmta 2008: 4-23 [doi]

Declarative programming for verification: lessons and outlookMichael Leuschel. ppdp 2008: 1-7 [doi]

The MEB and CEB Static Analysis for CSP SpecificationsMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. LOPSTR 2009: 103-118 [doi]

ProB: an automated analysis toolset for the B methodMichael Leuschel, Michael J. Butler. STTT, 10(2):185-203, 2008. [doi]

Fast Offline Partial Evaluation of Large Logic ProgramsMichael Leuschel, Germán Vidal. LOPSTR 2009: 119-134 [doi]

ProB gets Nauty: Effective Symmetry Reduction for B and Z ModelsCorinna Spermann, Michael Leuschel. tase 2008: 15-22 [doi]

2007

BE:::4:::: The B Extensible Eclipse Editing EnvironmentJens Bendisposto, Michael Leuschel. b 2006: 270-273 [doi]

A Generic Flash-Based Animation Engine for ProBJens Bendisposto, Michael Leuschel. b 2006: 266-269 [doi]

Efficient Approximate Verification of Promela Models Via Symmetry MarkersDragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart. ATVA 2007: 300-315 [doi]

Partial Evaluation of PointcutsKarl Klose, Klaus Ostermann, Michael Leuschel. padl 2007: 320-334 [doi]

Symmetry Reduction for B by Permutation FloodingMichael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner. b 2006: 79-93 [doi]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, PolandMichael Leuschel, Andreas Podelski, editors, ACM, 2007.

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and moreMichael Leuschel, Daniel Plagge. isola 2007: 73-84

Animating and Model Checking B Specifications with Higher-Order Recursive FunctionsMichael Leuschel, Jens Bendisposto. dagstuhl 2006: [doi]

Validating Z Specifications Using the ProBAnimator and Model CheckerDaniel Plagge, Michael Leuschel. IFM 2007: 480-500 [doi]

Automatic Testing from Formal SpecificationsManoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh. tap 2007: 95-113 [doi]

Symmetry Reduced Model Checking for BEdd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler. tase 2007: 25-34 [doi]

2006

The Ecce and Logen partial evaluators and their web interfacesMichael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine. PEPM 2006: 88-94 [doi]

Supervising Offline Partial Evaluation of Logic Programs Using Online TechniquesMichael Leuschel, Stephen-John Craig, Daniel Elphick. LOPSTR 2007: 43-59 [doi]

2005

Combining CSP and B for Specification and Property VerificationMichael J. Butler, Michael Leuschel. fm 2005: 221-236 [doi]

Tools for System Validation with B Abstract MachinesMichael J. Butler, Michael Leuschel, Colin F. Snook. asmta 2005: 57-69 [doi]

Self-tuning resource aware specialisation for prologStephen-John Craig, Michael Leuschel. ppdp 2005: 23-34 [doi]

Visualising Larger State Spaces in Pro BMichael Leuschel, Edd Turner. zum 2005: 6-23 [doi]

Guest EditorialMichael Leuschel. fac, 17(2):91-92, 2005. [doi]

Forward Slicing by Conjunctive Partial Deduction and Argument FilteringMichael Leuschel, Germán Vidal. ESOP 2005: 61-76 [doi]

Automatic Refinement Checking for BMichael Leuschel, Michael J. Butler. icfem 2005: 345-359 [doi]

ProTest: An Automatic Test Environment for B SpecificationsManoranjan Satpathy, Michael Leuschel, Michael J. Butler. ENTCS, 111:113-136, 2005. [doi]

Towards Provably Correct Code Generation via Horn Logical Continuation SemanticsQian Wang, Gopal Gupta, Michael Leuschel. padl 2005: 98-112 [doi]

2004

Efficient and flexible access control via logic program specialisationSteve Barker, Michael Leuschel, Mauricio Varea. PEPM 2004: 190-199 [doi]

The Use of Formal Methods in the Analysis of Trust (Position Paper)Michael J. Butler, Michael Leuschel, Stéphane Lo Presti, Phillip Turner. itrust 2004: 333-339 [doi]

LIX: an Effective Self-applicable Partial Evaluator for PrologStephen-John Craig, Michael Leuschel. FLOPS 2004: 85-99 [doi]

Fully Automatic Binding-Time Analysis for PrologStephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen. LOPSTR 2005: 53-68 [doi]

Model checking object petri nets in prologBerndt Farwer, Michael Leuschel. ppdp 2004: 20-31 [doi]

PROB: un outil de modélisation formelleMichael Leuschel. jfplc 2004:

Specialising Interpreters Using Offline Partial DeductionMichael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof. LOPSTR 2004: 340-375 [doi]

A framework for the integration of partial evaluation and abstract interpretation of logic programsMichael Leuschel. TOPLAS, 26(3):413-463, 2004. [doi]

Offline specialisation in Prolog using a hand-written compiler generatorMichael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe. tplp, 4(1-2):139-191, 2004.

Introduction to the Special Issue on Verification and Computational LogicMichael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche. tplp, 4(5-6):543-544, 2004.

A Trust Analysis Methodology for Pervasive Computing SystemsStéphane Lo Presti, Michael J. Butler, Michael Leuschel, Chris Booth. atal 2005: 129-143 [doi]

Binding-Time Analysis for MercuryWim Vanhoof, Maurice Bruynooghe, Michael Leuschel. LOPSTR 2004: 189-232 [doi]

2003

The Benefits of Rapid Modelling for E-business System DevelopmentJuan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng. er 2003: 17-28 [doi]

Model-Based Approaches for Validating Business Critical SystemsJuan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel. step 2004: 225-233 [doi]

A Compiler Generator for Constraint Logic ProgramsStephen-John Craig, Michael Leuschel. ershov 2003: 148-161 [doi]

Partial Evaluation of MATLABDaniel Elphick, Michael Leuschel, Simon J. Cox. GPCE 2003: 344-363 [doi]

Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using EcceHelko Lehmann, Michael Leuschel. LOPSTR 2004: 1-19 [doi]

Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected PapersMichael Leuschel, editor, Volume 2664 of Lecture Notes in Computer Science, Springer, 2003.

ProB: A Model Checker for BMichael Leuschel, Michael J. Butler. fm 2003: 855-874 [doi]

2002

Homeomorphic Embedding for Online Termination of Symbolic MethodsMichael Leuschel. BIRTHDAY 2002: 379-403 [doi]

Book ReviewsMichael Leuschel. stvr, 12(3):187-188, 2002.

Logic program specialisation through partial deduction: Control issuesMichael Leuschel, Maurice Bruynooghe. tplp, 2(4-5):461-515, 2002.

2001

How to Make FDR Spin LTL Model Checking of CSP by RefinementMichael Leuschel, Thierry Massart, Andrew Currie. fm 2001: 99-118 [doi]

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model CheckingMichael Leuschel, Stefan Gruner. LOPSTR 2001: 91-110 [doi]

Design and Implementation of the High-Level Specification Language CSP(LP) in PrologMichael Leuschel. padl 2001: 14-28 [doi]

2000

1999

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software VerificationRobert Glück, Michael Leuschel. ershov 2000: 93-100 [doi]

Preface - Workshop on Optimization and Implementation of Declarative ProgramsMichael Leuschel. TCS, 30(2), 1999. [doi]

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGENMichael Leuschel, Jesper Jørgensen. TCS, 30(2), 1999. [doi]

Infinite State Model Checking by Abstract Interpretation and Program SpecialisationMichael Leuschel, Thierry Massart. LOPSTR 2000: 62-81

Sonic Partial DeductionJonathan C. Martin, Michael Leuschel. ershov 2000: 101-112 [doi]

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and ExperimentsDanny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen. jlp, 41(2-3):231-277, 1999.

1998

PreviousNext