Follow
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
3101997
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
3002009
Reengineering class hierarchies using concept analysis
G Snelting, F Tip
ACM SIGSOFT Software Engineering Notes 23 (6), 99-110, 1998
2931998
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
2331986
Reengineering of configurations based on mathematical concept analysis
G Snelting
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (2), 146-189, 1996
2081996
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
2012011
On the inference of configuration structures from source code
M Krone, G Snelting
Proceedings of 16th International Conference on Software Engineering, 49-57, 1994
1951994
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
1722006
Understanding class hierarchies using concept analysis
G Snelting, F Tip
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (3), 540-582, 2000
1442000
Unified versioning through feature logic
A Zeller, G Snelting
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 398-441, 1997
1431997
Dynamic path conditions in dependence graphs
C Hammer, M Grimme, J Krinke
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
1362006
Software reengineering based on concept lattices
G Snelting
Proceedings of the Fourth European Conference on Software Maintenance and …, 2000
872000
Type classes and overloading resolution via order-sorted unification
T Nipkow, G Snelting
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
861991
Refactoring class hierarchies with KABA
M Streckenbach, G Snelting
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
842004
An improved slicer for Java
C Hammer, G Snelting
Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2004
692004
Concept analysis—A new framework for program understanding
G Snelting
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1998
671998
Combining slicing and constraint solving for validation of measurement software
G Snelting
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996
651996
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
602009
An operational semantics and type safety prooffor multiple inheritance in c++
D Wasserrab, T Nipkow, G Snelting, F Tip
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented …, 2006
562006
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
561998
The system can't perform the operation now. Try again later.
Articles 1–20