Gregor Snelting

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 13

Top Venues

it Inf. Technol.

POST

SAC

MCSoC

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

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

Gregor Snelting.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gregor Snelting