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 | 313 | 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 | 308 | 2009 |
Reengineering class hierarchies using concept analysis G Snelting, F Tip ACM SIGSOFT Software Engineering Notes 23 (6), 99-110, 1998 | 267 | 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 | 233 | 1986 |
Reengineering of configurations based on mathematical concept analysis G Snelting ACM transactions on software engineering and methodology (TOSEM) 5 (2), 146-189, 1996 | 207 | 1996 |
Invasive computing: An overview J Teich, J Henkel, A Herkersdorf, D Schmitt-Landsiedel, ... Multiprocessor system-on-chip: hardware design and tool integration, 241-268, 2011 | 203 | 2011 |
On the inference of configuration structures from source code M Krone, G Snelting Proceedings of 16th International Conference on Software Engineering, 49-57, 1994 | 197 | 1994 |
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 | 171 | 2006 |
Understanding class hierarchies using concept analysis G Snelting, F Tip ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (3), 540-582, 2000 | 161 | 2000 |
Unified versioning through feature logic A Zeller, G Snelting ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 398-441, 1997 | 143 | 1997 |
Dynamic path conditions in dependence graphs C Hammer, M Grimme, J Krinke Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006 | 141 | 2006 |
Software reengineering based on concept lattices G Snelting Proceedings of the Fourth European Conference on Software Maintenance and …, 2000 | 89 | 2000 |
Type classes and overloading resolution via order-sorted unification T Nipkow, G Snelting Functional Programming Languages and Computer Architecture: 5th ACM …, 1991 | 86 | 1991 |
Refactoring class hierarchies with KABA M Streckenbach, G Snelting Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 84 | 2004 |
An improved slicer for Java C Hammer, G Snelting Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2004 | 70 | 2004 |
Concept analysis—A new framework for program understanding G Snelting Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1998 | 67 | 1998 |
Combining slicing and constraint solving for validation of measurement software G Snelting Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996 | 65 | 1996 |
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 | 60 | 2009 |
Deduction-based software component retrieval B Fischer, J Schumann, G Snelting Automated Deduction—A Basis for Applications: Volume III Applications, 265-292, 1998 | 60 | 1998 |
Validation of measurement software as an application of slicing and constraint solving J Krinke, G Snelting Information and Software Technology 40 (11-12), 661-675, 1998 | 57 | 1998 |