Gregor Snelting

According to our database, Gregor Snelting authored at least 76 papers between 1984 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

On Time-sensitive Control Dependencies.

Martin Hecker, Simon Bischof, Gregor Snelting

ACM Trans. Program. Lang. Syst., 2022

2020

Hybrid taint analysis for Java EE.

Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2018

Low-deterministic security for low-nondeterministic programs.

Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

J. Comput. Secur., 2018

Introduction to Milestones in Interactive Theorem Proving.

Jeremy Avigad, Jasmin Christian Blanchette, Gerwin Klein, Lawrence C. Paulson, Andrei Popescu, Gregor Snelting

J. Autom. Reason., 2018

Illi Isabellistes Se Custodes Egregios Praestabant.

Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting

Proceedings of the Principled Software Development, 2018

2016

Invasive computing for timing-predictable stream processing on MPSoCs.

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

it Inf. Technol., 2016

Sicherheitsanalyse mit JOANA.

Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Sicherheit 2016: Sicherheit, 2016

Tool Demonstration: JOANA.

Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

On Improvements of Low-Deterministic Security.

Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Language and Compilation of Parallel Programs for *-Predictable MPSoC Execution Using Invasive Computing.

Jürgen Teich, Michael Glaß, Sascha Roloff, Wolfgang Schröder-Preikschat, Gregor Snelting, Andreas Weichslgartner, Stefan Wildermann

Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

2015

Understanding probabilistic software leaks.

Gregor Snelting

Sci. Comput. Program., 2015

A new algorithm for low-deterministic security.

Dennis Giffhorn, Gregor Snelting

Int. J. Inf. Sec., 2015

Adaptive fault tolerance through invasive computing.

Michael Witterauf, Alexandru Tanase, Jürgen Teich, Vahid Lari, Andreas Zwinkau, Gregor Snelting

Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

2014

Checking probabilistic noninterference using JOANA.

Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab

it Inf. Technol., 2014

CAP: Communication Aware Programming.

Jan Heisswolf, Aurang Zaib, Andreas Zwinkau, Sebastian Kobbe, Andreas Weichslgartner, Jürgen Teich, Jörg Henkel, Gregor Snelting, Andreas Herkersdorf, Jürgen Becker

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Invasive computing in HPC with X10.

Hans-Joachim Bungartz, Christoph Riesinger, Martin Schreiber, Gregor Snelting, Andreas Zwinkau

Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

2012

20 Jahre Softwaretechnik an der TU Braunschweig.

Bernhard Rumpe, Ina Schaefer, Gregor Snelting

Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

2011

Software Security in Virtualized Infrastructures - The Smart Meter Example.

Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting

it Inf. Technol., 2011

Resource-aware programming and simulation of MPSoC architectures through extension of X10.

Frank Hannig, Sascha Roloff, Gregor Snelting, Jürgen Teich, Andreas Zwinkau

Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Invasive Computing: An Overview.

Jürgen Teich, Jörg Henkel, Andreas Herkersdorf, Doris Schmitt-Landsiedel, Wolfgang Schröder-Preikschat, Gregor Snelting

Proceedings of the Multiprocessor System-on-Chip - Hardware Design and Tool Integration., 2011

2010

Gateway Decompositions for Constrained Reachability Problems.

Bastian Katz, Marcus Krug, Andreas Lochbihler, Ignaz Rutter, Gregor Snelting, Dorothea Wagner

Proceedings of the Experimental Algorithms, 9th International Symposium, 2010

Information Flow Analysis via Path Condition Refinement.

Mana Taghdiri, Gregor Snelting, Carsten Sinz

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Informatik ist Cool?!

Gregor Snelting

it Inf. Technol., 2009

Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs.

Christian Hammer, Gregor Snelting

Int. J. Inf. Sec., 2009

On temporal path conditions in dependence graphs.

Andreas Lochbihler, Gregor Snelting

Autom. Softw. Eng., 2009

On PDG-based noninterference and its modular proof.

Daniel Wasserrab, Denis Lohner, Gregor Snelting

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

2008

Wissenschaftspolitische Herausforderungen für die Informatik.

Gregor Snelting

Inform. Spektrum, 2008

A Correctness Proof for the Volpano/Smith Security Typing System.

Gregor Snelting, Daniel Wasserrab

Arch. Formal Proofs, 2008

Static path conditions for Java.

Christian Hammer, Rüdiger Schaade, Gregor Snelting

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

2007

C++ ist typsicher? Garantiert!

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip

Proceedings of the Software Engineering 2007, 2007

KABA: Automated Refactoring for Improved Cohesion.

Gregor Snelting, Mirko Streckenbach

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

Efficient path conditions in dependence graphs for software safety analysis.

Gregor Snelting, Torsten Robschink, Jens Krinke

ACM Trans. Softw. Eng. Methodol., 2006

An operational semantics and type safety prooffor multiple inheritance in C++.

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Information Flow Control for Java Based on Path Conditions in Dependence Graphs.

Christian Hammer, Jens Krinke, Gregor Snelting

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

Concept Lattices in Software Analysis.

Gregor Snelting

Proceedings of the Formal Concept Analysis, 2005

Quantifier Elimination and Information Flow Control for Software Security.

Gregor Snelting

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

An improved slicer for Java.

Christian Hammer, Gregor Snelting

Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

Refactoring class hierarchies with KABA.

Mirko Streckenbach, Gregor Snelting

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2002

Efficient path conditions in dependence graphs.

Torsten Robschink, Gregor Snelting

Proceedings of the 24th International Conference on Software Engineering, 2002

Semantics-Based Composition of Class Hierarchies.

Gregor Snelting, Frank Tip

Proceedings of the ECOOP 2002, 2002

2001

Feyerabend - zwei Jahre später.

Gregor Snelting

Softwaretechnik-Trends, 2001

Feyerabend - zwei Jahre später - zur Diskussion gestellt.

Gregor Snelting

Inform. Spektrum, 2001

2000

Understanding class hierarchies using concept analysis.

Gregor Snelting, Frank Tip

ACM Trans. Program. Lang. Syst., 2000

Software Reengineering Based on Concept Lattices.

Gregor Snelting

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999

Software-Sicherheitsprüfung mit VALSOFT.

Jens Krinke, Torsten Robschink, Gregor Snelting

Inform. Forsch. Entwickl., 1999

1998

Paul Feyerabend and Software Technology.

Gregor Snelting

Int. J. Softw. Tools Technol. Transf., 1998

Program comprehension and software reengineering.

Hausi A. Müller, Thomas W. Reps, Gregor Snelting

ACM SIGSOFT Softw. Eng. Notes, 1998

Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt).

Gregor Snelting

Inform. Spektrum, 1998

Validation of measurement software as an application of slicing and constraint solving.

Jens Krinke, Gregor Snelting

Inf. Softw. Technol., 1998

Reengineering Class Hierarchies Using Concept Analysis.

Gregor Snelting, Frank Tip

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Concept Analysis - A New Framework for Program Understanding.

Gregor Snelting

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

1997

Unified Versioning Through Feature Logic.

Andreas Zeller, Gregor Snelting

ACM Trans. Softw. Eng. Methodol., 1997

Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis.

Christian Lindig, Gregor Snelting

Proceedings of the Pulling Together, 1997

1996

Reengineering of Configurations Based on Mathematical Concept Analysis.

Gregor Snelting

ACM Trans. Softw. Eng. Methodol., 1996

Combining Slicing and Constraint Solving for Validation of Measurement Software.

Gregor Snelting

Proceedings of the Static Analysis, Third International Symposium, 1996

1995

Handling Version Sets Through Feature Logic.

Andreas Zeller, Gregor Snelting

Proceedings of the 5th European Software Engineering Conference, 1995

1994

Die inferenzbasierte Softwareentwicklungsumgebung NORA.

Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller

Inform. Forsch. Entwickl., 1994

On the Inference of Configuration Structures from Source Code.

Maren Krone, Gregor Snelting

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

Polymorphic components for monomorphic languages.

Franz-Josef Grosch, Gregor Snelting

Proceedings of the Proceedings Advances in Software Reuse, 1993

1992

Programming environments: report on an international workshop at Dagstuhl Castle.

Paul Klint, Thomas W. Reps, Gregor Snelting

ACM SIGPLAN Notices, 1992

Design and Structure of a Semantics-Based Programming Environment.

Rolf Bahlke, Gregor Snelting

Int. J. Man Mach. Stud., 1992

1991

The Calculus of Context Relations.

Gregor Snelting

Acta Informatica, 1991

Utilizing Fifth Generation Technology in Software Development Tools.

Wolfgang Henhapl, Stefan Kaes, Gregor Snelting

Proceedings of the Software Development Environments and CASE Technology, 1991

Type Classes and Overloading Resolution via Order-Sorted Unification.

Tobias Nipkow, Gregor Snelting

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Inference-Based Support for Programming in the Large.

Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder

Proceedings of the ESEC '91, 1991

1990

How to Build LR Parsers Which Accept Incomplete Input.

Gregor Snelting

ACM SIGPLAN Notices, 1990

Inference-Based Overloading Resolution for ADA.

Franz-Josef Grosch, Gregor Snelting

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1987

A generator for language-specific debugging systems.

Rolf Bahlke, Bernhard Moritz, Gregor Snelting

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

1986

The PSG System: From Formal Language Definitions to Interactive Programming Environments.

Rolf Bahlke, Gregor Snelting

ACM Trans. Program. Lang. Syst., 1986

Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.

Gregor Snelting, Wolfgang Henhapl

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Context-sensitive Editing with PSG Environments.

Rolf Bahlke, Gregor Snelting

Proceedings of the Advanced Programming Environments, 1986

Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen.

Gregor Snelting

PhD thesis, 1986

1985

The PSG - Programming System Generator.

Rolf Bahlke, Gregor Snelting

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Experiences with the PSG - Programming System Generator.

Gregor Snelting

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Context Relations - a Concept for Incremental Context Analysis in Program Fragments.

Wolfgang Henhapl, Gregor Snelting

Proceedings of the Programmiersprachen und Programmentwicklung, 1984

Industrieprogramm: PSG.

M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting

Proceedings of the Programmierumgebungen und Compiler, 1984