2026 Dirk Beyer: 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	53	4882	4747	219	212	199	9775

Overview

Dirk Beyer is affiliated with the Ludwig-Maximilians-Universität München in Germany. Their research primarily focuses on various areas within Computer Science, with a significant emphasis on software-related disciplines.

The main fields of study covered by Dirk Beyer include:

Computer Science

Within this broad area, their work spans several subfields such as:

Software
Computational Theory and Mathematics
Information Systems
Artificial Intelligence
Hardware and Architecture

The scientist's research touches on numerous specific topics, including:

Software Testing and Debugging Techniques
Formal Methods in Verification
Software Reliability and Analysis Research
Software Engineering Research
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Security and Verification in Computing

Dirk Beyer has contributed to several recent papers, some of which are:

Verification Witnesses (2022) published in ACM Transactions on Software Engineering and Methodology
A retrospective study of one decade of artifact evaluations (2022) published in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Decomposing software verification into off-the-shelf components (2022) published in Proceedings of the 44th International Conference on Software Engineering
European benchmarking of determinants of profitability for companies with accrual accounting in the agricultural sector (2020) published in Agricultural Economics (Zemědělská ekonomika)
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification (2022) published in arXiv (Cornell University)

Frequent co-authors collaborating with Dirk Beyer include:

Thomas R. Lemberger
Nian-Ze Lee
Marian Lingsch-Rosenfeld
Po-Chun Chien
Matthias Kettl

The venues where Dirk Beyer often publishes are:

Zenodo (CERN European Organization for Nuclear Research)
International Journal on Software Tools for Technology Transfer
arXiv (Cornell University)
Journal of Automated Reasoning
OPAL (Open@LaTrobe) (La Trobe University)

Dirk Beyer has also contributed to book publications with Springer Science+Business Media, including titles such as:

Verification, Model Checking, and Abstract Interpretation (2020)
NASA Formal Methods (2022)
TOOLympics Challenge 2023 (2024)

Best Publications

The software model checker B last : Applications to software engineering

Dirk Beyer;Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar

867
Citations
CPACHECKER: a tool for configurable software verification

Dirk Beyer;M. Erkan Keremoglu

762
Citations
Generating tests from counterexamples

Dirk Beyer;Adam J. Chlipala;Thomas A. Henzinger;Ranjit Jhala

317
Citations
Configurable software verification: concretizing the convergence of model checking and program analysis

Dirk Beyer;Thomas A. Henzinger;Grégory Théoduloz

275
Citations
Path invariants

Dirk Beyer;Thomas A. Henzinger;Rupak Majumdar;Andrey Rybalchenko

250
Citations
Web service interfaces

Dirk Beyer;Arindam Chakrabarti;Thomas A. Henzinger

212
Citations
Reliable benchmarking: requirements and solutions

Dirk Beyer;Stefan Löwe;Philipp Wendler

210
Citations
Software model checking via large-block encoding

Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu

203
Citations
Strategies for product-line verification: case studies and experiments

Sven Apel;Alexander von Rhein;Philipp Wendler;Armin Groslinger

199
Citations
Symbolic invariant verification for systems with dynamic structural adaptation

Basil Becker;Dirk Beyer;Holger Giese;Florian Klein

184
Citations
Software Verification and Verifiable Witnesses

Dirk Beyer

180
Citations
Detection of feature interactions using feature-aware verification

Sven Apel;Hendrik Speidel;Philipp Wendler;Alexander von Rhein

179
Citations
Clustering software artifacts based on frequent common changes

D. Beyer;A. Noack

174
Citations
Reliable and Reproducible Competition Results with BenchExec and Witnesses Report on SV-COMP 2016

Dirk Beyer

167
Citations
Competition on software verification

Dirk Beyer

154
Citations
Predicate abstraction with adjustable-block encoding

Dirk Beyer;M. Erkan Keremoglu;Philipp Wendler

151
Citations
Explicit-State software model checking based on CEGAR and interpolation

Dirk Beyer;Stefan Löwe

146
Citations
Efficient relational calculation for software analysis

D. Beyer;A. Noack;C. Lewerentz

140
Citations
Program Analysis with Dynamic Precision Adjustment

D. Beyer;T.A. Henzinger;G. Theoduloz

140
Citations
Invariant synthesis for combined theories

Dirk Beyer;Thomas A. Henzinger;Rupak Majumdar;Andrey Rybalchenko

137
Citations
Software Model Checking via Large-Block Encoding

Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu

135
Citations
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Dirk Beyer;Marieke Huisman

13
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

Frequent Co-Authors

Thomas A. Henzinger Institute of Science and Technology Austria

Sven Apel Saarland University

Rupak Majumdar Max Planck Institute for Software Systems

Ranjit Jhala University of California, San Diego

Bernhard Steffen TU Dortmund University

Roberto Sebastiani University of Trento

Ahmed E. Hassan Queen's University

Andrey Rybalchenko Microsoft (United States)

Helmut Veith TU Wien

Alessandro Cimatti Fondazione Bruno Kessler

External Links

Personal website of Dirk Beyer Google Scholar page

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

Related Online Degrees & Career Pathways

Exploring Computer Science doesn’t just mean earning a bachelor’s degree. There are a variety of related pathways that can enhance your skills and expand your career options, all available online. For those beginning their journey, easy associate degrees can provide foundational knowledge quickly and affordably, allowing you to enter the tech field or build credits for further education.

Continuing your education? Consider enrolling in one of the affordable masters degrees to gain specialized expertise or pivot to a new area within computer science. For those interested in leadership roles or academia, pursuing the online phd in organizational leadership or the cheapest doctorate of education online offers pathways to high-level positions and research opportunities.

With flexible learning formats and a range of affordable programs, online degrees in computer science and related fields can open doors to diverse and rewarding career pathways worldwide.