![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Gregor Snelting
Person information
- affiliation: Karlsruhe Institute of Technology, Germany
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j30]Martin Hecker, Simon Bischof, Gregor Snelting:
On Time-sensitive Control Dependencies. ACM Trans. Program. Lang. Syst. 44(1): 2:1-2:37 (2022) - 2020
- [c46]Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting:
Hybrid taint analysis for Java EE. SAC 2020: 1716-1725
2010 – 2019
- 2018
- [j29]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): 1-8 (2018) - [j28]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): 335-366 (2018) - [c45]Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting:
Illi Isabellistes Se Custodes Egregios Praestabant. Principled Software Development 2018: 267-282 - 2016
- [j27]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): 267-280 (2016) - [c44]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: 313-320 - [c43]Joachim Breitner
, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting:
On Improvements of Low-Deterministic Security. POST 2016: 68-88 - [c42]Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting:
Tool Demonstration: JOANA. POST 2016: 89-93 - [c41]Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting:
Sicherheitsanalyse mit JOANA. Sicherheit 2016: 11-22 - 2015
- [j26]Dennis Giffhorn, Gregor Snelting:
A new algorithm for low-deterministic security. Int. J. Inf. Sec. 14(3): 263-287 (2015) - [j25]Gregor Snelting:
Understanding probabilistic software leaks. Sci. Comput. Program. 97: 122-126 (2015) - [c40]Michael Witterauf, Alexandru Tanase, Jürgen Teich, Vahid Lari, Andreas Zwinkau, Gregor Snelting:
Adaptive fault tolerance through invasive computing. AHS 2015: 1-8 - 2014
- [j24]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): 280-287 (2014) - [c39]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: 105:1-105:6 - 2013
- [c38]Hans-Joachim Bungartz, Christoph Riesinger, Martin Schreiber, Gregor Snelting, Andreas Zwinkau:
Invasive computing in HPC with X10. X10@PLDI 2013: 12-19 - 2012
- [c37]Bernhard Rumpe, Ina Schaefer, Gregor Snelting:
20 Jahre Softwaretechnik an der TU Braunschweig. 40 Jahre Informatik @ Braunschweig 2012: 140-147 - 2011
- [j23]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): 142-151 (2011) - [c36]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 - [p1]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 - 2010
- [c35]Mana Taghdiri, Gregor Snelting, Carsten Sinz:
Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust 2010: 65-79 - [c34]Bastian Katz, Marcus Krug, Andreas Lochbihler
, Ignaz Rutter
, Gregor Snelting, Dorothea Wagner:
Gateway Decompositions for Constrained Reachability Problems. SEA 2010: 449-461
2000 – 2009
- 2009
- [j22]Andreas Lochbihler
, Gregor Snelting:
On temporal path conditions in dependence graphs. Autom. Softw. Eng. 16(2): 263-290 (2009) - [j21]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) - [j20]Gregor Snelting:
Informatik ist Cool?! it Inf. Technol. 51(3): 175 (2009) - [c33]Daniel Wasserrab, Denis Lohner, Gregor Snelting:
On PDG-based noninterference and its modular proof. PLAS 2009: 31-44 - 2008
- [j19]Gregor Snelting, Daniel Wasserrab:
A Correctness Proof for the Volpano/Smith Security Typing System. Arch. Formal Proofs 2008 (2008) - [j18]Gregor Snelting:
Wissenschaftspolitische Herausforderungen für die Informatik. Inform. Spektrum 31(5): 474-478 (2008) - [c32]Christian Hammer
, Rüdiger Schaade, Gregor Snelting:
Static path conditions for Java. PLAS 2008: 57-66 - 2007
- [c31]Gregor Snelting, Mirko Streckenbach:
KABA: Automated Refactoring for Improved Cohesion. WRT 2007: 1-2 - [c30]Andreas Lochbihler
, Gregor Snelting:
On Temporal Path Conditions in Dependence Graphs. SCAM 2007: 49-58 - [c29]Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip:
C++ ist typsicher? Garantiert! Software Engineering 2007: 29-31 - 2006
- [j17]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) - [c28]Christian Hammer, Jens Krinke, Gregor Snelting:
Information Flow Control for Java Based on Path Conditions in Dependence Graphs. ISSSE 2006 - [c27]Daniel Wasserrab, Tobias Nipkow
, Gregor Snelting, Frank Tip:
An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362 - 2005
- [c26]Gregor Snelting:
Quantifier Elimination and Information Flow Control for Software Security. Algorithmic Algebra and Logic 2005: 237-242 - [c25]Gregor Snelting:
Concept Lattices in Software Analysis. Formal Concept Analysis 2005: 272-287 - 2004
- [c24]Mirko Streckenbach, Gregor Snelting:
Refactoring class hierarchies with KABA. OOPSLA 2004: 315-330 - [c23]Christian Hammer
, Gregor Snelting:
An improved slicer for Java. PASTE 2004: 17-22 - 2002
- [c22]Gregor Snelting, Frank Tip:
Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584 - [c21]Torsten Robschink, Gregor Snelting:
Efficient path conditions in dependence graphs. ICSE 2002: 478-488 - 2001
- [j16]Gregor Snelting:
Feyerabend - zwei Jahre später - zur Diskussion gestellt. Inform. Spektrum 24(5): 305-308 (2001) - [j15]Gregor Snelting:
Feyerabend - zwei Jahre später. Softwaretechnik-Trends 21(1) (2001) - [e2]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, ISBN 1-58113-413-4 [contents] - 2000
- [j14]Gregor Snelting, Frank Tip:
Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000) - [c20]Gregor Snelting:
Software Reengineering Based on Concept Lattices. CSMR 2000: 3-10 - [e1]Kurt Mehlhorn, Gregor Snelting:
Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000. Informatik aktuell, Springer 2000, ISBN 978-3-540-67880-9 [contents]
1990 – 1999
- 1999
- [j13]Jens Krinke
, Torsten Robschink, Gregor Snelting:
Software-Sicherheitsprüfung mit VALSOFT. Inform. Forsch. Entwickl. 14(2): 62-73 (1999) - 1998
- [j12]Jens Krinke, Gregor Snelting:
Validation of measurement software as an application of slicing and constraint solving. Inf. Softw. Technol. 40(11-12): 661-675 (1998) - [j11]Gregor Snelting:
Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt). Inform. Spektrum 21(5): 273-276 (1998) - [j10]Hausi A. Müller, Thomas W. Reps, Gregor Snelting:
Program comprehension and software reengineering. ACM SIGSOFT Softw. Eng. Notes 23(5): 36-44 (1998) - [j9]Gregor Snelting:
Paul Feyerabend and Software Technology. Int. J. Softw. Tools Technol. Transf. 2(1): 1-5 (1998) - [c19]Gregor Snelting:
Concept Analysis - A New Framework for Program Understanding. PASTE 1998: 1-10 - [c18]Gregor Snelting, Frank Tip:
Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110 - 1997
- [j8]Andreas Zeller
, Gregor Snelting:
Unified Versioning Through Feature Logic. ACM Trans. Softw. Eng. Methodol. 6(4): 398-441 (1997) - [c17]Christian Lindig, Gregor Snelting:
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. ICSE 1997: 349-359 - 1996
- [j7]Gregor Snelting:
Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Trans. Softw. Eng. Methodol. 5(2): 146-189 (1996) - [c16]Gregor Snelting:
Combining Slicing and Constraint Solving for Validation of Measurement Software. SAS 1996: 332-348 - 1995
- [c15]Andreas Zeller
, Gregor Snelting:
Handling Version Sets Through Feature Logic. ESEC 1995: 191-204 - 1994
- [j6]Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller:
Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform. Forsch. Entwickl. 9(3): 116-131 (1994) - [c14]Maren Krone, Gregor Snelting:
On the Inference of Configuration Structures from Source Code. ICSE 1994: 49-57 - 1993
- [c13]Franz-Josef Grosch, Gregor Snelting:
Polymorphic components for monomorphic languages. IWSR 1993: 47-55 - 1992
- [j5]Rolf Bahlke, Gregor Snelting:
Design and Structure of a Semantics-Based Programming Environment. Int. J. Man Mach. Stud. 37(4): 467-479 (1992) - [j4]Paul Klint, Thomas W. Reps, Gregor Snelting:
Programming environments: report on an international workshop at Dagstuhl Castle. ACM SIGPLAN Notices 27(11): 90-96 (1992) - 1991
- [j3]Gregor Snelting:
The Calculus of Context Relations. Acta Informatica 28(5): 411-445 (1991) - [c12]Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder
:
Inference-Based Support for Programming in the Large. ESEC 1991: 396-408 - [c11]Tobias Nipkow
, Gregor Snelting:
Type Classes and Overloading Resolution via Order-Sorted Unification. FPCA 1991: 1-14 - [c10]Wolfgang Henhapl, Stefan Kaes, Gregor Snelting:
Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology 1991: 153-166 - 1990
- [j2]Gregor Snelting:
How to Build LR Parsers Which Accept Incomplete Input. ACM SIGPLAN Notices 25(4): 51-58 (1990) - [c9]Franz-Josef Grosch, Gregor Snelting:
Inference-Based Overloading Resolution for ADA. PLILP 1990: 30-44
1980 – 1989
- 1988
- [c8]Rolf Bahlke, Gregor Snelting:
The PSG System: From Formal Language Definitions to Interactive Programming Environments. ESOP 1988: 374-375 - 1987
- [c7]Rolf Bahlke, Bernhard Moritz, Gregor Snelting:
A generator for language-specific debugging systems. PLDI 1987: 92-101 - 1986
- [b1]Gregor Snelting:
Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen. Darmstadt University of Technology, Germany, 1986, pp. I-II, 1-203 - [j1]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) - [c6]Rolf Bahlke, Gregor Snelting:
Context-sensitive Editing with PSG Environments. Advanced Programming Environments 1986: 26-38 - [c5]Gregor Snelting, Wolfgang Henhapl:
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. POPL 1986: 229-235 - 1985
- [c4]Gregor Snelting:
Experiences with the PSG - Programming System Generator. TAPSOFT, Vol.2 1985: 148-162 - [c3]Rolf Bahlke, Gregor Snelting:
The PSG - Programming System Generator. SLIPE 1985: 28-33 - 1984
- [c2]M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting:
Industrieprogramm: PSG. Programmierumgebungen und Compiler 1984: 285-291 - [c1]Wolfgang Henhapl, Gregor Snelting:
Context Relations - a Concept for Incremental Context Analysis in Program Fragments. Fachtagung über Programmiersprachen 1984: 128-143
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint