Gregor Snelting

80 papers A* 6A 4B 2C 4Misc 1Journal 30Unranked 29
YearRankTypeTitle / Venue / Authors
2022 J jnl
On Time-sensitive Control Dependencies.
ACM Trans. Program. Lang. Syst.
Martin Hecker, Simon Bischof, Gregor Snelting
2020 Misc conf
Hybrid taint analysis for Java EE.
SAC
Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting
2018 — conf
Illi Isabellistes Se Custodes Egregios Praestabant.
Principled Software Development
Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting
2018 J jnl
Introduction to Milestones in Interactive Theorem Proving.
J. Autom. Reason.
Jeremy Avigad, Jasmin Christian Blanchette, Gerwin Klein, Lawrence C. Paulson, Andrei Popescu, Gregor Snelting
2018 J jnl
Low-deterministic security for low-nondeterministic programs.
J. Comput. Secur.
Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2016 J jnl
Invasive computing for timing-predictable stream processing on MPSoCs.
it Inf. Technol.
Stefan Wildermann, Michael Bader, Lars Bauer, Marvin Damschen, Dirk Gabriel, Michael Gerndt, Michael Glaß, Jörg Henkel, Johny Paul, Alexander Pöppl, Sascha Roloff, Tobias Schwarzer, Gregor Snelting, Walter Stechele, Jürgen Teich, Andreas Weichslgartner, Andreas Zwinkau
2016 — conf
Language and Compilation of Parallel Programs for *-Predictable MPSoC Execution Using Invasive Computing.
MCSoC
Jürgen Teich, Michael Glaß, Sascha Roloff, Wolfgang Schröder-Preikschat, Gregor Snelting, Andreas Weichslgartner, Stefan Wildermann
2016 — conf
On Improvements of Low-Deterministic Security.
POST
Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2016 — conf
Sicherheitsanalyse mit JOANA.
Sicherheit
Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2016 — conf
Tool Demonstration: JOANA.
POST
Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2015 J jnl
A new algorithm for low-deterministic security.
Int. J. Inf. Sec.
Dennis Giffhorn, Gregor Snelting
2015 — conf
Adaptive fault tolerance through invasive computing.
AHS
Michael Witterauf, Alexandru Tanase, Jürgen Teich, Vahid Lari, Andreas Zwinkau, Gregor Snelting
2015 J jnl
Understanding probabilistic software leaks.
Sci. Comput. Program.
Gregor Snelting
2014 A* conf
CAP: Communication Aware Programming.
DAC
Jan Heisswolf, Aurang Zaib, Andreas Zwinkau, Sebastian Kobbe, Andreas Weichslgartner, Jürgen Teich, Jörg Henkel, Gregor Snelting, Andreas Herkersdorf, Jürgen Becker
2014 J jnl
Checking probabilistic noninterference using JOANA.
it Inf. Technol.
Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab
2013 — conf
Invasive computing in HPC with X10.
X10@PLDI
Hans-Joachim Bungartz, Christoph Riesinger, Martin Schreiber, Gregor Snelting, Andreas Zwinkau
2012 — conf
20 Jahre Softwaretechnik an der TU Braunschweig.
40 Jahre Informatik @ Braunschweig
Bernhard Rumpe, Ina Schaefer, Gregor Snelting
2011 — ch.
Invasive Computing: An Overview.
Multiprocessor System-on-Chip
Jürgen Teich, Jörg Henkel, Andreas Herkersdorf, Doris Schmitt-Landsiedel, Wolfgang Schröder-Preikschat, Gregor Snelting
2011 C conf
Resource-aware programming and simulation of MPSoC architectures through extension of X10.
SCOPES
Frank Hannig, Sascha Roloff, Gregor Snelting, Jürgen Teich, Andreas Zwinkau
2011 J jnl
Software Security in Virtualized Infrastructures - The Smart Meter Example.
it Inf. Technol.
Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting
2010 B conf
Gateway Decompositions for Constrained Reachability Problems.
SEA
Bastian Katz, Marcus Krug, Andreas Lochbihler, Ignaz Rutter, Gregor Snelting, Dorothea Wagner
2010 — conf
Information Flow Analysis via Path Condition Refinement.
Formal Aspects in Security and Trust
Mana Taghdiri, Gregor Snelting, Carsten Sinz
2009 J jnl
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs.
Int. J. Inf. Sec.
Christian Hammer, Gregor Snelting
2009 J jnl
Informatik ist Cool?!
it Inf. Technol.
Gregor Snelting
2009 — conf
On PDG-based noninterference and its modular proof.
PLAS
Daniel Wasserrab, Denis Lohner, Gregor Snelting
2009 J jnl
On temporal path conditions in dependence graphs.
Autom. Softw. Eng.
Andreas Lochbihler, Gregor Snelting
2008 J jnl
A Correctness Proof for the Volpano/Smith Security Typing System.
Arch. Formal Proofs
Gregor Snelting, Daniel Wasserrab
2008 — conf
Static path conditions for Java.
PLAS
Christian Hammer, Rüdiger Schaade, Gregor Snelting
2008 J jnl
Wissenschaftspolitische Herausforderungen für die Informatik.
Inform. Spektrum
Gregor Snelting
2007 C conf
C++ ist typsicher? Garantiert!
Software Engineering
Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
2007 — conf
KABA: Automated Refactoring for Improved Cohesion.
WRT
Gregor Snelting, Mirko Streckenbach
2007 C conf
On Temporal Path Conditions in Dependence Graphs.
SCAM
Andreas Lochbihler, Gregor Snelting
2006 A conf
An operational semantics and type safety prooffor multiple inheritance in C++.
OOPSLA
Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
2006 J jnl
Efficient path conditions in dependence graphs for software safety analysis.
ACM Trans. Softw. Eng. Methodol.
Gregor Snelting, Torsten Robschink, Jens Krinke
2006 — conf
Information Flow Control for Java Based on Path Conditions in Dependence Graphs.
ISSSE
Christian Hammer, Jens Krinke, Gregor Snelting
2005 C conf
Concept Lattices in Software Analysis.
Formal Concept Analysis
Gregor Snelting
2005 — conf
Quantifier Elimination and Information Flow Control for Software Security.
Algorithmic Algebra and Logic
Gregor Snelting
2004 — conf
An improved slicer for Java.
PASTE
Christian Hammer, Gregor Snelting
2004 A conf
Refactoring class hierarchies with KABA.
OOPSLA
Mirko Streckenbach, Gregor Snelting
2002 A* conf
Efficient path conditions in dependence graphs.
ICSE
Torsten Robschink, Gregor Snelting
2002 A conf
Semantics-Based Composition of Class Hierarchies.
ECOOP
Gregor Snelting, Frank Tip
2001 J jnl
Feyerabend - zwei Jahre später - zur Diskussion gestellt.
Inform. Spektrum
Gregor Snelting
2001 J jnl
Feyerabend - zwei Jahre später.
Softwaretechnik-Trends
Gregor Snelting
2001 — ed.
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
PASTE
John Field, Gregor Snelting
2000 — ed.
Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000.
GI Jahrestagung
Kurt Mehlhorn, Gregor Snelting
2000 — conf
Software Reengineering Based on Concept Lattices.
CSMR
Gregor Snelting
2000 J jnl
Understanding class hierarchies using concept analysis.
ACM Trans. Program. Lang. Syst.
Gregor Snelting, Frank Tip
1999 J jnl
Software-Sicherheitsprüfung mit VALSOFT.
Inform. Forsch. Entwickl.
Jens Krinke, Torsten Robschink, Gregor Snelting
1998 — conf
Concept Analysis - A New Framework for Program Understanding.
PASTE
Gregor Snelting
1998 J jnl
Paul Feyerabend and Software Technology.
Int. J. Softw. Tools Technol. Transf.
Gregor Snelting
1998 J jnl
Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt).
Inform. Spektrum
Gregor Snelting
1998 J jnl
Program comprehension and software reengineering.
ACM SIGSOFT Softw. Eng. Notes
Hausi A. Müller, Thomas W. Reps, Gregor Snelting
1998 — conf
Reengineering Class Hierarchies Using Concept Analysis.
SIGSOFT FSE
Gregor Snelting, Frank Tip
1998 J jnl
Validation of measurement software as an application of slicing and constraint solving.
Inf. Softw. Technol.
Jens Krinke, Gregor Snelting
1997 A* conf
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis.
ICSE
Christian Lindig, Gregor Snelting
1997 J jnl
Unified Versioning Through Feature Logic.
ACM Trans. Softw. Eng. Methodol.
Andreas Zeller, Gregor Snelting
1996 B conf
Combining Slicing and Constraint Solving for Validation of Measurement Software.
SAS
Gregor Snelting
1996 J jnl
Reengineering of Configurations Based on Mathematical Concept Analysis.
ACM Trans. Softw. Eng. Methodol.
Gregor Snelting
1995 — conf
Handling Version Sets Through Feature Logic.
ESEC
Andreas Zeller, Gregor Snelting
1994 J jnl
Die inferenzbasierte Softwareentwicklungsumgebung NORA.
Inform. Forsch. Entwickl.
Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller
1994 A* conf
On the Inference of Configuration Structures from Source Code.
ICSE
Maren Krone, Gregor Snelting
1993 — conf
Polymorphic components for monomorphic languages.
IWSR
Franz-Josef Grosch, Gregor Snelting
1992 J jnl
Design and Structure of a Semantics-Based Programming Environment.
Int. J. Man Mach. Stud.
Rolf Bahlke, Gregor Snelting
1992 J jnl
Programming environments: report on an international workshop at Dagstuhl Castle.
ACM SIGPLAN Notices
Paul Klint, Thomas W. Reps, Gregor Snelting
1991 — conf
Inference-Based Support for Programming in the Large.
ESEC
Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder
1991 J jnl
The Calculus of Context Relations.
Acta Informatica
Gregor Snelting
1991 — conf
Type Classes and Overloading Resolution via Order-Sorted Unification.
FPCA
Tobias Nipkow, Gregor Snelting
1991 — conf
Utilizing Fifth Generation Technology in Software Development Tools.
Software Development Environments and CASE Technology
Wolfgang Henhapl, Stefan Kaes, Gregor Snelting
1990 J jnl
How to Build LR Parsers Which Accept Incomplete Input.
ACM SIGPLAN Notices
Gregor Snelting
1990 — conf
Inference-Based Overloading Resolution for ADA.
PLILP
Franz-Josef Grosch, Gregor Snelting
1988 A conf
The PSG System: From Formal Language Definitions to Interactive Programming Environments.
ESOP
Rolf Bahlke, Gregor Snelting
1987 A* conf
A generator for language-specific debugging systems.
PLDI
Rolf Bahlke, Bernhard Moritz, Gregor Snelting
1986 — conf
Context-sensitive Editing with PSG Environments.
Advanced Programming Environments
Rolf Bahlke, Gregor Snelting
1986 — —
Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen.
Gregor Snelting
1986 J jnl
The PSG System: From Formal Language Definitions to Interactive Programming Environments.
ACM Trans. Program. Lang. Syst.
Rolf Bahlke, Gregor Snelting
1986 A* conf
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.
POPL
Gregor Snelting, Wolfgang Henhapl
1985 — conf
Experiences with the PSG - Programming System Generator.
TAPSOFT, Vol.2
Gregor Snelting
1985 — conf
The PSG - Programming System Generator.
SLIPE
Rolf Bahlke, Gregor Snelting
1984 — conf
Context Relations - a Concept for Incremental Context Analysis in Program Fragments.
Fachtagung über Programmiersprachen
Wolfgang Henhapl, Gregor Snelting
1984 — conf
Industrieprogramm: PSG.
Programmierumgebungen und Compiler
M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting