![[anoack.jpg]](anoack.jpg)
Software Systems Engineering Research Group
Computer Science Department
Brandenburg University of Technology at Cottbus
E-mail: my2initials@informatik.tu-cottbus.de
Phone: +49 (355) 693803
Fax: + 49 (355) 693810
Mail: Postbox 101344, 03013 Cottbus, Germany
Modularity Clustering is Force-Directed Layout (Physical Review E, 2009)
Multi-level Algorithms for Modularity Clustering (arXiv, short version accepted for SEA 2009)
Unified Quality Measures for Clusterings, Layouts, and Orderings of Graphs, and Their Application as Software Design Criteria (PhD Thesis, 2007)
Projektstudium Computergrafik und Softwaretechnik (WS 2006/07)
Software-Technik I (WS 2004/05, WS 2003/04)
Praktikum Software-Technik I (WS 2003/04)
Software-Technik II (SS 2004)
Seminar Komplexität und Software (WS 2002/03)
Graph visualization, graph-based software visualization (tool CrocoCosmos, not publicly available)
Relational programming, graph-based analysis of software systems (download CrocoPat)
Google Scholar
[2] Andreas Noack. BDD-basierte Verifikation von Echtzeitsystemen. Diplomarbeit, Brandenburgische Technische Universität Cottbus, 2000. (PS)
Journal Articles
[19] Andreas Noack. Energy Models for Graph Clustering. Journal of Graph Algorithms and Applications 11(2):453-480, 2007. (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. © IEEE Computer Society, 2005. (Abstract, PDF, Publisher)
[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.
[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).
[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])
[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; see also the journal version [15])
[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, PS)
[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)
[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] and the journal version [19].)
[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; see also the conference version [11] and the journal version [19])
[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, Brandenburg University of Technology at Cottbus, 2003.
[3] Dirk Beyer, Andreas Noack. Efficient Verification of Real-Time Systems using BDDs. Technical Report I-13/2000, Computer Science Reports, Brandenburg University of Technology at Cottbus, 2000.