Gregor Snelting

	2011
58		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
57		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
56		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)
	2010
55		Mana Taghdiri, Gregor Snelting, Carsten Sinz: Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust 2010: 65-79
54		Bastian Katz, Marcus Krug, Andreas Lochbihler, Ignaz Rutter, Gregor Snelting, Dorothea Wagner: Gateway Decompositions for Constrained Reachability Problems. SEA 2010: 449-461
	2009
53		Daniel Wasserrab, Denis Lohner, Gregor Snelting: On PDG-based noninterference and its modular proof. PLAS 2009: 31-44
52		Andreas Lochbihler, Gregor Snelting: On temporal path conditions in dependence graphs. Autom. Softw. Eng. 16(2): 263-290 (2009)
51		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)
50		Gregor Snelting: Informatik ist Cool?! it - Information Technology 51(3): 175 (2009)
	2008
49		Christian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66
48		Gregor Snelting, Daniel Wasserrab: A Correctness Proof for the Volpano/Smith Security Typing System. Archive of Formal Proofs 2008: (2008)
47		Gregor Snelting: Wissenschaftspolitische Herausforderungen für die Informatik. Informatik Spektrum 31(5): 474-478 (2008)
	2007
46		Andreas Lochbihler, Gregor Snelting: On Temporal Path Conditions in Dependence Graphs. SCAM 2007: 49-58
45		Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: C++ ist typsicher? Garantiert! Software Engineering 2007: 29-34
44		Gregor Snelting, Mirko Streckenbach: KABA: Automated Refactoring for Improved Cohesion. WRT 2007: 1-2
	2006
43		Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362
42		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
41		Gregor Snelting: Quantifier Elimination and Information Flow Control for Software Security. Algorithmic Algebra and Logic 2005: 237-242
40		Gregor Snelting: Concept Lattices in Software Analysis. Formal Concept Analysis 2005: 272-287
	2004
39		Mirko Streckenbach, Gregor Snelting: Refactoring class hierarchies with KABA. OOPSLA 2004: 315-330
38		Christian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22
	2002
37		Gregor Snelting, Frank Tip: Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584
36		Torsten Robschink, Gregor Snelting: Efficient path conditions in dependence graphs. ICSE 2002: 478-488
	2001
35		John Field, Gregor Snelting: 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
34		Gregor Snelting: Feyerabend - zwei Jahre später - zur Diskussion gestellt. Informatik Spektrum 24(5): 305-308 (2001)
33		Gregor Snelting: Feyerabend - zwei Jahre später. Softwaretechnik-Trends 21(1): (2001)
	2000
32		Gregor Snelting: Software Reengineering Based on Concept Lattices. CSMR 2000: 3-10
31		Gregor Snelting, Frank Tip: Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000)
	1999
30		Jens Krinke, Torsten Robschink, Gregor Snelting: Software-Sicherheitsprüfung mit VALSOFT. Inform., Forsch. Entwickl. 14(2): 62-73 (1999)
	1998
29		Gregor Snelting: Concept Analysis - A New Framework for Program Understanding. PASTE 1998: 1-10
28		Gregor Snelting, Frank Tip: Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110
27		Gregor Snelting: Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt). Informatik Spektrum 21(5): 273-276 (1998)
26		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)
25		Gregor Snelting: Paul Feyerabend and Software Technology. STTT 2(1): 1-5 (1998)
	1997
24		Christian Lindig, Gregor Snelting: Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. ICSE 1997: 349-359
23		Andreas Zeller, Gregor Snelting: Unified Versioning Through Feature Logic. ACM Trans. Softw. Eng. Methodol. 6(4): 398-441 (1997)
	1996
22		Gregor Snelting: Combining Slicing and Constraint Solving for Validation of Measurement Software. SAS 1996: 332-348
21		Gregor Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Trans. Softw. Eng. Methodol. 5(2): 146-189 (1996)
	1995
20		Andreas Zeller, Gregor Snelting: Handling Version Sets Through Feature Logic. ESEC 1995: 191-204
	1994
19		Maren Krone, Gregor Snelting: On the Inference of Configuration Structures from Source Code. ICSE 1994: 49-57
18		Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform., Forsch. Entwickl. 9(3): 116-131 (1994)
	1992
17		Rolf Bahlke, Gregor Snelting: Design and Structure of a Semantics-Based Programming Environment. International Journal of Man-Machine Studies 37(4): 467-479 (1992)
16		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
15		Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder: Inference-Based Support for Programming in the Large. ESEC 1991: 396-408
14		Tobias Nipkow, Gregor Snelting: Type Classes and Overloading Resolution via Order-Sorted Unification. FPCA 1991: 1-14
13		Wolfgang Henhapl, Stefan Kaes, Gregor Snelting: Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology 1991: 153-166
12		Gregor Snelting: The Calculus of Context Relations. Acta Inf. 28(5): 411-445 (1991)
	1990
11		Franz-Josef Grosch, Gregor Snelting: Inference-Based Overloading Resolution for ADA. PLILP 1990: 30-44
10		Gregor Snelting: How to Build LR Parsers Which Accept Incomplete Input. SIGPLAN Notices 25(4): 51-58 (1990)
	1988
9		Rolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. ESOP 1988: 374-375
	1987
8		Rolf Bahlke, Bernhard Moritz, Gregor Snelting: A generator for language-specific debugging systems. PLDI 1987: 92-101
	1986
7		Rolf Bahlke, Gregor Snelting: Context-sensitive Editing with PSG Environments. Advanced Programming Environments 1986: 26-38
6		Gregor Snelting, Wolfgang Henhapl: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. POPL 1986: 229-235
5		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)
4		Gregor Snelting: Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen. TH Darmstadt 1986: I-II, 1-203
	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

Coauthor Index

1	Rolf Bahlke	[1] [5] [7] [8] [9] [17]
2	Bernhard Beckert	[56]
3	John Field	[35]
4	Bernd Fischer	[18]
5	Franz-Josef Grosch	[11] [15] [18]
6	Christian Hammer	[38] [49] [51]
7	Frank Hannig	[58]
8	Wolfgang Henhapl	[1] [2] [6] [13]
9	Jörg Henkel	[57]
10	Andreas Herkersdorf	[57]
11	Dennis Hofheinz	[56]
12	M. Hunkel	[1]
13	M. Jäger	[1]
14	Stefan Kaes	[13]
15	Bastian Katz	[54]
16	Matthias Kievernagel	[18]
17	Paul Klint	[16]
18	Jens Krinke	[26] [30] [42]
19	Maren Krone	[19]
20	Marcus Krug	[54]
21	Thomas Letschert	[1]
22	Christian Lindig	[24]
23	Andreas Lochbihler	[46] [52] [54]
24	Denis Lohner	[53]
25	Bernhard Moritz	[8]
26	Jörn Müller-Quade	[56]
27	Tobias Nipkow	[14] [43] [45]
28	Alexander Pretschner	[56]
29	Thomas W. Reps	[16]
30	Torsten Robschink	[30] [36] [42]
31	Sascha Roloff	[58]
32	Ignaz Rutter	[54]
33	Rüdiger Schaade	[49]
34	Doris Schmitt-Landsiedel	[57]
35	Wolfgang Schröder-Preikschat	[57]
36	Ulrik Schroeder	[15]
37	Carsten Sinz	[55]
38	Mirko Streckenbach	[39] [44]
39	Mana Taghdiri	[55]
40	Jürgen Teich	[57] [58]
41	Frank Tip	[28] [31] [37] [43] [45]
42	Dorothea Wagner	[54]
43	Daniel Wasserrab	[43] [45] [48] [53]
44	Andreas Zeller	[18] [20] [23]
45	Andreas Zwinkau	[58]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page