| 2008 |
|---|
| 44 | EE | Christian Hammer,
Rüdiger Schaade,
Gregor Snelting:
Static path conditions for Java.
PLAS 2008: 57-66 |
| 43 | EE | Gregor Snelting:
Wissenschaftspolitische Herausforderungen für die Informatik.
Informatik Spektrum 31(5): 474-478 (2008) |
| 2007 |
|---|
| 42 | EE | Andreas Lochbihler,
Gregor Snelting:
On Temporal Path Conditions in Dependence Graphs.
SCAM 2007: 49-58 |
| 41 | | Daniel Wasserrab,
Tobias Nipkow,
Gregor Snelting,
Frank Tip:
C++ ist typsicher? Garantiert!
Software Engineering 2007: 29-34 |
| 2006 |
|---|
| 40 | EE | Daniel Wasserrab,
Tobias Nipkow,
Gregor Snelting,
Frank Tip:
An operational semantics and type safety prooffor multiple inheritance in C++.
OOPSLA 2006: 345-362 |
| 39 | EE | 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) |
| 2005 |
|---|
| 38 | EE | Gregor Snelting:
Concept Lattices in Software Analysis.
Formal Concept Analysis 2005: 272-287 |
| 2004 |
|---|
| 37 | EE | Mirko Streckenbach,
Gregor Snelting:
Refactoring class hierarchies with KABA.
OOPSLA 2004: 315-330 |
| 36 | EE | Christian Hammer,
Gregor Snelting:
An improved slicer for Java.
PASTE 2004: 17-22 |
| 2002 |
|---|
| 35 | EE | Gregor Snelting,
Frank Tip:
Semantics-Based Composition of Class Hierarchies.
ECOOP 2002: 562-584 |
| 34 | EE | Torsten Robschink,
Gregor Snelting:
Efficient path conditions in dependence graphs.
ICSE 2002: 478-488 |
| 2001 |
|---|
| 33 | EE | Gregor Snelting:
Feyerabend - zwei Jahre später - zur Diskussion gestellt.
Informatik Spektrum 24(5): 305-308 (2001) |
| 32 | | Gregor Snelting:
Feyerabend - zwei Jahre später.
Softwaretechnik- Trends 21(1): (2001) |
| 2000 |
|---|
| 31 | EE | Gregor Snelting:
Software Reengineering Based on Concept Lattices.
CSMR 2000: 3-10 |
| 30 | EE | Gregor Snelting,
Frank Tip:
Understanding class hierarchies using concept analysis.
ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000) |
| 1999 |
|---|
| 29 | EE | Jens Krinke,
Torsten Robschink,
Gregor Snelting:
Software-Sicherheitsprüfung mit VALSOFT.
Inform., Forsch. Entwickl. 14(2): 62-73 (1999) |
| 1998 |
|---|
| 28 | EE | Gregor Snelting:
Concept Analysis - A New Framework for Program Understanding.
PASTE 1998: 1-10 |
| 27 | EE | Gregor Snelting,
Frank Tip:
Reengineering Class Hierarchies Using Concept Analysis.
SIGSOFT FSE 1998: 99-110 |
| 26 | EE | Gregor Snelting:
Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt).
Informatik Spektrum 21(5): 273-276 (1998) |
| 25 | EE | 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) |
| 24 | EE | Gregor Snelting:
Paul Feyerabend and Software Technology.
STTT 2(1): 1-5 (1998) |
| 1997 |
|---|
| 23 | EE | Christian Lindig,
Gregor Snelting:
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis.
ICSE 1997: 349-359 |
| 22 | EE | Andreas Zeller,
Gregor Snelting:
Unified Versioning Through Feature Logic.
ACM Trans. Softw. Eng. Methodol. 6(4): 398-441 (1997) |
| 1996 |
|---|
| 21 | | Gregor Snelting:
Combining Slicing and Constraint Solving for Validation of Measurement Software.
SAS 1996: 332-348 |
| 20 | EE | Gregor Snelting:
Reengineering of Configurations Based on Mathematical Concept Analysis.
ACM Trans. Softw. Eng. Methodol. 5(2): 146-189 (1996) |
| 1995 |
|---|
| 19 | | Andreas Zeller,
Gregor Snelting:
Handling Version Sets Through Feature Logic.
ESEC 1995: 191-204 |
| 1994 |
|---|
| 18 | EE | Maren Krone,
Gregor Snelting:
On the Inference of Configuration Structures from Source Code.
ICSE 1994: 49-57 |
| 17 | | Gregor Snelting,
Bernd Fischer,
Franz-Josef Grosch,
Matthias Kievernagel,
Andreas Zeller:
Die inferenzbasierte Softwareentwicklungsumgebung NORA.
Inform., Forsch. Entwickl. 9(3): 116-131 (1994) |
| 1992 |
|---|
| 16 | | Rolf Bahlke,
Gregor Snelting:
Design and Structure of a Semantics-Based Programming Environment.
International Journal of Man-Machine Studies 37(4): 467-479 (1992) |
| 15 | EE | Paul Klint,
Thomas W. Reps,
Gregor Snelting:
Programming environments: report on an international workshop at Dagstuhl Castle.
SIGPLAN Notices 27(11): 90-96 (1992) |
| 1991 |
|---|
| 14 | | Gregor Snelting,
Franz-Josef Grosch,
Ulrik Schroeder:
Inference-Based Support for Programming in the Large.
ESEC 1991: 396-408 |
| 13 | | Tobias Nipkow,
Gregor Snelting:
Type Classes and Overloading Resolution via Order-Sorted Unification.
FPCA 1991: 1-14 |
| 12 | | Wolfgang Henhapl,
Stefan Kaes,
Gregor Snelting:
Utilizing Fifth Generation Technology in Software Development Tools.
Software Development Environments and CASE Technology 1991: 153-166 |
| 11 | | Gregor Snelting:
The Calculus of Context Relations.
Acta Inf. 28(5): 411-445 (1991) |
| 1990 |
|---|
| 10 | | Franz-Josef Grosch,
Gregor Snelting:
Inference-Based Overloading Resolution for ADA.
PLILP 1990: 30-44 |
| 9 | | Gregor Snelting:
How to Build LR Parsers Which Accept Incomplete Input.
SIGPLAN Notices 25(4): 51-58 (1990) |
| 1988 |
|---|
| 8 | | Rolf Bahlke,
Gregor Snelting:
The PSG System: From Formal Language Definitions to Interactive Programming Environments.
ESOP 1988: 374-375 |
| 1987 |
|---|
| 7 | EE | Rolf Bahlke,
B. Moritz,
Gregor Snelting:
A generator for language-specific debugging systems.
PLDI 1987: 92-101 |
| 1986 |
|---|
| 6 | | Rolf Bahlke,
Gregor Snelting:
Context-sensitive Editing with PSG Environments.
Advanced Programming Environments 1986: 26-38 |
| 5 | | Gregor Snelting,
Wolfgang Henhapl:
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.
POPL 1986: 229-235 |
| 4 | EE | 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) |
| 1985 |
|---|
| 3 | | Gregor Snelting:
Experiences with the PSG - Programming System Generator.
TAPSOFT, Vol.2 1985: 148-162 |
| 1984 |
|---|
| 2 | | Wolfgang Henhapl,
Gregor Snelting:
Context Relations - a Concept for Incremental Context Analysis in Program Fragments.
Fachtagung über Programmiersprachen 1984: 128-143 |
| 1 | | M. Jäger,
Rolf Bahlke,
Wolfgang Henhapl,
M. Hunkel,
Thomas Letschert,
Gregor Snelting:
Industrieprogramm: PSG.
Programmierumgebungen und Compiler 1984: 285-291 |
