D-Index & Metrics Best Publications

Dirk Beyer

Ludwig-Maximilians-Universität München
Germany

D-Index & Metrics 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.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 46 Citations 8,022 173 World Ranking 4425 National Ranking 199

Overview

What is he best known for?

The fields of study Dirk Beyer is best known for:

Formal verification
Programming language
Algorithm

A significant part of his Formal verification research incorporates Functional verification and Runtime verification studies. He integrates several fields in his works, including Runtime verification and Formal verification. Programming language is frequently linked to Static analysis in his study. His Theoretical computer science study frequently draws connections to adjacent fields such as Functional verification. His study ties his expertise on Memory safety together with the subject of Software. His work in Memory safety is not limited to one particular discipline; it also encompasses Software. His study in Theoretical computer science extends to Reachability with its themes. He connects Model checking with Artificial intelligence in his research. He merges Artificial intelligence with Model checking in his research.

His most cited work include:

The software model checker Blast (532 citations)
CPAchecker: A Tool for Configurable Software Verification (338 citations)
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (136 citations)

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

His research on Programming language often connects related topics like Predicate (mathematical logic). Software connects with themes related to Verification in his study. Verification and Software construction are commonly linked in his work. Software construction is frequently linked to Software system in his study. Software system is closely attributed to Software verification in his work. Dirk Beyer integrates Software verification and Software engineering in his studies. He combines Software engineering and Software development in his studies. Dirk Beyer performs integrative study on Software development and Software. Dirk Beyer incorporates Theoretical computer science and Artificial intelligence in his research.

Dirk Beyer most often published in these fields:

Programming language (71.43%)
Software (50.00%)
Theoretical computer science (47.62%)

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 B last : Applications to software engineering

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

839 Citations

CPACHECKER: a tool for configurable software verification

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

637 Citations

Generating tests from counterexamples

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

316 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)

249 Citations

Path invariants

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

248 Citations

Web service interfaces

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

210 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)

197 Citations

Software model checking via large-block encoding

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

189 Citations

Symbolic invariant verification for systems with dynamic structural adaptation

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

175 Citations

Clustering software artifacts based on frequent common changes

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

171 Citations

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

Dirk Beyer

D-Index & Metrics 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.

Overview

What is he best known for?

The fields of study Dirk Beyer is best known for:

His most cited work include:

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

Dirk Beyer most often published in these fields:

Best Publications

Report an issue

Frequent Co-Authors

External Links

Best Scientists Citing Dirk Beyer

Trending Scientists