Selection by year, by research interest, with abstracts, ...

Publications of Dirk Beyer with Claus Lewerentz

Articles in journal or book chapters

  1. Dirk Beyer, Andreas Noack, and Claus Lewerentz. Efficient Relational Calculation for Software Analysis. IEEE Transactions on Software Engineering (TSE), 31(2):137-149, 2005. Invited to special issue of selected papers from WCRE 2003. [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer and Claus Lewerentz. CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. In Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC 2003, Portland, OR, May 10-11), pages 294-295, 2003. IEEE Computer Society Press, Los Alamitos (CA). [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  2. Dirk Beyer, Claus Lewerentz, and Andreas Noack. Rabbit: A Tool for BDD-based Verification of Real-Time Systems. In W. A. Hunt and F. Somenzi, editors, Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003, Boulder, CO, July 8-12), LNCS 2725, pages 122-125, 2003. Springer-Verlag, Berlin. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  3. Dirk Beyer, Andreas Noack, and Claus Lewerentz. Simple and Efficient Relational Querying of Software Structures. In Proceedings of the Tenth IEEE Working Conference on Reverse Engineering (WCRE 2003, Victoria, BC, November 13-16), pages 216-225, 2003. IEEE Computer Society Press, Los Alamitos (CA). [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  4. Dirk Beyer, Claus Lewerentz, and Frank Simon. Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems. In R. Dumke and A. Abran, editors, Proceedings of the Tenth International Workshop on Software Measurement (IWSM 2000, Berlin, October 4-6): New Approaches in Software Measurement, LNCS 2006, pages 1-17, 2001. Springer-Verlag, Berlin. [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  5. Dirk Beyer, Claus Lewerentz, and Heinrich Rust. Modelling and Analysing a Railroad Crossing in a Modular Way. In S. Gnesi, I. Schieferdecker, and A. Rennoch, editors, Proceedings of the Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000, Berlin, April 3-4), Berlin, pages 287-303, 2000. [ PDF ] [ PS ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

Internal reports

  1. Dirk Beyer and Claus Lewerentz. CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs. Technical report I-04/2003, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, January 2003. [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Annotation] [bibtex-entry]

  2. Dirk Beyer, Claus Lewerentz, and Frank Simon. Flattening Inheritance Structures -- OR -- Getting the Right Picture of Large OO-Systems. Technical report I-12/2000, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, November 2000. [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [bibtex-entry]

Selection by year, by research interest, with abstracts, ...



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Sat Mar 13 16:05:26 2010
Author: dbeyer.


This document was translated from BibTEX by bibtex2html