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 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.
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 B last : 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: