Prof. Dr.-Ing. Gregor Snelting

Books

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

Journal Articles and Book Chapters

D. Giffhorn, G. Snelting: A New Algorithm for Low-Deterministic Security. 2013
J. Teich, J. Henkel, A. Herkersdorf, D. Schmitt-Landsiedel, W. Schröder-Preikschat, G. Snelting: Invasive Computing: An Overview. Multiprocessor System-on-Chip -- Hardware Design and Tool Integration, 2011, pp. 241--268
B. Beckert, D. Hofheinz, J. Müller-Quade, A. Pretschner, G. Snelting: Software Security in Virtualized Infrastructures - The Smart Meter Example. it - Information Technology, 2011, pp. 142-151
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, D. Wasserrab: A Correctness Proof for the Volpano/Smith Security Typing System. Archive of Formal Proofs, September 2008
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

H. Bungartz, C. Riesinger, M. Schreiber, G. Snelting, A. Zwinkau: Invasive Computing in HPC with X10. X10 Workshop, 2013
F. Hannig, S. Roloff, G. Snelting, J. Teich, A. Zwinkau: Resource-aware programming and simulation of MPSoC architectures through extension of X10. Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, June 2011, pp. 48--55
M. Taghdiri, G. Snelting, C. Sinz: Information Flow Analysis via Path Condition Refinement. International Workshop on Formal Aspects of Security and Trust, September 2010
B. Katz, M. Krug, A. Lochbihler, I. Rutter, G. Snelting, D. Wagner: Gateway Decompositions for Constrained Reachability Problems. Proceedings of the 9th International Symposium on Experimental Algorithms, May 2010, pp. 449--461
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, Languages, and Applications, 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, Languages, and Applications, 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

D. Giffhorn, G. Snelting: Probabilistic Noninterference Based on Program Dependence Graphs. Karlsruhe Reports in Informatics 2012, April 2012
B. Beckert, D. Hofheinz, J. Müller-Quade, A. Pretschner, G. Snelting: Software Security in Virtualized Infrastructures -- The Smart Meter Example. 2010
C. Hammer, G. Snelting: Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs. November 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