Gregor Snelting

According to our database1, Gregor Snelting
  • authored at least 73 papers between 1984 and 2018.
  • has a "Dijkstra number"2 of three.



In proceedings 
PhD thesis 





Low-deterministic security for low-nondeterministic programs.
Journal of Computer Security, 2018

Introduction to Milestones in Interactive Theorem Proving.
J. Autom. Reasoning, 2018

Invasive computing for timing-predictable stream processing on MPSoCs.
it - Information Technology, 2016

Sicherheitsanalyse mit JOANA.
Proceedings of the Sicherheit 2016: Sicherheit, 2016

Tool Demonstration: JOANA.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

On Improvements of Low-Deterministic Security.
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.
Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

Understanding probabilistic software leaks.
Sci. Comput. Program., 2015

A new algorithm for low-deterministic security.
Int. J. Inf. Sec., 2015

Adaptive fault tolerance through invasive computing.
Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

Checking probabilistic noninterference using JOANA.
it - Information Technology, 2014

CAP: Communication Aware Programming.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Invasive computing in HPC with X10.
Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

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

Software Security in Virtualized Infrastructures - The Smart Meter Example.
it - Information Technology, 2011

Resource-aware programming and simulation of MPSoC architectures through extension of X10.
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Invasive Computing: An Overview.
Proceedings of the Multiprocessor System-on-Chip - Hardware Design and Tool Integration., 2011

Gateway Decompositions for Constrained Reachability Problems.
Proceedings of the Experimental Algorithms, 9th International Symposium, 2010

Information Flow Analysis via Path Condition Refinement.
Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

Informatik ist Cool?!
it - Information Technology, 2009

Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs.
Int. J. Inf. Sec., 2009

On temporal path conditions in dependence graphs.
Autom. Softw. Eng., 2009

On PDG-based noninterference and its modular proof.
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Wissenschaftspolitische Herausforderungen für die Informatik.
Informatik Spektrum, 2008

A Correctness Proof for the Volpano/Smith Security Typing System.
Archive of Formal Proofs, 2008

Static path conditions for Java.
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

C++ ist typsicher? Garantiert!
Proceedings of the Software Engineering 2007, 2007

On Temporal Path Conditions in Dependence Graphs.
Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

KABA: Automated Refactoring for Improved Cohesion.
Proceedings of the 1st Workshop on Refactoring Tools, 2007

Efficient path conditions in dependence graphs for software safety analysis.
ACM Trans. Softw. Eng. Methodol., 2006

An operational semantics and type safety prooffor multiple inheritance in C++.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Concept Lattices in Software Analysis.
Proceedings of the Formal Concept Analysis, 2005

Quantifier Elimination and Information Flow Control for Software Security.
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

An improved slicer for Java.
Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

Refactoring class hierarchies with KABA.
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Efficient path conditions in dependence graphs.
Proceedings of the 24th International Conference on Software Engineering, 2002

Semantics-Based Composition of Class Hierarchies.
Proceedings of the ECOOP 2002, 2002

Feyerabend - zwei Jahre später.
Softwaretechnik-Trends, 2001

Feyerabend - zwei Jahre später - zur Diskussion gestellt.
Informatik Spektrum, 2001

Understanding class hierarchies using concept analysis.
ACM Trans. Program. Lang. Syst., 2000

Software Reengineering Based on Concept Lattices.
Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

Software-Sicherheitsprüfung mit VALSOFT.
Inform., Forsch. Entwickl., 1999

Paul Feyerabend and Software Technology.
STTT, 1998

Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt).
Informatik Spektrum, 1998

Validation of measurement software as an application of slicing and constraint solving.
Information & Software Technology, 1998

Reengineering Class Hierarchies Using Concept Analysis.
Proceedings of the SIGSOFT '98, 1998

Concept Analysis - A New Framework for Program Understanding.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Unified Versioning Through Feature Logic.
ACM Trans. Softw. Eng. Methodol., 1997

Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis.
Proceedings of the Pulling Together, 1997

Reengineering of Configurations Based on Mathematical Concept Analysis.
ACM Trans. Softw. Eng. Methodol., 1996

Combining Slicing and Constraint Solving for Validation of Measurement Software.
Proceedings of the Static Analysis, Third International Symposium, 1996

Handling Version Sets Through Feature Logic.
Proceedings of the 5th European Software Engineering Conference, 1995

Die inferenzbasierte Softwareentwicklungsumgebung NORA.
Inform., Forsch. Entwickl., 1994

On the Inference of Configuration Structures from Source Code.
Proceedings of the 16th International Conference on Software Engineering, 1994

Polymorphic components for monomorphic languages.
Proceedings of the Proceedings Advances in Software Reuse, 1993

Programming environments: report on an international workshop at Dagstuhl Castle.
SIGPLAN Notices, 1992

Design and Structure of a Semantics-Based Programming Environment.
International Journal of Man-Machine Studies, 1992

The Calculus of Context Relations.
Acta Inf., 1991

Utilizing Fifth Generation Technology in Software Development Tools.
Proceedings of the Software Development Environments and CASE Technology, 1991

Type Classes and Overloading Resolution via Order-Sorted Unification.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Inference-Based Support for Programming in the Large.
Proceedings of the ESEC '91, 1991

How to Build LR Parsers Which Accept Incomplete Input.
SIGPLAN Notices, 1990

Inference-Based Overloading Resolution for ADA.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

The PSG System: From Formal Language Definitions to Interactive Programming Environments.
Proceedings of the ESOP '88, 1988

A generator for language-specific debugging systems.
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

The PSG System: From Formal Language Definitions to Interactive Programming Environments.
ACM Trans. Program. Lang. Syst., 1986

Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Context-sensitive Editing with PSG Environments.
Proceedings of the Advanced Programming Environments, 1986

Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen.
PhD thesis, 1986

The PSG - Programming System Generator.
SIGPLAN Notices, 1985

Experiences with the PSG - Programming System Generator.
Proceedings of the Mathematical Foundations of Software Development, 1985

Context Relations - a Concept for Incremental Context Analysis in Program Fragments.
Proceedings of the Programmiersprachen und Programmentwicklung, 1984

Industrieprogramm: PSG.
Proceedings of the Programmierumgebungen und Compiler, 1984