Gregor Snelting
Gregor Snelting
Vahvistettu sähköpostiosoite verkkotunnuksessa kit.edu
Nimike
Viittaukset
Viittaukset
Vuosi
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
2941997
Reengineering class hierarchies using concept analysis
G Snelting, F Tip
ACM SIGSOFT Software Engineering Notes 23 (6), 99-110, 1998
2781998
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
2362009
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
2281986
Reengineering of configurations based on mathematical concept analysis
G Snelting
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (2), 146-189, 1996
1951996
On the inference of configuration structures from source code
M Krone, G Snelting
Proceedings of 16th International Conference on Software Engineering, 49-57, 1994
1841994
Invasive computing: An overview
J Teich, J Henkel, A Herkersdorf, D Schmitt-Landsiedel, ...
Multiprocessor System-on-Chip, 241-268, 2011
1592011
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
1492006
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
1331997
Dynamic path conditions in dependence graphs
C Hammer, M Grimme, J Krinke
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
1232006
Software reengineering based on concept lattices
G Snelting
Proceedings of the Fourth European Conference on Software Maintenance and …, 2000
812000
Refactoring class hierarchies with KABA
M Streckenbach, G Snelting
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
802004
Type classes and overloading resolution via order-sorted unification
T Nipkow, G Snelting
Conference on Functional Programming Languages and Computer Architecture, 1-14, 1991
711991
Concept analysis—A new framework for program understanding
G Snelting
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1998
641998
An improved slicer for Java
C Hammer, G Snelting
Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2004
622004
Combining slicing and constraint solving for validation of measurement software
G Snelting
International Static Analysis Symposium, 332-348, 1996
601996
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20