D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 45 Citations 7,723 141 World Ranking 3646 National Ranking 164

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

His primary scientific interests are in Software verification, Programming language, Predicate abstraction, Theoretical computer science and CPAchecker. The concepts of his Software verification study are interwoven with issues in Verification, Functional verification and Reachability. His biological study focuses on Memory safety.

His Predicate abstraction research is multidisciplinary, relying on both Program analysis and Encoding. His biological study spans a wide range of topics, including False alarm, Model checking, Program counter and Shape analysis. Dirk Beyer focuses mostly in the field of CPAchecker, narrowing it down to topics relating to Predicate and, in certain cases, Source lines of code, Automatic programming, False positive paradox and Counterexample.

His most cited work include:

  • The software model checker B last : Applications to software engineering (533 citations)
  • CPACHECKER: a tool for configurable software verification (347 citations)
  • Generating tests from counterexamples (196 citations)

What are the main themes of his work throughout his whole career to date?

His scientific interests lie mostly in Programming language, Software verification, Software, Model checking and Program analysis. His work on Theoretical computer science expands to the thematically related Programming language. The various areas that Dirk Beyer examines in his Software verification study include Verification, Set, Reachability and Functional verification.

His study focuses on the intersection of Software and fields such as Software engineering with connections in the field of State and Visualization. His Model checking research includes elements of Correctness, Computation and Implementation. Parallel computing is closely connected to Domain in his research, which is encompassed under the umbrella topic of Program analysis.

He most often published in these fields:

  • Programming language (46.11%)
  • Software verification (40.12%)
  • Software (32.34%)

What were the highlights of his more recent work (between 2018-2021)?

  • Software verification (40.12%)
  • Software engineering (16.77%)
  • Programming language (46.11%)

In recent papers he was focusing on the following fields of study:

Software verification, Software engineering, Programming language, Software and Model checking are his primary areas of study. His Software verification research incorporates themes from Program analysis, Set, Reachability and Benchmark. His studies in Program analysis integrate themes in fields like Correctness, Formal verification and CPAchecker.

His research on Programming language often connects related topics like Open problem. His work in the fields of Software testing overlaps with other areas such as Order. His work on Predicate abstraction as part of his general Model checking study is frequently connected to Sequential combination, thereby bridging the divide between different branches of science.

Between 2018 and 2021, his most popular works were:

  • Automatic Verification of C and Java Programs: SV-COMP 2019 (55 citations)
  • Reliable benchmarking: requirements and solutions (48 citations)
  • Advances in Automatic Software Verification: SV-COMP 2020 (23 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

The scientist’s investigation covers issues in Software, Software engineering, Software verification, State and Software testing. His Software study is related to the wider topic of Programming language. His work deals with themes such as Semantics, System model and Component, which intersect with State.

His study in Software testing is interdisciplinary in nature, drawing from both Event and Code coverage. His research integrates issues of Java, Memory safety and Reachability in his study of Snapshot. The study incorporates disciplines such as Program analysis, Formal verification and YAML in addition to Java.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

The software model checker BLAST Applications to software engineering

Dirk Beyer;Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar.
International Journal on Software Tools for Technology Transfer (2007)

820 Citations

CPACHECKER: a tool for configurable software verification

Dirk Beyer;M. Erkan Keremoglu.
computer aided verification (2011)

573 Citations

Generating tests from counterexamples

Dirk Beyer;Adam J. Chlipala;Thomas A. Henzinger;Ranjit Jhala.
international conference on software engineering (2004)

305 Citations

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

Dirk Beyer;Thomas A. Henzinger;Grégory Théoduloz.
computer aided verification (2007)

239 Citations

Path invariants

Dirk Beyer;Thomas A. Henzinger;Rupak Majumdar;Andrey Rybalchenko.
programming language design and implementation (2007)

239 Citations

Web service interfaces

Dirk Beyer;Arindam Chakrabarti;Thomas A. Henzinger.
the web conference (2005)

205 Citations

Strategies for product-line verification: case studies and experiments

Sven Apel;Alexander von Rhein;Philipp Wendler;Armin Groslinger.
international conference on software engineering (2013)

184 Citations

Software model checking via large-block encoding

Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu.
formal methods in computer-aided design (2009)

174 Citations

Symbolic invariant verification for systems with dynamic structural adaptation

Basil Becker;Dirk Beyer;Holger Giese;Florian Klein.
international conference on software engineering (2006)

172 Citations

Clustering software artifacts based on frequent common changes

D. Beyer;A. Noack.
workshop on program comprehension (2005)

167 Citations

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

Contact us

Best Scientists Citing Dirk Beyer

Sven Apel

Sven Apel

Saarland University

Publications: 43

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 40

Gunter Saake

Gunter Saake

Otto-von-Guericke University Magdeburg

Publications: 30

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 29

Holger Giese

Holger Giese

University of Potsdam

Publications: 27

Andrey Rybalchenko

Andrey Rybalchenko

Microsoft (United States)

Publications: 27

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 26

Christian Kästner

Christian Kästner

Carnegie Mellon University

Publications: 25

Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler

Publications: 20

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 19

Patrick Heymans

Patrick Heymans

University of Namur

Publications: 19

Helmut Veith

Helmut Veith

TU Wien

Publications: 19

Marsha Chechik

Marsha Chechik

University of Toronto

Publications: 17

Ina Schaefer

Ina Schaefer

Technische Universität Braunschweig

Publications: 16

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 15

Sumit Gulwani

Sumit Gulwani

Microsoft (United States)

Publications: 14

Something went wrong. Please try again later.