Michael Leuschel

发表

Tutorial on Program Specialisation (Abstract)

Danny De Schreye, Michael Leuschel, Bern Martens, 1995, ILPS.

Symmetry Reduced Model Checking for B

Michael J. Butler, Michael Leuschel, Edd Turner, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

Andreas Podelski, Michael Leuschel, 2007 .

Logic Program Specialisation: How to Be More Specific (Abstract)

Danny De Schreye, Michael Leuschel, 1996, LOPSTR.

Efficient and flexible access control via Jones-optimal logic program specialisation

Michael Leuschel, Mauricio Varea, Steve Barker, 2008, High. Order Symb. Comput..

Advanced Techniques for Logic Program Specialisation

Michael Leuschel, M. Leuschel, 1997, AI Commun..

Static slicing of explicitly synchronized languages

Michael Leuschel, Salvador Tamarit, Marisa Llorens, 2012, Inf. Comput..

Validation of the ABZ landing gear system using ProB

Michael Leuschel, Jens Bendisposto, Lukas Ladenberger, 2015, International Journal on Software Tools for Technology Transfer.

Optimising the ProB Model Checker for B Using Partial Order Reduction

Michael Leuschel, Ivaylo Dobrikov, 2014, SEFM.

Specialising Interpreters Using Offline Partial Deduction

Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel, 2004, Program Development in Computational Logic.

Control Issues in Partial Deduction: The Ever Ending Story

Maurice Bruynooghe, Michael Leuschel, 2000 .

Model-based problem solving for university timetable validation and improvement

Michael Leuschel, David Schneider, Tobias Witt, 2018, Formal Aspects of Computing.

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN

Michael Leuschel, Jesper Jørgensen, J. Jørgensen, 1999, WOID@ICLP.

LTL Model Checking under Fairness in ProB

Michael Leuschel, Ivaylo Dobrikov, Daniel Plagge, 2016, SEFM.

A Compact Encoding of Sequential ASMs in Event-B

Egon Börger, Michael Leuschel, 2016, ABZ.

Towards a Shared Specification Repository

Michael Leuschel, Philipp Körner, Jannik Dunkelau, 2020, ABZ.

Selected papers on Integrated Formal Methods (iFM09)

Michael Leuschel, Heike Wehrheim, 2011, Sci. Comput. Program..

Using the Extensible Model Checker XTL to Verify StAC Business Specifications

Juan Carlos Augusto, Michael Leuschel, Michael Butler, 2003 .

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

Germán Vidal, Michael Leuschel, M. Leuschel, 2005, ESOP.

Constraint Logic Programming over Infinite Domains with an Application to Proof

Michael Leuschel, Sebastian Krings, M. Leuschel, 2017, WLP / WFLP.

The First Twenty-Five Years of Industrial Use of the B-Method

Michael J. Butler, Michael Leuschel, Thierry Lecomte, 2020, FMICS.

Translating B to TLA+ for validation with TLC

Michael Leuschel, Dominik Hansen, M. Leuschel, 2016, Sci. Comput. Program..

Fast offline partial evaluation of logic programs

Germán Vidal, Michael Leuschel, 2014, Inf. Comput..

Constrained Partial Deduction

Danny De Schreye, Michael Leuschel, 1997, WLP.

How to Explain Mistakes

Michael Leuschel, Stefan Hallerstede, 2009, TFM.

The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications

Michael Leuschel, M. Leuschel, 2008 .

Analysing ProB’s Constraint Solving Backends

Michael Leuschel, Jannik Dunkelau, Joshua Schmidt, 2020, Rigorous State-Based Methods.

Extending Homeomorphic Embedding in the Context of Logic Programming

Michael Leuschel, M. Leuschel, 1997, WLP.

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Bas Luttik, Michael Leuschel, Tim A. C. Willemse, 2019 .

Tools for System Validation with B Abstract Machines

Colin F. Snook, Michael J. Butler, Michael Leuschel, 2005, Abstract State Machines.

A Semantics-Aware Editing Environment for Prolog in Eclipse pdf

Michael Leuschel, Jens Bendisposto, David Schneider, 2009, ArXiv.

Peter Sestoft, Michael Leuschel, Julia L. Lawall, 2008, High. Order Symb. Comput..

Self-tuning resource aware specialisation for prolog

Michael Leuschel, Stephen-John Craig, M. Leuschel, 2005, PPDP.

Partial Evaluation of the "Real Thing"

Michael Leuschel, M. Leuschel, 1994, LOPSTR.

Proof assisted bounded and unbounded symbolic model checking of software and system models

Michael Leuschel, Sebastian Krings, M. Leuschel, 2017, Sci. Comput. Program..

Ltl model checking of csp by refinement

Thierry Massart, Michael Leuschel, Andrew Currie, 2000 .

How to Make FDR Spin LTL Model Checking of CSP by Refinement

Thierry Massart, Michael Leuschel, Andrew Currie, 2001, FME.

Linearization of -CRL specifications. Extended abstract

Ulrich Ultes-Nitsche, Michael Leuschel, Yaroslav S. Usenko, 2002 .

Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR'02, Revised Selected Papers

Michael Leuschel, 2002 .

ProB User Manual

Michael Leuschel, Michael Butler, S. Lo Presti, 2005 .

Integrating formal specifications into applications: the ProB Java API

Michael Leuschel, Jens Bendisposto, Philipp Körner, 2020, Formal Methods in System Design.

Validation of formal models by refinement animation

Michael Leuschel, Stefan Hallerstede, Daniel Plagge, 2013, Sci. Comput. Program..

Rodin User & Developer Workshop Proceedings

Michael Leuschel, Michael Butler, Stefan Hallerstede, 2012 .

Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2001 .

On the Performance of Bytecode Interpreters in Prolog pdf

Michael Leuschel, Philipp Körner, David Schneider, 2020, ArXiv.

Logic Program Specialisation

Michael Leuschel, M. Leuschel, 1998, Partial Evaluation.

A Generic Flash-Based Animation Engine for ProB

Michael Leuschel, Jens Bendisposto, 2007, B.

SOC: a slicer for CSP specifications

Michael Leuschel, Salvador Tamarit, Marisa Llorens, 2009, PEPM '09.

Introduction to the 30th International Conference on Logic Programming Special Issue

Tom Schrijvers, Michael Leuschel, 2014, Theory Pract. Log. Program..

Offline specialisation in Prolog using a hand-written compiler generator

Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel, 2002, Theory and Practice of Logic Programming.

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction

Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas, 1998, ESOP.

Logic Program Specialisation: How To Be More Specific

Danny De Schreye, Michael Leuschel, D. D. Schreye, 1996, PLILP.

Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z

Sarfraz Khurshid, John Derrick, Michael Leuschel, 2012 .

Visualising Event-B Models with B-Motion Studio

Michael Leuschel, Jens Bendisposto, Lukas Ladenberger, 2009, FMICS.

Global Control for Partial Deduction through Characteristic Atoms and Global Trees

Michael Leuschel, Bern Martens, M. Leuschel, 1996, Dagstuhl Seminar on Partial Evaluation.

Experiments in program verification using Event-B

Michael Leuschel, Stefan Hallerstede, M. Leuschel, 2011, Formal Aspects of Computing.

Improving Homeomorphic Embedding for Online Termination

Michael Leuschel, M. Leuschel, 1998, LOPSTR.

Automatic Testing from Formal Specifi

Michael Leuschel, Michael Butler, Manoranjan Satpathy, 2006 .

A Trust Analysis Methodology for Pervasive Computing Systems

Michael J. Butler, Michael Leuschel, Stéphane Lo Presti, 2004, Trusting Agents for Trusting Electronic Societies.

Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce

Helko Lehmann, Michael Leuschel, M. Leuschel, 2003, LOPSTR.

Holistic Trust Design of E-Services

Michael Leuschel, Michael Butler, Chris Booth, 2006 .

Specialised Integrity Checking by Combining Conjunctive Partial Deduction and Abstract Interpretation

Michael Leuschel, 1996 .

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

Germán Vidal, Michael Leuschel, Salvador Tamarit, 2009, WFLP.

Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge

Michael Leuschel, David Schneider, 2014, ABZ.

Proof Assisted Model Checking for B

Michael Leuschel, Jens Bendisposto, 2009, ICFEM.

Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation

Michael Leuschel, Bern Martens, 1995, Deductive Databases / Abduction in Deductive Databases.

Proceedings of the 12th international conference on Logic based program synthesis and transformation

Michael Leuschel, 2002 .

Animation and Model Checking of CSP and B using Prolog Technology

Michael Leuschel, Michael Butler, Laksono Adhianto, 2001 .

Cliff B. Jones, Michael Leuschel, Jens Bendisposto, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Fast Offline Partial Evaluation of Large Logic Programs

Germán Vidal, Michael Leuschel, 2008, LOPSTR.

Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03)

Stefan Gruner, Michael Leuschel, Stéphane Lo Presti, 2003 .

Proceedings of the 11th International Workshop on Automated Verification of Critical Systems

Michael Leuschel, Jens Bendisposto, Alexander Romanovsky, 2011 .

Analyzing Context-Free and Context-Sensitive Grammars by Abstract Interpretation

Michael Leuschel, J. Thoma, N. Linnenbr ugger, 1999 .

Binding-time analysis for Mercury

Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel, 2004 .

Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic

Ulrich Ultes-Nitsche, Michael Leuschel, 2002 .

An Approach for Creating Domain Specific Visualisations of CSP Models

Michael Leuschel, Lukas Ladenberger, Ivaylo Dobrikov, 2014, SEFM Workshops.

LIX: an Effective Self-applicable Partial Evaluator for Prolog

Michael Leuschel, Stephen-John Craig, M. Leuschel, 2004, FLOPS.

Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints

Michael Leuschel, M. Leuschel, 1995, LOPSTR.

Proceedings of the 11th workshop on Automated Verification of Critical Systems

Cliff B. Jones, Michael Leuschel, Jens Bendisposto, 2011 .

Proceedings of the 7th International Conference on Integrated Formal Methods

Michael Leuschel, Heike Wehrheim, 2009 .

The Benefits of Rapid Modelling for E-business System Development

Juan Carlos Augusto, Michael Leuschel, Carla Ferreira, 2003, ER.

Project DEPLOY Grant Agreement 214158 "Industrial deployment of advanced system engineering methods for high productivity and dependability"

Michael Leuschel, Alexei Iliasov, Andreas Roth, 2011 .

Extending partial deduction to tabled execution: some results and open issues

Michael Leuschel, Konstantinos Sagonas, Konstantinos Sagonas, 1998, CSUR.

Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B

Michael Leuschel, Mathieu Comptier, Julien Molinero Perez, 2019, RSSRail.

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics

Qian Wang, Michael Leuschel, Gopal Gupta, 2005, PADL.

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Michael J. Butler, Michael Leuschel, Edd Turner, 2010, ASM.

Questions and Answers About Ten Formal Methods

Peter Henderson, Ulrich Ultes-Nitsche, Michael Leuschel, 1999 .

Automatic Refinement Checking for B

Michael J. Butler, Michael Leuschel, M. Leuschel, 2005, ICFEM.

Efficient and flexible access control via logic program specialisation

Michael Leuschel, Mauricio Varea, Steve Barker, 2004, PEPM '04.

Generating Event-B Specifications from Algorithm Descriptions

Michael Leuschel, Jens Bendisposto, Dominik Hansen, 2016, ABZ.

Applying Formal Reasoning to Model Transformation: The Meeduse solution

Michael Leuschel, Germán Vega, Akram Idani, 2019, TTC@STAF.

Refinement-Animation for Event-B - Towards a Method of Validation

Michael Leuschel, Stefan Hallerstede, Daniel Plagge, 2010, ASM.

Controlling generalization and polyvariance in partial deduction of normal logic programs

Danny De Schreye, Michael Leuschel, Bern Martens, 1998, TOPL.

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

Stefan Gruner, Michael Leuschel, M. Leuschel, 2001, LOPSTR.

Model-Based Robustness Testing in Event-B Using Mutation

Marc Frappier, Jean-Louis Lanet, Michael Leuschel, 2015, SEFM.

Ecient Specialisation in Prolog Using a Hand-Written Compiler Generator

Michael Leuschel, Jesper Jørgensen, J. Jørgensen, 1999 .

Decidability Results for the Propositional Fluent Calculus

Helko Lehmann, Michael Leuschel, M. Leuschel, 2000, Computational Logic.

Solving Planning Problems by Partial Deduction

Helko Lehmann, Michael Leuschel, M. Leuschel, 2000, LPAR.

Enabling Analysis for Event-B

Michael Leuschel, Ivaylo Dobrikov, M. Leuschel, 2016, ABZ.

Declarative programming for verification: lessons and outlook

Michael Leuschel, M. Leuschel, 2008, PPDP '08.

Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog

Michael Leuschel, M. Leuschel, 2001, PADL.

VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics

Michael Leuschel, Michelle Werth, 2020, ABZ.

Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk)

Michael Leuschel, 2018, SETS@ABZ.

A framework for the integration of partial evaluation and abstract interpretation of logic programs

Michael Leuschel, M. Leuschel, 2004, TOPL.

Towards Demonstrably Correct Compilation of Java Byte Code

Michael Leuschel, M. Leuschel, 2009, FMCO.

Binding-Time Analysis for Mercury

Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel, 1999, Program Development in Computational Logic.

Model-based approaches for validating business critical systems

Juan Carlos Augusto, Yvonne Howard, Stefan Gruner, 2003, Eleventh Annual International Workshop on Software Technology and Engineering Practice.

Inferring Physical Units in B Models

Michael Leuschel, Sebastian Krings, 2013, SEFM.

ProB: Un outil de modélisation formelle (Invited Talk)

Michael Leuschel, 2004 .

Under consideration for publication in Formal Aspects of Computing Automated Property Verification for Large Scale B Models with ProB

Michael Leuschel, Daniel Plagge, Fabian Fritz, 2010 .

Rapid Visualization of B Specifications containing Higher-Order Recursive Functions

Michael Leuschel, Jens Bendisposto, 2006, Softwaretechnik-Trends.

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

Michael Leuschel, Dominik Hansen, Philipp Körner, 2020, International Journal on Software Tools for Technology Transfer.

Pie Tree Visualization

Michael Leuschel, Mireille Samia, 2009, SEKE.

Guest Editorial

Michael Leuschel, 2005, Formal Aspects of Computing.

Improving Compositional Verification of State-based Models by Reducing Modular Unbalance

Michael Leuschel, Mauricio Varea, Bashir M. Al-Hashimi, 2003 .

SMT Solvers for Validation of B and Event-B Models

Michael Leuschel, Sebastian Krings, 2016, IFM.

Temporal logic model checking of csp, tools and techniques

Thierry Massart, Michael Leuschel, Laksono Adhianto, 2001 .

Translating TLA + to B for Validation with ProB

Michael Leuschel, Dominik Hansen, M. Leuschel, 2012, IFM.

Model checking object petri nets in prolog

Michael Leuschel, Berndt Farwer, Berndt Müller, 2004, PPDP '04.

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models

Ina Schieferdecker, Michael Leuschel, Jens Bendisposto, 2009, TestCom/FATES.

Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools

Michael Leuschel, 2014, VPT@CAV.

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2001, Theory and Practice of Logic Programming.

From Failure to Proof: The ProB Disprover for B and Event-B

Michael Leuschel, Jens Bendisposto, Sebastian Krings, 2015, SEFM.

Knowledge representation analysis of graph mining

Michael Leuschel, Sergey Paramonov, Gerda Janssens, 2016, Annals of Mathematics and Artificial Intelligence.

A Compiler Generator for Constraint Logic Programs

Michael Leuschel, Stephen-John Craig, M. Leuschel, 2003, Ershov Memorial Conference.

Three Is a Crowd: SAT, SMT and CLP on a Chessboard

Michael Leuschel, Stefan Hallerstede, Sebastian Krings, 2018, PADL.

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

Michael Leuschel, Jeroen Meijer, Philipp Körner, 2018, IFM.

La validation de modèles Event-B avec le plug-in ProB pour RODIN

Michael Leuschel, Jens Bendisposto, Mireille Samia, 2008, Tech. Sci. Informatiques.

Validating Z Specifications Using the ProBAnimator and Model Checker

Michael Leuschel, Daniel Plagge, 2007, IFM.

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more

Michael Leuschel, Daniel Plagge, 2009, International Journal on Software Tools for Technology Transfer.

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification

Robert Glück, Michael Leuschel, R. Glück, 1999, Ershov Memorial Conference.

Proceedings of the Workshop on Verification and Computational Logic VCL'2000

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2000 .

Towards pie tree visualization of graphs and large software architectures

Michael Leuschel, Mireille Samia, 2009, 2009 IEEE 17th International Conference on Program Comprehension.

Tutorial on Program Specialisation

Danny De Schreye, Michael Leuschel, Bern Martens, 1995 .

Automatic JIT Compiler Generation with Runtime Partial Evaluation

Michael Leuschel, Volker Aurich, Carl Friedrich Bolz, 2008 .

Preface - Workshop on Optimization and Implementation of Declarative Programs

Michael Leuschel, M. Leuschel, 1999, Electron. Notes Theor. Comput. Sci..

Program specialisation as a preprocessing step for termination analysis

Maurice Bruynooghe, Danny De Schreye, Michael Leuschel, 2006 .

Prolog for Verification, Analysis and Transformation Tools

Michael Leuschel, 2020, VPT/HCVS@ETAPS.

Automatic Flow Analysis for Event-B

Michael Leuschel, Jens Bendisposto, 2011, FASE.

Automatic Testing from Formal Specifications

Michael J. Butler, Michael Leuschel, S. Ramesh, 2007, TAP.

Solving coverability problems of petri nets by partial deduction

Helko Lehmann, Michael Leuschel, M. Leuschel, 2000, PPDP '00.

An Approach of Requirements Tracing in Formal Refinement

Michael Leuschel, Stefan Hallerstede, Michael Jastram, 2010, VSTTE.

Towards Just-In-Time Partial Evaluation of Prolog

Michael Leuschel, Carl Friedrich Bolz, Armin Rigo, 2009, LOPSTR.

Visualising Larger State Spaces in Pro B

Michael Leuschel, Edd Turner, M. Leuschel, 2005, ZB.

Formal Model-Based Constraint Solving and Document Generation

Michael Leuschel, M. Leuschel, 2016, SBMF.

Partial Evaluation of Large Logic Programs

Germán Vidal, Michael Leuschel, Fast Oine, 2008 .

Who watches the watchers: Validating the ProB Validation Tool

Michael Leuschel, Jens Bendisposto, Sebastian Krings, 2014, F-IDE.

Introduction to the Special Issue on Verification and Computational Logic

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2004, Theory Pract. Log. Program..

Efficiently Generating Efficient Generating Extensions in Prolog

Michael Leuschel, Jesper Jørgensen, J. Jørgensen, 1996, Dagstuhl Seminar on Partial Evaluation.

ILPS'97 Workshop on Specialisation of Declarative Programs and its Application

Michael Leuschel, 1997 .

Fully Automatic Binding-Time Analysis for Prolog

John P. Gallagher, Michael Leuschel, Stephen-John Craig, 2004, LOPSTR.

BMotionWeb: A Tool for Rapid Creation of Formal Prototypes

Michael Leuschel, Lukas Ladenberger, 2016, SEFM.

The High Road to Formal Validation:

Michael Leuschel, M. Leuschel, 2008, ABZ.

Mapping Requirements to B models

Michael Leuschel, Jens Bendisposto, Michael Jastram, 2009 .

Improving Size-Change Analysis in

Germán Vidal, Michael Leuschel, Salvador Tamarit, 2008 .

Formal Modelling and Verification of Trust in a Pervasive Application

Michael Leuschel, Michael Butler, Colin Snook, 2004 .

Proof Assisted Symbolic Model Checking for B and Event-B

Michael Leuschel, Sebastian Krings, 2016, ABZ.

Partial Evaluation of Pointcuts

Michael Leuschel, Klaus Ostermann, Karl Klose, 2007, PADL.

A Semantics-Aware Text Editor for Event-B

Jörg Rothe, Michael Leuschel, Fabian Fritz, 2009 .

Improving Railway Data Validation with ProB

Michael Leuschel, Daniel Plagge, Jérôme Falampin, 2013, Industrial Deployment of System Engineering Methods.

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Marcello M. Bonsangue, Michael Leuschel, Frank S. Boer, 2010, FMCO.

Strategy for Improving Memory Locality Reuse and Exploiting Hidden Parallelism

Michael Leuschel, Laksono Adhianto, 2001 .

From Animation to Data Validation: The ProB Constraint Solver 10 Years On

Michael Leuschel, Jens Bendisposto, Daniel Plagge, 2014 .

Validation of the ABZ Landing Gear System Using ProB

Michael Leuschel, Jens Bendisposto, Lukas Ladenberger, 2014, ABZ.

Towards a Trust Analysis Framework for Pervasive Computing Scenarios

Michael Leuschel, Michael Butler, Patrick Beautement, 2003 .

Easy Graphical Animation and Formula Visualisation for Teaching B

Michael Leuschel, Jens Bendisposto, Li Luo, 2008 .

A Multi-target Code Generator for High-Level B

Michael Leuschel, Dominik Hansen, Philipp Körner, 2019, IFM.

ProTest: An Automatic Test Environment for B Specifications

Michael J. Butler, Michael Leuschel, Manoranjan Satpathy, 2004, MBT.

ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods

Michael Leuschel, David Geleßus, 2020, ABZ.

The MEB and CEB Static Analysis for CSP Specifications

Michael Leuschel, Salvador Tamarit, Marisa Llorens, 2009, LOPSTR.

Extended Algebraic State-Transition Diagrams

Marc Frappier, Amel Mammar, Michael Leuschel, 2018, 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).

Symbolic Reachability Analysis of B Through ProB and LTSmin pdf

Jaco van de Pol, Michael Leuschel, Jens Bendisposto, 2016, IFM.

Mastering the Visualization of Larger State Spaces with Projection Diagrams

Michael Leuschel, Lukas Ladenberger, 2015, ICFEM.

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

Michael Leuschel, Stephen-John Craig, Daniel Elphick, 2006, LOPSTR.

Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool

Michael Leuschel, Marc Fontaine, M. Leuschel, 2008, ICFEM.

Validating Wireless Congestion Control and Reliability Protocols using ProB and Rodin

Björn Scheuermann, Michael Leuschel, Jens Bendisposto, 2008 .

Animating and Model Checking B Specifications with Higher-Order Recursive Functions

Michael Leuschel, Jens Bendisposto, 2007, Rigorous Methods for Software Construction and Analysis.

Constrained partial deduction and the preservation of characteristic trees

Danny De Schreye, Michael Leuschel, D. D. Schreye, 2009, New Generation Computing.

Symmetry Reduction for B by Permutation Flooding

Michael J. Butler, Michael Leuschel, Edd Turner, 2007, B.

The Ecce and Logen partial evaluators and their web interfaces

Michael Leuschel, Mauricio Varea, Stephen-John Craig, 2006, PEPM '06.

Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction

Helko Lehmann, Michael Leuschel, M. Leuschel, 2000, Computational Logic.

Interactive Model Repair by Synthesis

Michael Leuschel, Sebastian Krings, Joshua Schmidt, 2016, ABZ.

Validating B, Z and TLA + Using ProB and Kodkod

Michael Leuschel, Daniel Plagge, M. Leuschel, 2012, FM.

Efficient approximate verification of B and Z models via symmetry markers

Thierry Massart, Michael Leuschel, M. Leuschel, 2010, Annals of Mathematics and Artificial Intelligence.

Termination Analysis for Tabled Logic Programming

Danny De Schreye, Michael Leuschel, Bern Martens, 1997, LOPSTR.

ProB: A Model Checker for B

Michael J. Butler, Michael Leuschel, M. Leuschel, 2003, FME.

Homeomorphic Embedding for Online Termination of Symbolic Methods

Michael Leuschel, M. Leuschel, 2002, The Essence of Computation.

From Software Specifications to Constraint Programming

Peter Gorm Larsen, Michael Leuschel, Stefan Hallerstede, 2018, SEFM.

On Fitting a Formal Method into Practice

Felix Lösch, Michael Leuschel, Stefan Hallerstede, 2011, ICFEM.

Sonic Partial Deduction

Michael Leuschel, Jonathan C. Martin, M. Leuschel, 1999, Ershov Memorial Conference.

Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB

Michael Leuschel, John Witulski, 2014, F-IDE.

Repair and Generation of Formal Models Using Synthesis

Michael Leuschel, Sebastian Krings, Joshua Schmidt, 2018, IFM.

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003

Michael Leuschel, 2003, PEPM.

BE4: The B Extensible Eclipse Editing Environment

Michael Leuschel, Jens Bendisposto, 2007, B.

Model-Based Problem Solving for University Timetable Validation and Improvement

Michael Leuschel, David Schneider, Tobias Witt, 2015, FM.

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

Markus Roggenbach, Michael Leuschel, Jens Bendisposto, 2014, Sci. Comput. Program..

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions

Marc Frappier, Amel Mammar, Régine Laleau, 2018, IFM.

Using B and ProB for Data Validation Projects

Michael Leuschel, Dominik Hansen, David Schneider, 2016, ABZ.

Termination analysis for tabled logic programming (extended abstract)

Danny De Schreye, Michael Leuschel, Bern Martens, 1997 .

Inferring physical units in formal models

Michael Leuschel, Sebastian Krings, M. Leuschel, 2017, Software & Systems Modeling.

Finite and Infinite Model Checking of Dual Transition Petri Net Models

Michael Leuschel, Mauricio Varea, Bashir M. Al-Hashimi, 2002 .

The Use of Formal Methods in the Analysis of Trust (Position Paper)

Michael J. Butler, Michael Leuschel, Stéphane Lo Presti, 2004, iTrust.

ProB gets Nauty: Effective Symmetry Reduction for B and Z Models

Michael Leuschel, Corinna Spermann, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers

Michael Leuschel, M. Leuschel, 2003, LOPSTR.

Formally Checking Large Data Sets in the Railways pdf

Michael Leuschel, Thierry Lecomte, Lilian Burdy, 2012, ArXiv.

Design and Implementation of the High-Level Specification Language CSP(LP)

Michael Leuschel, 2001 .

Under Consideration for Publication in Theory and Practice of Logic Programming Logic Program Specialisation through Partial Deduction: Control Issues

Maurice Bruynooghe, Michael Leuschel, M. Leuschel, 2022 .

Improving Size-Change Analysis in Offline Partial Evaluation pdf

Germán Vidal, Michael Leuschel, Salvador Tamarit, 2009, ArXiv.

Conjunctive Partial Deduction in Practice

Michael Leuschel, Bern Martens, Jesper Jørgensen, 1996, LOPSTR.

Embedding High-Level Formal Specifications into Applications

Michael Leuschel, Jens Bendisposto, Jannik Dunkelau, 2019, FM.

Automated Property Verification for Large Scale B Models

Michael Leuschel, Daniel Plagge, Fabian Fritz, 2009, FM.

Partial Evaluation of MATLAB

Simon J. Cox, Michael Leuschel, Daniel Elphick, 2003, GPCE.

Redundant Argument Filtering of Logic Programs

Michael Leuschel, Morten Heine Sørensen, M. Sørensen, 1996, LOPSTR.

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains

Michael Leuschel, Dominik Hansen, David Schneider, 2018, ABZ.

Efficient Approximate Verification of Promela Models Via Symmetry Markers

Dragan Bosnacki, Thierry Massart, Michael Leuschel, 2007, ATVA.

Validating and Animating Higher-Order Recursive Functions in B

Dominique Cansell, Michael J. Butler, Michael Leuschel, 2009, Rigorous Methods for Software Construction and Analysis.

Constraint-based deadlock checking of high-level specifications pdf

Michael Leuschel, Stefan Hallerstede, 2011, Theory Pract. Log. Program..

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland

Andreas Podelski, Michael Leuschel, 2007, PPDP.

Partial Deduction of the Ground Representation and its Application to Integrity Checking

Michael Leuschel, Bern Martens, M. Leuschel, 1995, ILPS.

Preserving Termination of Tabled Logic Programs While Unfolding

Michael Leuschel, Bern Martens, Konstantinos Sagonas, 1997, LOPSTR.

Software Architecture of Modern Model Checkers

Fabrice Kordon, Jaco van de Pol, Michael Leuschel, 2019, Computing and Software Science.

Towards a jitting VM for prolog execution

Michael Leuschel, David Schneider, Carl Friedrich Bolz, 2010, PPDP.

Michael Leuschel, 2002, Softw. Test. Verification Reliab..

Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments"

Robert Glück, Danny De Schreye, Michael Leuschel, 2000, J. Log. Program..

Infinite State Model Checking by Abstract Interpretation and Program Specialisation

Thierry Massart, Michael Leuschel, M. Leuschel, 1999, LOPSTR.

Developing Camille, a text editor for Rodin

Michael Leuschel, Jens Bendisposto, Michael Jastram, 2011, Softw. Pract. Exp..

Optimising the ProB model checker for B using partial order reduction

Michael Leuschel, Ivaylo Dobrikov, M. Leuschel, 2014, Formal Aspects of Computing.

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)

Elvinia Riccobene, Michael Leuschel, Uwe Glässer, 2013, Dagstuhl Reports.

A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration

Danny De Schreye, Michael Leuschel, D. Andre de Waal, 1996, JICSLP.

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Danny De Schreye, Michael Leuschel, D. D. Schreye, 1995, PEPM '95.

Generating inductive verification proofs for Isabelle using the partial evaluator Ecce

Helko Lehmann, Michael Leuschel, M. Leuschel, 2002 .

Translating Alloy and extensions to classical B

Michael Leuschel, Marc Frappier, Sebastian Krings, 2020, Sci. Comput. Program..

Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Michael Leuschel, Heike Wehrheim, M. Leuschel, 2009, International Conference on Integrated Formal Methods.

Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters

Danny De Schreye, Michael Leuschel, 1998, J. Log. Program..

Embedding SMT-LIB into B for Interactive Proof and Constraint Solving

Michael Leuschel, Sebastian Krings, 2019, IFM.

Allocation removal by partial evaluation in a tracing JIT

Michael Leuschel, Samuele Pedroni, Carl Friedrich Bolz, 2011, PEPM '11.

Fast and Effective Well-Definedness Checking

Michael Leuschel, 2020, IFM.

Some achievements and prospects in partial deduction

Danny De Schreye, Michael Leuschel, Bern Martens, 1998, CSUR.

Specialization of Declarative Programs and Its Applications (Workshop Overview)

Michael Leuschel, 1997, ILPS.

Runtime feedback in a meta-tracing JIT for efficient dynamic languages

Michael Leuschel, Samuele Pedroni, Carl Friedrich Bolz, 2011, ICOOOLPS@ECOOP.

ProB: an automated analysis toolset for the B method

Michael J. Butler, Michael Leuschel, M. Leuschel, 2008, International Journal on Software Tools for Technology Transfer.

Program Specialisation and Abstract Interpretation Reconciled

Michael Leuschel, M. Leuschel, 1998, IJCSLP.

Advanced Logic Program Specialisation

Michael Leuschel, M. Leuschel, 1998, Partial Evaluation.

Avocs2010 Preface

Markus Roggenbach, Michael Leuschel, Jens Bendisposto, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Translating B to TLA + for Validation with TLC

Michael Leuschel, Dominik Hansen, M. Leuschel, 2014, ABZ.

Modelling and Validating an Automotive System in Classical B and Event-B

Michael Leuschel, Mareike Mutz, Michelle Werth, 2020, ABZ.

Combining CSP and B for Specification and Property Verification

Michael J. Butler, Michael Leuschel, M. Leuschel, 2005, FM.

On the Power of Homeomorphic Embedding for Online Termination

Michael Leuschel, M. Leuschel, 1998, SAS.

Directed Model Checking for B: An Evaluation and New Techniques

Michael Leuschel, Jens Bendisposto, M. Leuschel, 2010, SBMF.

A Translation from Alloy to B

Marc Frappier, Michael Leuschel, Sebastian Krings, 2018, ABZ.

ProB2-UI: A Java-Based User Interface for ProB

Michael Leuschel, Jens Bendisposto, Michelle Werth, 2021, FMICS.

Spot the Difference: A Detailed Comparison Between B and Event-B

Michael Leuschel, 2021, Logic, Computation and Rigorous Methods.

Improving SMT Solver Integrations for the Validation of B and Event-B Models

Michael Leuschel, Joshua Schmidt, 2021, FMICS.

50 Years of Prolog and Beyond

Daniel Diaz, Jan Wielemaker, Michael Leuschel, 2022 .

Validation of Formal Models by Timed Probabilistic Simulation

Atif Mashkoor, Michael Leuschel, Fabian Vu, 2021, ABZ.

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

Atif Mashkoor, Alexander Egyed, Michael Leuschel, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).

Logic Programming and Partial Deduction for the Verification of Reactive Systems : An Experimental Evaluation ( Abstract of ongoing work )

Michael Leuschel, Thierry Massart, 2002 .

Model Checking Object Petri Nets in Prolog ( Application Paper )

Michael Leuschel, Berndt Farwer, 2003 .

An almost perfect abstraction operator for partial deduction

Danny De Schreye, Michael Leuschel, 1994 .

Debugging Event-B Models using the ProB Disprover Plug-in !

Michael Leuschel, Jens Bendisposto, Olivier Ligot, 2007 .

Parallel Model Checking of B Specifications ?

Michael Leuschel, Jens Bendisposto, Philipp Körner, 2013 .

A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation

Michael Leuschel, Stephen-John Craig, 2005 .

Logic programming and reactive deduction for the verification of reactive systems: an experimental evaluation

Michael Leuschel, Thierry Massart, 2002 .

High-Level versus Low-Level Specifications : Comparing B with Promela and ProB with Spin

Michael Leuschel, Jens Bendisposto, Harald Wiegard, 2010 .

An almost perfect abstraction operation for partial deduction using characteristic trees

Danny De Schreye, Michael Leuschel, 1995 .

Efficient Approximate Verification of B via Symmetry Markers

Michael Leuschel, M. Leuschel, T. Massart, 2007 .

Turning Failure into Proof : Evaluating the ProB Disprover

Michael Leuschel, Jens Bendisposto, Sebastian Krings, 2014 .