Books

• K. Mehlhorn, G. Snelting: 30. Jahrestagung der Gesellschaft für Informatik. 2000

Journal Articles and Book Chapters

• C. Hammer, G. Snelting: Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs. International Journal of Information Security, December 2009, pp. 399-422
• A. Lochbihler, G. Snelting: On Temporal Path Conditions in Dependence Graphs. Journal of Automated Software Engineering, June 2009, pp. 263-290
• G. Snelting: Informatik ist Cool ?!. IT - Information Technology, May 2009, pp. 175-177
• G. Snelting: Wissenschaftspolitische Herausforderungen für die Informatik. Informatik-Spektrum, October 2008, pp. 474-478
• G. Snelting, T. Robschink, J. Krinke: Efficient Path Conditions in Dependence Graphs for Software Safety Analysis. ACM Transactions on Software Engineering and Methodology, October 2006, pp. 410--457
• G. Snelting: Feyerabend - zwei Jahre später. Informatik-Spektrum, October 2001, pp. 305--308
• G. Snelting, F. Tip: Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems, May 2000, pp. 540--582
• J. Krinke, T. Robschink, G. Snelting: Software-Sicherheitsprüfung mit VALSOFT. Informatik - Forschung und Entwicklung, June 1999, pp. 62--73
• J. Krinke, G. Snelting: Validation of Measurement Software as an Application of Slicing and Constraint Solving. Information and Software Technology, December 1998, pp. 661--675
• G. Snelting: Paul Feyerabend and software technology. International Journal on Software Tools for Technology Transfer, November 1998, pp. 1--5
• G. Snelting: Paul Feyerabend und die Softwaretechnologie. Informatik-Spektrum, October 1998, pp. 273--276
• B. Fischer, J. Schumann, G. Snelting: Deduction-Based Software Component Retrieval. Automated Deduction - A basis for applications, 1998, pp. 265--292
• A. Zeller, G. Snelting: Unified Versioning Through Feature Logic. ACM Transactions on Software Engineering and Methodology, October 1997, pp. 398--441
• G. Snelting: Paul Feyerabend und die Softwaretechnologie. Softwaretechnik-Trends, August 1997, pp. 55-59
• G. Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Transactions on Software Engineering and Methodology, April 1996, pp. 146--189
• M. Goldapp, U. Grottker, G. Snelting: Validierung softwaregesteuerter Meßsysteme durch Program Slicing und Constraint Solving. Statusseminar des BMBF Softwaretechnologie, March 1996, pp. 405--425
• G. Snelting, B. Fischer, M. Kievernagel, F. Grosch, A. Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. Informatik - Forschung und Entwicklung, 1994, pp. 116--131
• P. Klint, T. Reps, G. Snelting: Programming environments: report on an international workshop at Dagstuhl Castle. SIGPLAN Notices, November 1992, pp. 90--96
• B. Fischer, C. Hammer, G. Snelting: {ALADIN}, A Scanner Generator for Incremental Programming Environments. Software - Practice & Experience, 1992, pp. 1011--1025
• G. Snelting: The Calculus of Context Relations. Acta Informatica, May 1991, pp. 411--445
• G. Snelting: How to Build LR Parsers which Accept Incomplete Input. SIGPLAN Notices, 1990, pp. 51-59
• R. Bahlke, G. Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. ACM Transactions on Programming Languages and Systems, 1986, pp. 547-576

Ph.D. theses

• G. Snelting: Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen. 1986

Conference Papers

• D. Wasserrab, D. Lohner, G. Snelting: On PDG-Based Noninterference and its Modular Proof. Proceedings of the 4th Workshop on Programming Languages and Analysis for Security, June 2009, pp. 31--44
• C. Hammer, R. Schaade, G. Snelting: Static Path Conditions for Java. Proceedings of the 3rd Workshop on Programming Languages and Analysis for Security, June 2008, pp. 55-66
• A. Lochbihler, G. Snelting: On Temporal Path Conditions in Dependence Graphs. 7th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM 2007), September 2007, pp. 49--58
• D. Wasserrab, T. Nipkow, G. Snelting, F. Tip: C++ ist typsicher? Garantiert!. Software Engineering 2007, March 2007, pp. 29--31
• D. Wasserrab, T. Nipkow, G. Snelting, F. Tip: An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++. {21th Annual ACM Conference on Object-Oriented Programming, Systems, October 2006, pp. 345--362
• C. Hammer, J. Krinke, G. Snelting: Information Flow Control for Java Based on Path Conditions in Dependence Graphs. IEEE International Symposium on Secure Software Engineering (ISSSE 2006), March 2006, pp. 87--96
• G. Snelting: Quantifier Elimination and Information Flow Control for Software Security. Algorithmic Algebra and Logic, April 2005, pp. 237--242
• M. Streckenbach, G. Snelting: Refactoring Class Hierarchies with KABA. {19th Annual ACM Conference on Object-Oriented Programming, Systems, October 2004
• C. Hammer, G. Snelting: An Improved Slicer for Java. ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, June 2004, pp. 17--22
• G. Snelting: Concept Lattices in Software Analysis. International Conference on Formal Concept Analysis, 2003, pp. 272--287
• G. Snelting, F. Tip: Semantics-Based Composition of Class Hierarchies. 16th European Conference on Object-Oriented Programming (ECOOP 2002), June 2002, pp. 562--584
• T. Robschink, G. Snelting: Efficient Path Conditions in Dependence Graphs. 24th International Conference of Software Engineering (ICSE), May 2002, pp. 19--25
• G. Snelting: Software Reengineering Based on Concept Lattices. 4th European Conference on Software Maintenance and Reengineering, 2000
• M. Streckenbach, G. Snelting: Understanding Class Hierarchies with KABA. 2nd Workshop on Object-Oriented Reengineering, September 1999
• C. Lindig, G. Snelting: Formale Begriffsanalyse im Software Engineering. Begriffliche Wissensverarbeitung: Methoden und Anwendungen, January 1999, pp. 151--175
• G. Snelting, F. Tip: Reengineering Class Hierarchies Using Concept Analysis. 6th ACM SIGSOFT international symposium on Foundations of software engineering, November 1998, pp. 99--110
• G. Snelting: Concept Analysis - A New Framework for Program Understanding. ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), June 1998, pp. 1--10
• J. Krinke, G. Snelting, T. Robschink: Software-Sicherheitsprüfung mit VALSOFT. Softwaretechnik 98, 1998
• C. Lindig, G. Snelting: Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. International Conference on Software Engineering, 1997, pp. 349--359
• B. Fischer, G. Snelting: Reuse by Contract. ESEC/FSE-Workshop on Foundations of Component-Based Systems, 1997, pp. 91--100
• G. Snelting: Combining Slicing and Constraint Solving for Validation of Measurement Software. Static Analysis, September 1996, pp. 332--348
• A. Zeller, G. Snelting: Handling Version Sets through Feature Logic. 5th European Software Engineering Conference, September 1995, pp. 191--204
• B. Fischer, M. Kievernagel, G. Snelting: Deduction-Based Software Component Retrieval. IJCAI-95 Workshop on Formal Approaches to the Reuse of Plans, August 1995, pp. 265--292
• M. Krone, G. Snelting: On the Inference of Configuration Structures from Source Code. 16th International Conference on Software Engineering,, May 1994, pp. 49--57
• G. Snelting, A. Zeller: Inferenzbasierte Werkzeuge in NORA. Softwaretechnik '93, GI Softwaretechnik Trends, August 1993, pp. 25--32
• F. Grosch, G. Snelting: Polymorphic Components for Monomorphic Languages. Second International Workshop on Software Reusability, March 1993, pp. 47--55
• G. Snelting, F. Grosch, U. Schroeder: Inference-Based Support for Programming in the Large. 3rd European Software Engineering Conference, 1991, pp. 396--408
• T. Nipkow, G. Snelting: Type Classes and Overloading Resolution via Order-Sorted Unification. 5th ACM Conference on Functional Programming Languages and Computer Architecture, 1991, pp. 1--14
• W. Henhapl, S. Kaes, G. Snelting: Utilizing fifth generation technology in software development tools. European symposium on Software development environments and CASE technology, 1991, pp. 153--166
• G. Snelting, C. Thies: Programming Tools for the SUPRENUM Supercomputer. Toulouse '90. Third International Workshop. Software Engineering and its Applications Proceedings, December 1990, pp. 951--963 (vol. 2)
• F. Grosch, G. Snelting: Inference-Based Overloading Resolution for ADA. PLILP '90:2nd International Workshop on Programming Language Implementation and Logic Programming, 1990, pp. 30--44
• R. Bahlke, G. Snelting: We Don't Need Structure Editors - We Need Smart Text Editors. Workshop on Structure Editors, Computer-Human Interaction, 1990
• G. Snelting: PSG: A Theory-Based Environment Generator. International Conference on System Development Environments and Factories, 1989, pp. 131-140
• R. Bahlke, G. Snelting, B. Moritz: A Generator for Language-Specific Debugging Systems. ACM SIGPLAN 87 Symposium on Interpreters and Interpretive Techniques, 1987, pp. 92-101
• R. Bahlke, G. Snelting: Context-sensitive editing with PSG environments. An international workshop on Advanced programming environments, 1986, pp. 26--38
• W. Henhapl, G. Snelting: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. 13th ACM Symposium on Principles of Programming Languages, 1986, pp. 229-235
• G. Snelting: Experiences with PSG - Programming System Generator. Proc. Joint Conference on Theory and Practice of Software Development, 1985, pp. 148-162
• R. Bahlke, G. Snelting: The PSG - Programming System Generator. Proc. ACM SIGPLAN Symposium on Language Issues in Programming Environments, 1985, pp. 28--33
• W. Henhapl, G. Snelting: Context Relations - a Concept for Incremental Context Analysis in Program Fragments. 8. GI-Fachtagung Programmiersprachen und Programmentwicklung, , 1984, pp. 128--143

Other Publications

• C. Hammer, G. Snelting: Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs. November 2008
• G. Snelting, D. Wasserrab: A Correctness Proof for the Volpano/Smith Security Typing System. The Archive of Formal Proofs, September 2008
• D. Wasserrab, T. Nipkow, G. Snelting, F. Tip: An Operational Semantics and Type Safety Proof for C++-like Multiple Inheritance. 2005
• G. Snelting: Computational Harmony. 11 Informatikspezifische a-capella-Chorsätze, 2003
• G. Snelting: Feyerabend - zwei Jahre später. Softwaretechnik-Trends, February 2001, pp. 40--43
• M. Streckenbach, G. Snelting: Points-To for Java: A General Framework and an Empirical Comparison. November 2000
• G. Snelting: Neue Technologie für zuverlässige Software. Carolo-Wilhelmina (Mitteilungen der TU Braunschweig) Schwerpunktheft Informatik, 1999, pp. 34-37
• G. Snelting: Software Technology Group: 1998 Department Report. 1999
• H. Müller, T. Reps, G. Snelting: Program Comprehension and Software Reengineering. Dagstuhl Seminar, March 1998
• G. Snelting, U. Grottker, M. Goldapp: VALSOFT Abschlussbericht. Computer Science Report 97-07, December 1997
• M. Goldapp, U. Grottker, G. Snelting: Validierung softwaregesteuerter Messsysteme durch Program Slicing and Contraint Solving. Statusseminar des BMBF Softwaretechnologie, March 1996, pp. 405-425
• P. Funk, A. Lewien, G. Snelting: Algorithms for Concept Lattice Decomposition and their Applications. December 1995
• G. Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Trans. Softw. Eng. Methodol., January 1995, pp. 146--189
• P. Funk, A. Lewien, G. Snelting: Algorithms for Concept Lattice Decomposition and their Applications. Computer Science Report 95-09, 1995
• A. Zeller, G. Snelting: Incremental Configuration Management Based on Feature Unification. Computer Science Report 94-04, 1994
• G. Snelting: Perspektiven der Software Technologie. Carolo-Wilhelmina (Mitteilungen der TU Braunschweig), 1994, pp. 24-36
• G. Snelting: Perspektiven der Softwaretechnologie. Carolo-Wilhelmina-Mitteilungen, Vol. I/1994, 1994
• G. Snelting: 7 Untugenden des Informatik-Studenten. Inforz (Zeitung der Fachschaft Informatik Darmstadt), December 1989