2026 Michael Leuschel: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	38	10236	9949	511	499	286	6132

Overview

Michael Leuschel is affiliated with Heinrich Heine University Düsseldorf in Germany. Their research primarily spans the field of Computer Science, with a substantive focus on Software, Computational Theory and Mathematics, and Artificial Intelligence. Other areas of work include Neurology and Information Systems.

The scientist's research topics cover a range of areas within software engineering and formal methods, including:

Formal Methods in Verification
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Logic, programming, and type systems
Software Reliability and Analysis Research
Vestibular and auditory disorders
Advanced Software Engineering Methodologies

Frequent collaborators in Michael Leuschel's work include:

Joshua Schmidt
Fabian Vu
Sophia Reinhardt
Atif Mashkoor
Christiane Schüle

They have published in several notable venues, with multiple publications appearing in:

Laryngo-Rhino-Otologie
arXiv (Cornell University)
International Journal on Software Tools for Technology Transfer
Current Directions in Biomedical Engineering
Zenodo (CERN European Organization for Nuclear Research)

Selected recent papers by Michael Leuschel include:

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model, 2020, International Journal on Software Tools for Technology Transfer
Fifty Years of Prolog and Beyond, 2022, Theory and Practice of Logic Programming
Formal Methods in Industry, 2024, Formal Aspects of Computing
VertiGo - a pilot project in nystagmus detection via webcam, 2020, Current Directions in Biomedical Engineering
Integrating formal specifications into applications: the ProB Java API, 2020, Formal Methods in System Design

Best Publications

ProB: A Model Checker for B

Michael Leuschel;Michael J. Butler

841
Citations
ProB : an automated analysis toolset for the B method

Michael Leuschel;Michael Butler

503
Citations
Combining CSP and b for specification and property verification

Michael Butler;Michael Leuschel

182
Citations
Infinite State Model Checking by Abstract Interpretation and Program Specialisation

Michael Leuschel;Thierry Massart

137
Citations
Controlling generalization and polyvariance in partial deduction of normal logic programs

Michael Leuschel;Bern Martens;Danny De Schreye

136
Citations
CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, AND EXPERIMENTS

Danny De Schreye;Robert Glück;Jesper Jørgensen;Michael Leuschel

131
Citations
Logic program specialisation through partial deduction: Control issues

Michael Leuschel;Maurice Bruynooghe

111
Citations
On the Power of Homeomorphic Embedding for Online Termination

Michael Leuschel;Michael Leuschel;Michael Leuschel

110
Citations
Abstract State Machines, Alloy, B, VDM, and Z

John Derrick;John Fitzgerald;Stefania Gnesi;Sarfraz Khurshid

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

Michael Leuschel;Danny De Schreye;D André de Waal

92
Citations
Validating Z specifications using the PROB animator and model checker

Daniel Plagge;Michael Leuschel

82
Citations
Homeomorphic embedding for online termination of symbolic methods

Michael Leuschel

81
Citations
Global Control for Partial Deduction through Characteristic Atoms and Global Trees

Michael Leuschel;Bern Martens

80
Citations
Redundant Argument Filtering of Logic Programs

Michael Leuschel;Morten Heine Sørensen

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

Michael Leuschel;Thierry Massart;Andrew Currie

74
Citations
Visualising Event-B Models with B-Motion Studio

Lukas Ladenberger;Jens Bendisposto;Michael Leuschel

73
Citations
Automated property verification for large scale B models with ProB

Michael Leuschel;Jérôme Falampin;Fabian Fritz;Daniel Plagge

72
Citations
Allocation removal by partial evaluation in a tracing JIT

Carl Friedrich Bolz;Antonio Cuni;Maciej FijaBkowski;Michael Leuschel

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

Daniel Plagge;Michael Leuschel

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

Unknown

67
Citations
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.

Michael Leuschel;Daniel Plagge

8
Citations

Frequent Co-Authors

Michael Butler University of Southampton

Maurice Bruynooghe KU Leuven

Andreas Podelski University of Freiburg

Juan Carlos Augusto Middlesex University

Robert Glück University of Copenhagen

Pieter H. Hartel Delft University of Technology

Cliff B. Jones Newcastle University

Sarfraz Khurshid The University of Texas at Austin

Stefania Gnesi Institute of Information Science and Technologies

Bashir M. Al-Hashimi King's College London

External Links

Personal website of Michael Leuschel Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens the door to a wide array of online degree options and interdisciplinary career pathways. For those interested in fast-tracking their education, a 2-year computer science degree online offers a convenient path into the tech workforce or further studies.

Many students choose to pair computer science with related fields such as engineering or environmental science. Curious about how technology and sustainability intersect? Explore potential roles and academic pathways at what can you get with an environmental science degree.

If you’re considering engineering, there are affordable programs in both environmental and mechanical disciplines. Investigate your options with a focus on real-world applications at environmental engineering degree, or look at program pricing and structure for distance learners at mechanical engineering degree online cost.

Whether you aim to specialize or broaden your knowledge, these online degrees can help you build a customized career path that fits the evolving demands of today’s job market.