Some publications by Dirk Beyer

Back

Articles in journal or book chapters
  1. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. The Software Model Checker Blast: Applications to Software Engineering.. Int. Journal on Software Tools for Technology Transfer, 9:505525, 2007. Note: Invited to special issue of selected papers from FASE 2005.


Conference articles
  1. Dirk Beyer, Andres Noack, and Claus Lewerentz. Simple and Efficient Relational Querying of Software Structures. In Eleni Stroulia and Arie van Deursen, editors, Proceedings of the 10th Working Conference on Reverse Engineering, pages 216--225, November 2003. IEEE Computer Society Press. [WWW ] Keyword(s): Design Patterns.



This document was translated from BibTEX by bibtex2html