Technische Berichte / Computer Science Reports
Claus Lewerentz, Frank Steinbrückner
SoftUrbs: Visualizing Software Systems as Urban Structures
BTU Cottbus, Computer Science Reports 02/2009, December 2009
2009[03] UBICO
Andreas Noack
Visual Clustering of Graphs with Nonuniform Degrees
Technical Report I-02/2004, Computer Science Reports, Brandenburg University of Technology at Cottbus, 2004.
2004[03] UBICO
Dirk Beyer, Andreas Noack
CrocoPat 2.1 Introduction and Reference Manual
Report No. UCB//CSD-04-1338, Computer Science Division (EECS), University of California, Berkeley, 2004.
2004[02]
Andreas Noack
Energy Models for Drawing Clustered Small-World Graphs.
Technical Report I-07/2003, Computer Science Reports, Technical University Cottbus, May 2003, ISSN 1437-7969
2003[07] UBICO
Dirk Beyer, Claus Lewerentz
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs
Technical Report I-04/2003, Computer Science Reports, Technical University Cottbus, January 2003, ISSN 1437-7969
Abstract
2003[02] UBICO
Dirk Beyer, Andreas Noack
A Comparative Study of Decision Diagrams for Real-Time Verification
Technical Report I-03/2003, Computer Science Reports, Technical University Cottbus, January 2003, ISSN 1437-7969
Abstract
2003[04] UBICO
Dirk Beyer
Rabbit: Verification of Real-Time Systems
Technical Report 05/01, Computer Science Reports, Brandenburg University of Technology at Cottbus, March 2001, ISSN 1437-7969
2001[03] UBICO
Dirk Beyer
Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata
Technical Report 04/01, Computer Science Reports, Brandenburg University of Technology at Cottbus, Februar 2001, ISSN 1437-7969
2001[01] UBICO
Heinrich Rust, Claus Lewerentz
Feedback in Software Development Processes
Technical Report 14/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, December 2000, ISSN 1437-7969
2000[11]
Dirk Beyer, Andreas Noack
Efficient Verification of Real-Time Systems using BDDs
Technical Report 13/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, December 2000, ISSN 1437-7969
2000[04] UBICO
Dirk Beyer, Claus Lewerentz, Frank Simon
Flattening Inheritance Structures - OR - Getting the Right Picture of Large OO-Systems
Technical Report 12/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, November 2000, ISSN 1437-7969
2000[02]
Frank Simon, Frank Steinbrückner, Claus Lewerentz
3D-Spring Embedder for Complete Graphs
Technical Report 11/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, October 2000, ISSN 1437-7969
2000[16]
Frank Simon, Dirk Beyer
Considering Inheritance, Overriding, Overloading and Polymorphism for Measuring C++ Sources
Technical Report 04/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, May 2000, ISSN 1437-7969
Abstract
2000[12]
Dirk Beyer, Heinrich Rust
A Formalism for Modular Modelling of Hybrid Systems
Computer Science Reports 10/99, Computer Science Department, Brandenburg Technical University at Cottbus, October 1999
1999[03]
Heinrich Rust
Modelling a Production Cell Component as a Hybrid Automaton: A Case Study
Technical Report No. I-06/1999, Computer Science Department, Brandenburg Technical University at Cottbus, February 1999
1999[06]
Dirk Beyer, Heinrich Rust
A Modular Hybrid Modelling Notation
Technical Report No. I-03/1999, Computer Science Department, Brandenburg Technical University at Cottbus, February, 1999
1999[01]
Claus Lewerentz, Heinrich Rust
Are Software Engineers True Engineers?
Technical Report No. I-12/1998, Computer Science Department, Brandenburg Technical University at Cottbus, December 1998
1998[05]
Claus Lewerentz, Frank Simon
Integrating of an object-oriented metrics tool into SNiFF+
Technical Report No. I-22/1997, Computer Science Department, Brandenburg Technical University at Cottbus, 1997
HA 97-018 / 1997[03]
Claus Lewerentz, Heinrich Rust
Zur Bedeutung von Spezifikationen in verschiedenen Teilaufgaben der Entwicklung kundenspezifischer Software
Technischer Bericht Nr. I-21/1997, Institut für Informatik, Brandenburgische Technische Universität Cottbus, 1997
HA 97-017 / 1997[02]