TY - RPRT A1 - Beyer, Dirk A1 - Lewerentz, Claus T1 - CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs Y1 - 2003 PB - Inst. of Computer Science CY - Cottbus ER - TY - CHAP A1 - Beyer, Dirk A1 - Lewerentz, Claus A1 - Noack, Andreas ED - Hunt, Warren A. T1 - Rabbit: A Tool for BDD-based Verification of Real-Time Systems T2 - Computer aided verification, 15th international conference, proceedings, CAV 2003, Boulder, CO, USA, July 8 - 12, 2003 N2 - This paper gives a short overview of a model checking tool for real-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable orderings for the BDDs are computed from the modular structure of the model and an estimate of the BDD size. This leads to a significant performance improvement compared to the tool RED and the BDD-based version of Kronos. Y1 - 2003 SN - 3-540-40524-0 SP - 122 EP - 125 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Beyer, Dirk A1 - Noack, Andreas A1 - Lewerentz, Claus T1 - Simple and Efficient Relational Querying of Software Structures T2 - Proceedings, 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, B.C., Canada, 13 - 16 November 2003 N2 - Abstract. Many analyses of software systems can be formalized as relational queries, for example the detection of design patterns, of patterns of problematic design, of code clones, of dead code, and of differences between the as-built and the as-designed architecture. This paper describes the concepts of CrocoPat, a tool for querying and manipulating relations. CrocoPat is easy to use, because of its simple query and manipulation language based on predicate calculus, and its simple file format for relations. CrocoPat is efficient, because it internally represents relations as binary decision diagrams, a data structure that is well-known as a compact representation of large relations in computer-aided verification. CrocoPat is general, because it manipulates not only graphs (i.e. binary relations), but n-ary relations. Y1 - 2003 SN - 0-7695-2027-8 SP - 216 EP - 225 PB - IEEE Computer Society CY - Los Alamitos, Calif. [u.a.] ER - TY - CHAP A1 - Lewerentz, Claus A1 - Noack, Andreas ED - Jünger, Michael ED - Mutzel, Petra T1 - CrocoCosmos - 3D Visualization of Large Object-Oriented Programs T2 - Graph drawing software Y1 - 2003 SN - 3-540-00881-0 SP - 279 EP - 297 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Lewerentz, Claus A1 - Simon, Frank A1 - Steinbrückner, Frank T1 - CrocoCosmos Y1 - 2002 ER - TY - CHAP A1 - Lewerentz, Claus A1 - Simon, Frank A1 - Steinbrückner, Frank A1 - Breitling, H. A1 - Lilienthal, C. A1 - Lippert, M. T1 - External Validation of a Metrics-Based Quality Assessment of the JWAM Framework T2 - Software-Messung und -Bewertung, Tagungsband Workshop der GI-Fachgruppe 2.1.10, 10./11. September 2001 an der Universität Kaiserslautern Y1 - 2001 SN - 3-8244-7592-8 SP - 32 EP - 49 PB - Dt. Univ.-Verl. CY - Wiesbaden ER - TY - CHAP A1 - Noack, Andreas A1 - Lewerentz, Claus T1 - Energy-Based Clustering of Graphs with Nonuniform Degrees Y1 - 2005 ER - TY - CHAP A1 - Noack, Andreas A1 - Lewerentz, Claus T1 - A Space of Layout Styles for Hierarchical Graph Models of Software Systems T2 - Proceedings, SoftVis '05, ACM Symposium on Software Visualization, St. Louis, Missouri, May 14 - 15, 2005 Y1 - 2005 SN - 1-59593-073-6 SP - 155 EP - 213 PB - Association for Computing Machinery CY - New York, NY ER - TY - GEN A1 - Balzer, Michael A1 - Noack, Andreas A1 - Deussen, Oliver A1 - Lewerentz, Claus T1 - Software Landscapes: Visualizing the Structure of Large Software Systems T2 - VisSym 2004, Symposium on Visualization, Konstanz, Germany, May 19- 21, 2004 Y1 - 2004 SP - 261 EP - 266 PB - Eurographics Association CY - Aire-la-Ville ER - TY - JOUR A1 - Beyer, Dirk A1 - Noack, Andreas A1 - Lewerentz, Claus T1 - Efficient Relational Calculation for Software Analysis Y1 - 2005 ER -