| 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 | |
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