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 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.
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.
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.
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)
CPACHECKER: a tool for configurable software verification
Dirk Beyer;M. Erkan Keremoglu.
computer aided verification (2011)
Generating tests from counterexamples
Dirk Beyer;Adam J. Chlipala;Thomas A. Henzinger;Ranjit Jhala.
international conference on software engineering (2004)
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)
Dirk Beyer;Thomas A. Henzinger;Rupak Majumdar;Andrey Rybalchenko.
programming language design and implementation (2007)
Web service interfaces
Dirk Beyer;Arindam Chakrabarti;Thomas A. Henzinger.
the web conference (2005)
Strategies for product-line verification: case studies and experiments
Sven Apel;Alexander von Rhein;Philipp Wendler;Armin Groslinger.
international conference on software engineering (2013)
Software model checking via large-block encoding
Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu.
formal methods in computer-aided design (2009)
Symbolic invariant verification for systems with dynamic structural adaptation
Basil Becker;Dirk Beyer;Holger Giese;Florian Klein.
international conference on software engineering (2006)
Clustering software artifacts based on frequent common changes
D. Beyer;A. Noack.
workshop on program comprehension (2005)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: