2026 Bernhard Steffen: 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	73	1622	1573	65	64	386	15910

Bernhard Steffen publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Bernhard Steffen sits on this spectrum.

32 publications 991+

This scientist: 386 publications — 86th percentile

86% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

Bernhard Steffen D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Bernhard Steffen sits on this spectrum.

30 D-Index 131+

This scientist: 73 D-Index — 89th percentile

89% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

Research.com Recognitions

2025 - Research.com Computer Science in Germany Leader Award
2023 - Research.com Computer Science in Germany Leader Award
2022 - Research.com Computer Science in Germany Leader Award

Overview

Bernhard Steffen is primarily affiliated with TU Dortmund University in Germany. Their research work spans various aspects of computer science, focusing particularly on artificial intelligence, software, computational theory and mathematics, information systems, and computer networks and communications.

The main fields of study for Bernhard Steffen encompass:

Computer Science

Their work includes significant contributions to subfields such as:

Artificial Intelligence
Software
Computational Theory and Mathematics
Information Systems
Computer Networks and Communications

Bernhard Steffen's research topics cover a wide range of areas, including:

Software Testing and Debugging Techniques
Formal Methods in Verification
Machine Learning and Algorithms
Model-Driven Software Engineering Techniques
Explainable Artificial Intelligence (XAI)
Advanced Software Engineering Methodologies
Software Engineering Research

Recent published papers by Bernhard Steffen include:

Microscopic insights into pedestrian motion through a bottleneck, resolving spatial and temporal variations, 2022, Collective Dynamics
Algebraic aggregation of random forests: towards explainability and rapid evaluation, 2021, International Journal on Software Tools for Technology Transfer
The molecular composition of extractable soil microbial compounds and their contribution to soil organic matter vary with soil depth and tree species, 2021, The Science of The Total Environment
Towards Explainability in Machine Learning: The Formal Methods Way, 2020, IT Professional
The RERS challenge: towards controllable and scalable benchmark synthesis, 2021, International Journal on Software Tools for Technology Transfer

Frequent co-authors collaborating with Bernhard Steffen include:

Tiziana Margaria
Alexander Bainczyk
Daniel Busch
Tim Tegeler
Alnis Murtovi

Bernhard Steffen has published extensively in several venues, with frequent publications found in:

International Journal on Software Tools for Technology Transfer
arXiv (Cornell University)
IT Professional
Collective Dynamics
The Science of The Total Environment

Their book publications are primarily associated with Springer Science+Business Media, including titles such as:

Leveraging Applications of Formal Methods, Verification and Validation (2021)
Bridging the Gap Between AI and Reality (2023)
Leveraging Applications of Formal Methods, Verification and Validation. Practice (2022)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (2020)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (2020)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (2021)
Leveraging Applications of Formal Methods, Verification and Validation: Applications (2020)
Variable Neighborhood Search (2020)
Information Security and Cryptology - ICISC 2019 (2020)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022)
Cross-Cultural Design. Applications in Cultural Heritage, Tourism, Autonomous Vehicles, and Intelligent Agents (2021)
Cross-Cultural Design. Applications in Arts, Learning, Well-being, and Social Development (2021)
Model Checking, Synthesis, and Learning (2021)
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)
Information Security and Cryptology (2021)

Additionally, Bernhard Steffen contributed to a publication by Centre National de la Recherche Scientifique titled Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (2024).

Best Publications

The concurrency workbench: a semantics-based tool for the verification of concurrent systems

Rance Cleaveland;Joachim Parrow;Bernhard Steffen

824
Citations
Reactive, generative, and stratified models of probabilistic processes

Rob J. VanGlabbeek;Scott A. Smolka;Bernhard Steffen

690
Citations
Reactive, generative, and stratified models of probabilistic processes

R. van Glabbeek;S.A. Smolka;B. Steffen;C.M.N. Tofts

616
Citations
Lazy code motion

Jens Knoop;Oliver Rüthing;Bernhard Steffen

386
Citations
A linear-time model-checking algorithm for the alternation-free modal mu-calculus

Rance Cleaveland;Bernhard Steffen

374
Citations
Optimal code motion: theory and practice

Jens Knoop;Oliver Rüthing;Bernhard Steffen

292
Citations
The Concurrency Workbench

Rance Cleaveland;Joachim Parrow;Bernhard Steffen

282
Citations
Verification on Infinite Structures

Olaf Burkart;Didier Caucal;Faron Moller;Bernhard Steffen

280
Citations
Partial dead code elimination

Jens Knoop;Oliver Rüthing;Bernhard Steffen

277
Citations
Model-driven development with the jABC

Bernhard Steffen;Tiziana Margaria;Ralf Nagel;Sven Jörges

268
Citations
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning

Malte Isberner;Falk Howar;Bernhard Steffen

217
Citations
Data Flow Analysis as Model Checking

Bernhard Steffen

204
Citations
Model-Checking: A Tutorial Introduction

Markus Müller-Olm;David A. Schmidt;Bernhard Steffen

204
Citations
The Interprocedural Coincidence Theorem

Jens Knoop;Bernhard Steffen

193
Citations
The Open-Source LearnLib

Malte Isberner;Falk Howar;Bernhard Steffen

191
Citations
Program Analysis as Model Checking of Abstract Interpretations

David A. Schmidt;Bernhard Steffen

185
Citations
LearnLib: a library for automata learning and experimentation

Harald Raffelt;Bernhard Steffen;Therese Berg

184
Citations
Introduction to Active Automata Learning from a Practical Perspective

Bernhard Steffen;Falk Howar;Maik Merten

183
Citations
Model Checking for Context-Free Processes

Olaf Burkart;Bernhard Steffen

181
Citations
Faster Model Checking for the Modal Mu-Calculus

Rance Cleaveland;Marion Klein;Bernhard Steffen

178
Citations
Compositional Minimization of Finite State Systems

Susanne Graf;Bernhard Steffen

174
Citations
Tools and Algorithms for the Construction and Analysis of Systems

Hendrik Brinksma;W.R. Cleaveland;T. Margaria;B. Steffen

21
Citations
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Dirk Beyer;Marieke Huisman;Fabrice Kordon;Bernhard Steffen

11
Citations
Reactive, generative, and stratified models of probabilistic processes

R.J. vanGlabbeek;S.A. Smolka;B. Steffen;C.M.N. Tofts

1
Citations

Frequent Co-Authors

Tiziana Margaria University of Limerick

Bengt Jonsson Uppsala University

Rance Cleaveland University of Maryland, College Park

Kim Guldstrand Larsen Aalborg University

Scott A. Smolka Stony Brook University

Mike Hinchey Lero

Dirk Beyer Ludwig-Maximilians-Universität München

Antonia Bertolino National Research Council (CNR)

Axel Legay Université Catholique de Louvain

Valérie Issarny French Institute for Research in Computer Science and Automation - INRIA

External Links

Wikipedia of Bernhard Steffen Personal website of Bernhard Steffen Google Scholar page

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

Related Online Degrees & Career Pathways

Pursuing Computer Science in the USA opens doors to a range of related online degrees and dynamic career pathways. Many students consider parallel or complementary fields such as data science or accounting to diversify their expertise and career prospects.

Often, affordability is a major concern for students. It’s important to compare the cost of criminal justice degree programs and other fields to find the best fit for your budget and goals. Online programs can reduce expenses while still providing quality education.

Graduates interested in financial management may look into an online accounting degree, which complements the analytical skills developed in computer science. Those aiming for tech-advanced careers might consider the top data science programs available online, which blend coding, analytics, and business intelligence.

Another emerging industry is construction management. If you are interested in applying your tech skills to real-world projects, a construction management degree online provides a path into this fast-growing sector.

By exploring these online degree options, you can tailor your education to fit your interests—broadening your career possibilities beyond traditional computer science roles.