Concepedia

Dirk Beyer

DB

Statistics

Publications

81

Citations

4.6K

H-Index

38

Active since

1991

Affiliations

University of Passau(Current)

École Polytechnique Fédérale de Lausanne

Ludwig-Maximilians-Universität München

Hewlett-Packard (United States)

Dirk Beyer is an author at University of Passau specializing in computing, computer science, and formal methods.

Publications per year

1991–2022

81

Publications

81

The software model checker Blast

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala et al. · International Journal on Software Tools for Technology Transfer · 2007 · 594 citations

Computing, Computer Engineering, Computer Science +10

Reliable benchmarking: requirements and solutions

Dirk Beyer, Stefan Löwe, Philipp Wendler · International Journal on Software Tools for Technology Transfer · 2017 · 211 citations · Full text

Computing, Computer Science, Computer Architecture +12

Designing for Disasters

Kimberly Keeton, Cipriano Santos, Dirk Beyer et al. · 2004 · 168 citations

Computing, Information Technology, Systems Engineering +17

Software model checking via large-block encoding

Dirk Beyer, Alessandro Cimatti, Alberto Griggio et al. · 2009 · 147 citations · Full text

Computing, Computer Engineering, Computer Science +16

Web service interfaces

Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger · 2005 · 144 citations

Computing, Computer Science, Information Systems +17

1–5 of 81