Gregor Snelting

Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting: Software Security in Virtualized Infrastructures - The Smart Meter Example. it - Information Technology 53(3): 142-151 (2011)

Jürgen Teich, Jörg Henkel, Andreas Herkersdorf, Doris Schmitt-Landsiedel, Wolfgang Schröder-Preikschat, Gregor Snelting: Invasive Computing: An Overview. Multiprocessor System-on-Chip 2011: 241-268

Frank Hannig, Sascha Roloff, Gregor Snelting, Jürgen Teich, Andreas Zwinkau: Resource-aware programming and simulation of MPSoC architectures through extension of X10. SCOPES 2011: 48-55

Mana Taghdiri, Gregor Snelting, Carsten Sinz: Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust 2010: 65-79

Bastian Katz, Marcus Krug, Andreas Lochbihler, Ignaz Rutter, Gregor Snelting, Dorothea Wagner: Gateway Decompositions for Constrained Reachability Problems. SEA 2010: 449-461

Andreas Lochbihler, Gregor Snelting: On temporal path conditions in dependence graphs. Autom. Softw. Eng. 16(2): 263-290 (2009)

Christian Hammer, Gregor Snelting: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. Int. J. Inf. Sec. 8(6): 399-422 (2009)

Gregor Snelting: Informatik ist Cool?! it - Information Technology 51(3): 175 (2009)

Daniel Wasserrab, Denis Lohner, Gregor Snelting: On PDG-based noninterference and its modular proof. PLAS 2009: 31-44

Gregor Snelting, Daniel Wasserrab: A Correctness Proof for the Volpano/Smith Security Typing System. Archive of Formal Proofs 2008 (2008)

Gregor Snelting: Wissenschaftspolitische Herausforderungen für die Informatik. Informatik Spektrum 31(5): 474-478 (2008)

Christian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66

Gregor Snelting, Mirko Streckenbach: KABA: Automated Refactoring for Improved Cohesion. WRT 2007: 1-2

Andreas Lochbihler, Gregor Snelting: On Temporal Path Conditions in Dependence Graphs. SCAM 2007: 49-58

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: C++ ist typsicher? Garantiert! Software Engineering 2007: 29-34

Gregor Snelting, Torsten Robschink, Jens Krinke: Efficient path conditions in dependence graphs for software safety analysis. ACM Trans. Softw. Eng. Methodol. 15(4): 410-457 (2006)

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362

Gregor Snelting: Quantifier Elimination and Information Flow Control for Software Security. Algorithmic Algebra and Logic 2005: 237-242

Gregor Snelting: Concept Lattices in Software Analysis. Formal Concept Analysis 2005: 272-287

Mirko Streckenbach, Gregor Snelting: Refactoring class hierarchies with KABA. OOPSLA 2004: 315-330

Christian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22

Gregor Snelting, Frank Tip: Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584

Torsten Robschink, Gregor Snelting: Efficient path conditions in dependence graphs. ICSE 2002: 478-488

Gregor Snelting: Feyerabend - zwei Jahre später - zur Diskussion gestellt. Informatik Spektrum 24(5): 305-308 (2001)

Gregor Snelting: Feyerabend - zwei Jahre später. Softwaretechnik-Trends 21(1) (2001)

John Field, Gregor Snelting (Eds.): Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001. ACM 2001, isbn 1-58113-413-4

Gregor Snelting, Frank Tip: Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000)

Gregor Snelting: Software Reengineering Based on Concept Lattices. CSMR 2000: 3-10

Jens Krinke, Torsten Robschink, Gregor Snelting: Software-Sicherheitsprüfung mit VALSOFT. Inform., Forsch. Entwickl. 14(2): 62-73 (1999)

Jens Krinke, Gregor Snelting: Validation of measurement software as an application of slicing and constraint solving. Information & Software Technology 40(11-12): 661-675 (1998)

Gregor Snelting: Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt). Informatik Spektrum 21(5): 273-276 (1998)

Gregor Snelting: Paul Feyerabend and Software Technology. STTT 2(1): 1-5 (1998)

Gregor Snelting: Concept Analysis - A New Framework for Program Understanding. PASTE 1998: 1-10

Gregor Snelting, Frank Tip: Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110

Andreas Zeller, Gregor Snelting: Unified Versioning Through Feature Logic. ACM Trans. Softw. Eng. Methodol. 6(4): 398-441 (1997)

Christian Lindig, Gregor Snelting: Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. ICSE 1997: 349-359

Gregor Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Trans. Softw. Eng. Methodol. 5(2): 146-189 (1996)

Gregor Snelting: Combining Slicing and Constraint Solving for Validation of Measurement Software. SAS 1996: 332-348

Andreas Zeller, Gregor Snelting: Handling Version Sets Through Feature Logic. ESEC 1995: 191-204

Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform., Forsch. Entwickl. 9(3): 116-131 (1994)

Maren Krone, Gregor Snelting: On the Inference of Configuration Structures from Source Code. ICSE 1994: 49-57

Rolf Bahlke, Gregor Snelting: Design and Structure of a Semantics-Based Programming Environment. International Journal of Man-Machine Studies 37(4): 467-479 (1992)

Paul Klint, Thomas W. Reps, Gregor Snelting: Programming environments: report on an international workshop at Dagstuhl Castle. SIGPLAN Notices 27(11): 90-96 (1992)

Gregor Snelting: The Calculus of Context Relations. Acta Inf. 28(5): 411-445 (1991)

Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder: Inference-Based Support for Programming in the Large. ESEC 1991: 396-408

Tobias Nipkow, Gregor Snelting: Type Classes and Overloading Resolution via Order-Sorted Unification. FPCA 1991: 1-14

Wolfgang Henhapl, Stefan Kaes, Gregor Snelting: Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology 1991: 153-166

Gregor Snelting: How to Build LR Parsers Which Accept Incomplete Input. SIGPLAN Notices 25(4): 51-58 (1990)

Franz-Josef Grosch, Gregor Snelting: Inference-Based Overloading Resolution for ADA. PLILP 1990: 30-44

Rolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. ESOP 1988: 374-375

Rolf Bahlke, Bernhard Moritz, Gregor Snelting: A generator for language-specific debugging systems. PLDI 1987: 92-101

Gregor Snelting: Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen. TH Darmstadt 1986, pp. I-II, 1-203

Rolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. ACM Trans. Program. Lang. Syst. 8(4): 547-576 (1986)

Rolf Bahlke, Gregor Snelting: Context-sensitive Editing with PSG Environments. Advanced Programming Environments 1986: 26-38

Gregor Snelting, Wolfgang Henhapl: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. POPL 1986: 229-235

Gregor Snelting: Experiences with the PSG - Programming System Generator. TAPSOFT, Vol.2 1985: 148-162

M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting: Industrieprogramm: PSG. Programmierumgebungen und Compiler 1984: 285-291

Wolfgang Henhapl, Gregor Snelting: Context Relations - a Concept for Incremental Context Analysis in Program Fragments. Fachtagung über Programmiersprachen 1984: 128-143