dblp.uni-trier.dewww.uni-trier.de

Gregor Snelting Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
45EEAndreas Lochbihler, Gregor Snelting: On temporal path conditions in dependence graphs. Autom. Softw. Eng. 16(2): 263-290 (2009)
2008
44EEChristian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66
43EEGregor Snelting: Wissenschaftspolitische Herausforderungen für die Informatik. Informatik Spektrum 31(5): 474-478 (2008)
2007
42EEAndreas 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
40EEDaniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362
39EEGregor 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
38EEGregor Snelting: Concept Lattices in Software Analysis. Formal Concept Analysis 2005: 272-287
2004
37EEMirko Streckenbach, Gregor Snelting: Refactoring class hierarchies with KABA. OOPSLA 2004: 315-330
36EEChristian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22
2002
35EEGregor Snelting, Frank Tip: Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584
34EETorsten Robschink, Gregor Snelting: Efficient path conditions in dependence graphs. ICSE 2002: 478-488
2001
33EEGregor 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
31EEGregor Snelting: Software Reengineering Based on Concept Lattices. CSMR 2000: 3-10
30EEGregor Snelting, Frank Tip: Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000)
1999
29EEJens Krinke, Torsten Robschink, Gregor Snelting: Software-Sicherheitsprüfung mit VALSOFT. Inform., Forsch. Entwickl. 14(2): 62-73 (1999)
1998
28EEGregor Snelting: Concept Analysis - A New Framework for Program Understanding. PASTE 1998: 1-10
27EEGregor Snelting, Frank Tip: Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110
26EEGregor Snelting: Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt). Informatik Spektrum 21(5): 273-276 (1998)
25EEJens Krinke, Gregor Snelting: Validation of measurement software as an application of slicing and constraint solving. Information & Software Technology 40(11-12): 661-675 (1998)
24EEGregor Snelting: Paul Feyerabend and Software Technology. STTT 2(1): 1-5 (1998)
1997
23EEChristian Lindig, Gregor Snelting: Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. ICSE 1997: 349-359
22EEAndreas 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
20EEGregor 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
18EEMaren 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)
15EEPaul 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
12EEWolfgang 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
10EEFranz-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
8EERolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. ESOP 1988: 374-375
1987
7EERolf 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
4EERolf 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
3EEGregor 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

Coauthor Index

1Rolf Bahlke [1] [4] [6] [7] [8] [16]
2Bernd Fischer [17]
3Franz-Josef Grosch [10] [14] [17]
4Christian Hammer [36] [44]
5Wolfgang Henhapl [1] [2] [5] [12]
6M. Hunkel [1]
7M. Jäger [1]
8Stefan Kaes [12]
9Matthias Kievernagel [17]
10Paul Klint [15]
11Jens Krinke [25] [29] [39]
12Maren Krone [18]
13Thomas Letschert [1]
14Christian Lindig [23]
15Andreas Lochbihler [42] [45]
16B. Moritz [7]
17Tobias Nipkow [13] [40] [41]
18Thomas W. Reps [15]
19Torsten Robschink [29] [34] [39]
20Rüdiger Schaade [44]
21Ulrik Schroeder [14]
22Mirko Streckenbach [37]
23Frank Tip [27] [30] [35] [40] [41]
24Daniel Wasserrab [40] [41]
25Andreas Zeller [17] [19] [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)