Visits:     Ewald-Haase-Straße 13, Room 103
E-Mail:    an@informatik.tu-cottbus.de
Tel:        + 49  355  69 38 03
Fax:       + 49  355  69 38 10

Teaching

• Informatik II (SS 2007)
• Projektstudium Computergrafik und Softwaretechnik (WS 2006/07)
• Informatik II (SS 2006)
• Informatik II (SS 2005)
• Software-Technik I (WS 2004/05)
• Informatik II (SS 2004)
• Software-Technik II (SS 2004)
• Software-Technik I (WS 2003/04)
• Praktikum Software-Technik I (WS 2003/04)
• Informatik II (SS 2003)
• Seminar Komplexität und Software (WS 2002/03)
• Informatik II (SS 2002)

Research Projects

• Graph Drawing, Graph Clustering. Have a look at the graph gallery, and download the open source tool LinLogLayout for deep insights into the structure of your graphs.
• CrocoCosmos: Graph visualization, graph-based software visualization
• CrocoPat: Calculation with graphs and relations, including graph models of software systems

Publications

Reverse Engineering, Reengineering

[17] Dirk Beyer, Andreas Noack. Clustering Software Artifacts Based on Frequent Common Changes. In Proceedings of the 13th IEEE International Workshop on Program Comprehension (IWPC 2005). © IEEE Computer Society, 2005. (Abstract, PDF, Publisher).

[15] Dirk Beyer, Andreas Noack, Claus Lewerentz. Efficient Relational Calculation for Software Analysis. IEEE Transactions on Software Engineering 31(2):137-149, 2005. (Abstract, PDF, Publisher)

[13] 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. (Abstract, PDF)

[10] Dirk Beyer, Andreas Noack, Claus Lewerentz. Simple and Efficient Relational Querying of Software Structures. In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003), pages 216-225. © IEEE Computer Society, 2003. (Abstract, PDF, Publisher)

Graph Drawing, Software Visualization

[19] Andreas Noack. Energy Models for Graph Clustering. Journal of Graph Algorithms and Applications 11(2):453-480, 2007. (Abstract, PDF, Publisher)

[18] Andreas Noack. Energy-Based Clustering of Graphs with Nonuniform Degrees. In Proceedings of the 13th International Symposium on Graph Drawing (GD 2005), LNCS 3843, pages 309-320. © Springer-Verlag, 2006. (Abstract, PDF, Publisher; see also the journal version [19])

[16] Andreas Noack, Claus Lewerentz. A Space of Layout Styles for Hierarchical Graph Models of Software Systems. In Proceedings of the 2nd ACM Symposium on Software Visualization (SoftVis 2005). © ACM, 2005. (Abstract, PDF, Publisher).

[12] Michael Balzer, Andreas Noack, Oliver Deussen, Claus Lewerentz. Software Landscapes: Visualizing the Structure of Large Software Systems. In Proceedings of the Symposium on Visualization (VisSym 2004), pages 261-266. © Eurographics Association, 2004. (Abstract, PDF, Publisher)

[11] Andreas Noack. An Energy Model for Visual Graph Clustering. In Proceedings of the 11th International Symposium on Graph Drawing (GD 2003), LNCS 2912, pages 425-436. © Springer-Verlag, 2004. (Abstract, PDF, Publisher; see also the journal version [19])

[8] Claus Lewerentz, Andreas Noack. CrocoCosmos - 3D Visualization of Large Object-Oriented Programs. In Michael Jünger, Petra Mutzel (editors): Graph Drawing Software, pages 279-297. © Springer-Verlag, 2003.

BDD-based Verification of Timed Automata

[9] Dirk Beyer, Andreas Noack. Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? In Hartmut König, Monika Heiner, Adam Wolisz (editors): Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), LNCS 2767, pages 193-209. © Springer-Verlag, 2003. (Abstract, PDF, Publisher)

[7] Dirk Beyer, Claus Lewerentz, Andreas Noack. Rabbit: A Tool for BDD-based Verification of Real-Time Systems. In Warren A. Hunt, Jr. and Fabio Somenzi (editors): Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003), LNCS 2725, pages 122-125. © Springer-Verlag, 2003. (Abstract, PDF, Publisher)

[4] Dirk Beyer, Andreas Noack. Efficient Verification of Timed Automata using BDDs. In Stefania Gnesi, Ulrich Ultes-Nitsche (editors): Proceedings of the 6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001), pages 95-113, INRIA, Paris, 2001. (Abstract, PDF)

[1] Dirk Beyer, Andreas Noack. BDD-basierte Verifikation von Realzeit-Systemen. In Jens Grabowski and Stefan Heymer (editors): Tagungsband Formale Beschreibungstechniken für verteilte Systeme (FBT 2000), pages 79-89, Shaker Verlag, Aachen, 2000. (Abstract, PDF)

Theses

[20] Andreas Noack. Unified Quality Measures for Clusterings, Layouts, and Orderings of Graphs, and Their Application as Software Design Criteria. PhD Thesis, Brandenburgische Technische Universität Cottbus, 2007. URN: urn:nbn:de:kobv:co1-opus-4046. (Electronic Publication (includes PDF and Abstract))

[2] Andreas Noack. BDD-basierte Verifikation von Echtzeitsystemen. Diplomarbeit, Brandenburgische Technische Universität Cottbus, October 2000. (PS)

Preprints 

[14] Andreas Noack. Visual Clustering of Graphs with Nonuniform Degrees. Technical Report I-02/2004, Computer Science Reports, Brandenburg University of Technology at Cottbus, 2004. (Please see the conference version [18].)

[6] Andreas Noack. Energy Models for Drawing Clustered Small-World Graphs. Technical Report I-07/2003, Computer Science Reports, Brandenburg University of Technology at Cottbus, 2003. (Abstract, PDF)

[5] 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.

[3] Dirk Beyer, Andreas Noack. Efficient Verification of Real-Time Systems using BDDs. Technical Report I-13/2000, Computer Science Reports, Technical University Cottbus, December 2000.