Gregor Snelting
Gregor Snelting
Verified email at kit.edu
Title
Cited by
Cited by
Year
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
2911997
Reengineering class hierarchies using concept analysis
G Snelting, F Tip
ACM SIGSOFT Software Engineering Notes 23 (6), 99-110, 1998
2731998
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
2292009
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
2231986
Reengineering of configurations based on mathematical concept analysis
G Snelting
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (2), 146-189, 1996
1931996
On the inference of configuration structures from source code
M Krone, G Snelting
Proceedings of 16th International Conference on Software Engineering, 49-57, 1994
1791994
Invasive computing: An overview
J Teich, J Henkel, A Herkersdorf, D Schmitt-Landsiedel, ...
Multiprocessor System-on-Chip, 241-268, 2011
1532011
Understanding class hierarchies using concept analysis
G Snelting, F Tip
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (3), 540-582, 2000
1452000
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
1432006
Unified versioning through feature logic
A Zeller, G Snelting
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 398-441, 1997
1311997
Dynamic path conditions in dependence graphs
C Hammer, M Grimme, J Krinke
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
1192006
Software reengineering based on concept lattices
G Snelting
Proceedings of the Fourth European Conference on Software Maintenance and …, 2000
822000
Refactoring class hierarchies with KABA
M Streckenbach, G Snelting
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
782004
Type classes and overloading resolution via order-sorted unification
T Nipkow, G Snelting
Conference on Functional Programming Languages and Computer Architecture, 1-14, 1991
691991
Concept analysis—A new framework for program understanding
G Snelting
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1998
641998
Combining slicing and constraint solving for validation of measurement software
G Snelting
International Static Analysis Symposium, 332-348, 1996
591996
An improved slicer for Java
C Hammer, G Snelting
Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2004
582004
Efficient path conditions in dependence graphs
T Robschink, G Snelting
Proceedings of the 24th International Conference on Software Engineering …, 2002
512002
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
502009
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
472011
The system can't perform the operation now. Try again later.
Articles 1–20