| Assessing modular structure of legacy code based on mathematical concept analysis C Lindig, G Snelting Proceedings of the 19th international conference on Software engineering …, 1997 | 298 | 1997 |
| Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs C Hammer, G Snelting International Journal of Information Security 8 (6), 399-422, 2009 | 282 | 2009 |
| Reengineering class hierarchies using concept analysis G Snelting, F Tip ACM SIGSOFT Software Engineering Notes 23 (6), 99-110, 1998 | 281 | 1998 |
| The PSG system: From formal language definitions to interactive programming environments R Bahlke, G Snelting ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (4), 547-576, 1986 | 224 | 1986 |
| Reengineering of configurations based on mathematical concept analysis G Snelting ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (2), 146-189, 1996 | 200 | 1996 |
| On the inference of configuration structures from source code M Krone, G Snelting Proceedings of 16th International Conference on Software Engineering, 49-57, 1994 | 194 | 1994 |
| Invasive computing: An overview J Teich, J Henkel, A Herkersdorf, D Schmitt-Landsiedel, ... Multiprocessor System-on-Chip, 241-268, 2011 | 186 | 2011 |
| Efficient path conditions in dependence graphs for software safety analysis G Snelting, T Robschink, J Krinke ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (4), 410-457, 2006 | 164 | 2006 |
| Unified versioning through feature logic A Zeller, G Snelting ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 398-441, 1997 | 141 | 1997 |
| Understanding class hierarchies using concept analysis G Snelting, F Tip ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (3), 540-582, 2000 | 139 | 2000 |
| Dynamic path conditions in dependence graphs C Hammer, M Grimme, J Krinke Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006 | 131 | 2006 |
| Software reengineering based on concept lattices G Snelting Proceedings of the Fourth European Conference on Software Maintenance and …, 2000 | 86 | 2000 |
| Refactoring class hierarchies with KABA M Streckenbach, G Snelting Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 83 | 2004 |
| Type classes and overloading resolution via order-sorted unification T Nipkow, G Snelting Conference on Functional Programming Languages and Computer Architecture, 1-14, 1991 | 77 | 1991 |
| Combining slicing and constraint solving for validation of measurement software G Snelting International Static Analysis Symposium, 332-348, 1996 | 65 | 1996 |
| An improved slicer for Java C Hammer, G Snelting Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2004 | 64 | 2004 |
| Concept analysis—A new framework for program understanding G Snelting Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1998 | 64 | 1998 |
| On PDG-based noninterference and its modular proof D Wasserrab, D Lohner, G Snelting Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009 | 57 | 2009 |
| Efficient path conditions in dependence graphs T Robschink, G Snelting Proceedings of the 24th International Conference on Software Engineering …, 2002 | 55 | 2002 |
| Resource-aware programming and simulation of MPSoC architectures through extension of X10 F Hannig, S Roloff, G Snelting, J Teich, A Zwinkau Proceedings of the 14th International Workshop on Software and Compilers for …, 2011 | 52 | 2011 |
