Prof. Dr.-Ing. Gregor Snelting
Books
Journal Articles and Book Chapters
- M. Hecker, S. Bischof, G. Snelting: On Time-Sensitive Control Dependencies. ACM Trans. Program. Lang. Syst., March 2022, pp. 1--37
- S. Bischof, J. Breitner, D. Lohner, G. Snelting: Illi Isabellistes Se Custodes Egregios Praestabant. Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday 2018, pp. 267--282
- S. Bischof, J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting: Low-Deterministic Security For Low-Nondeterministic Programs. Journal of Computer Security 2018, pp. 335--366
- J. Breitner, M. Hecker, G. Snelting: Der Grader Praktomat. Automatisierte Bewertung in der Programmierausbildung 2017, pp. 159-172
- S. Wildermann, M. Bader, L. Bauer, M. Damschen, D. Gabriel, M. Gerndt, M. Glaß, J. Henkel, J. Paul, A. Pöppl, S. Roloff, T. Schwarzer, G. Snelting, W. S. a: Invasive Computing for Timing-Predictable Stream Processing on MPSOCS. it -- Information Technology 2016, pp. 267--280
- G. Snelting: Understanding Probabilistic Software Leaks. Science of Computer Programming, January 2015, pp. 122-126
- D. Giffhorn, G. Snelting: A new algorithm for low-deterministic security. International Journal of Information Security 2015, pp. 263-287
- G. Snelting, D. Giffhorn, J. Graf, C. Hammer, M. Hecker, M. Mohr, D. Wasserrab: Checking Probabilistic Noninterference Using JOANA. it - Information Technology, November 2014, pp. 280--287
- 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
Conference Papers
- F. D. Loch, M. Johns, M. Hecker, M. Mohr, G. Snelting: Hybrid Taint Analysis for Java EE. Proceedings of the 35th Annual ACM Symposium on Applied Computing 2020, pp. 1716--1725
- J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting: On Improvements Of Low-Deterministic Security. Principles of Security and Trust - 5th International Conference, POST
2016, Held as Part of the European Joint Conferences on Theory and
Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April
2-8, 2016, Proceedings 2016, pp. 68--88
- J. Graf, M. Hecker, M. Mohr, G. Snelting: Sicherheitsanalyse mit JOANA. Sicherheit 2016: Sicherheit, Schutz und Zuverl{\"A}ssigkeit,
Beitr{\"A}ge der 8. Jahrestagung des Fachbereichs Sicherheit
der Gesellschaft f{\"U}r Informatik e.V. (GI), 5.-7. April
2016, Bonn 2016, pp. 11--22
- J. Graf, M. Hecker, M. Mohr, G. Snelting: Tool Demonstration: JOANA. Principles of Security and Trust - 5th International Conference, POST
2016, Held as Part of the European Joint Conferences on Theory and
Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April
2-8, 2016, Proceedings 2016, pp. 89--93
- J. Graf, M. Hecker, M. Mohr, G. Snelting: Checking Applications using Security APIs with JOANA. , July 2015
- M. Witterauf, A. Tanase, J. Teich, V. Lari, A. Zwinkau, G. Snelting: Adaptive fault tolerance through invasive computing. Adaptive Hardware and Systems (AHS), 2015 NASA/ESA Conference on, June 2015, pp. 1-8
- J. Heisswolf, A. Zaib, A. Zwinkau, S. Kobbe, A. Weichslgartner, J. Teich, J. Henkel, G. Snelting, A. Herkersdorf, J. Becker: CAP: Communication Aware Programming. Design Automation Conference (DAC), 2014 51th ACM / EDAC / IEEE 2014
- H. Bungartz, C. Riesinger, M. Schreiber, G. Snelting, A. Zwinkau: Invasive computing in HPC with X10. Proceedings of the third ACM SIGPLAN X10 Workshop 2013, pp. 12--19
- 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
- G. Snelting: Report on "Software and Mind" by Andrei Sorin. 2019
- G. Snelting: Rezension zu "M. Zollner: Physik der Elektrogitarre"., May 2015, pp. 100
- A. Zwinkau, S. Buchwald, G. Snelting: InvadeX10 Documentation v0.5. Karlsruhe Reports in Informatics 2013
- 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
