HOME | ENGLISH | IMPRESSUM | KIT

Veröffentlichungen

Haftungsausschluß: Diese Internetseiten enthalten Postscript- und PDF-Dateien von Artikeln, die urheberrechtlich geschützt sein können. Sie können in diesen Artikeln zum persönlichen Gebrauch stöbern wie in einer Zeitschrift oder einem Konferenzartikel in einer öffentlichen Bibliothek. Das Laden, Kopieren, Verteilen dieser Dateien könnte gegen das Urheberrechtsschutzgesetz verstoßen.

KIT-Bibliothek



Veröffentlichungen

2017
Preprints
S. Bischof, J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting: Low-Deterministic Security For Low-Deterministic Programs.
M. Mohr, C. Tradowsky: Pegasus: Efficient Data Transfers for PGAS Languages on Non-Cache-Coherent Many-Cores. DATE 2017
Zeitschriftenartikel und Buchkapitel
J. Breitner, M. Hecker, G. Snelting: Der Grader Praktomat. Automatisierte Bewertung in der Programmierausbildung
M. Wagner, D. Lohner: Minimal Static Single Assignment Form. AFP 2017
G. Ebner, S. Ullrich, J. Roesch, J. Avigad, L. d. Moura: A Metaprogramming Framework for Formal Verification.
Konferenzartikel
B. Beckert, S. Bischof, M. Herda, M. Kirsten, M. K. Büning: Combining Graph-Based and Deduction-Based Information-Flow Analysis.
2016
Preprints
J. Graf, M. Hecker, M. Mohr, G. Snelting: Sicherheitsanalyse mit JOANA. Sicherheit 2016
Zeitschriftenartikel und Buchkapitel
S. Wildermann, M. Bader, L. Bauer, M. Damschen, D. Gabriel, M. Gerndt, M. Glaß, J. Henkel, J. Paul, A. Pöppl, S. Roloff, T. Schwarzer, G. Snelting, W. S. a: Invasive Computing for Timing-Predictable Stream Processing on MPSOCS. it 2016
S. Ullrich, D. Lohner: Verified Construction of Static Single Assignment Form. AFP 2016
J. Breitner, D. Lohner: The meta theory of the Incredible Proof Machine. AFP 2016
J. Breitner, R. Eisenberg, S. P. Jones, S. Weirich: Safe zero-cost coercions for Haskell.
Dissertationen
J. Breitner: Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Dissertation
J. Graf: Information Flow Control with System Dependence Graphs -- Improving Modularity, Scalability and Precision for Object Oriented Languages. Dissertation
Konferenzartikel
J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting: On Improvements Of Low-Deterministic Security. POST 16
J. Graf, M. Hecker, M. Mohr, G. Snelting: Tool Demonstration: JOANA. POST 16
S. Buchwald, D. Lohner, S. Ullrich: Verified Construction of Static Single Assignment Form. CC 2016
J. Breitner: Visual theorem proving with the Incredible Proof Machine. ITP 2016
A. Zwinkau: An X10 Memory Model. X10 2016
2015
Zeitschriftenartikel und Buchkapitel
D. Giffhorn, G. Snelting: A new algorithm for low-deterministic security. IJIS
G. Snelting: Understanding Probabilistic Software Leaks. SCP 2015
J. Breitner: The Safety of Call Arity. AFP 2015
Konferenzartikel
R. Küsters, T. Truderung, B. Beckert, D. Bruns, M. Kirsten, M. Mohr: A Hybrid Approach for Proving Noninterference of Java Programs. CSF 2015
J. Breitner: Call Arity. TFP 2014
M. Mohr, S. Buchwald, A. Zwinkau, C. Erhardt, B. Oechslein, J. Schedel, D. Lohmann: Cutting Out the Middleman: OS-Level Support for X10 Activities. X10 2015
J. Breitner: Formally Proving a Compiler Transformation Safe. Haskell'15
M. Mohr, J. Graf, M. Hecker: JoDroid: Adding Android Support to a Static Information Flow Control Tool.
S. Buchwald, M. Mohr, A. Zwinkau: Malleable Invasive Applications. ATPS 2015
S. Buchwald: Optgen: A Generator for Local Optimizations. CC 2015
S. Buchwald, M. Mohr, I. Rutter: Optimal Shuffle Code with Permutation Instructions. WADS 2015
E. Lovat, A. Fromm, M. Mohr, A. Pretschner: SHRIFT System-Wide HybRid Information Flow Tracking. IFIPSec 2015
M. Witterauf, A. Tanase, J. Teich, V. Lari, A. Zwinkau, G. Snelting: Adaptive fault tolerance through invasive computing.
J. Graf, M. Hecker, M. Mohr, G. Snelting: Checking Applications using Security APIs with JOANA. ASA 2015
Sonstiges
J. Breitner, C. Podszun: Stiftzauber -- Eigene Bücher und Spiele für den Tiptoi vertonen. c't 08/15
S. Buchwald, M. Mohr, I. Rutter: Optimal Shuffle Code with Permutation Instructions. arXiv.org
G. Snelting: Rezension zu "M. Zollner: Physik der Elektrogitarre". Spektrum der Wissenschaft
J. Breitner, C. Podszun: Punktgenau -- Multimedia-Spielzeug Tiptoi selbst programmieren. Make: 06/15
2014
Zeitschriftenartikel und Buchkapitel
E. Jakumeit, S. Buchwald, D. Wagelaar, L. Dan, Á. Hegedüs, M. Herrmannsdörfer, T. Horn, E. Kalnina, C. Krause, K. Lano, M. Lepper, A. Rensink, L. Rose, S. Wätzol: A survey and comparison of transformation tools based on the transformation tool contest. SCP 2014
A. Lochbihler: Making the Java Memory Model Safe. TOPLAS 2014
S. Stork, K. Naden, J. Sunshine, M. Mohr, A. Fonseca, P. Marques, J. Aldrich: AEminium: A Permission Based Concurrent-by-Default Programming Language Approach. TOPLAS 2014
G. Snelting, D. Giffhorn, J. Graf, C. Hammer, M. Hecker, M. Mohr, D. Wasserrab: Checking Probabilistic Noninterference Using JOANA. IT 2014
Konferenzartikel
J. Heisswolf, A. Zaib, A. Zwinkau, S. Kobbe, A. Weichslgartner, J. Teich, J. Henkel, G. Snelting, A. Herkersdorf, J. Becker: CAP: Communication Aware Programming. DAC 2014
R. Küsters, E. Scapin, T. Truderung, J. Graf: Extending and Applying a Framework for the Cryptographic Verification of Java Programs. POST 14
J. Breitner, R. Eisenberg, S. P. Jones, S. Weirich: Safe Zero-cost Coercions for Haskell. ICFP 2014
Sonstiges
R. Küsters, E. Scapin, T. Truderung, J. Graf: (accompanying technical report) Extending and Applying a Framework for the Cryptographic Verification of Java Programs.. Sonstiges
M. Braun, S. Buchwald, M. Mohr, A. Zwinkau: Dynamic X10: Resource-Aware Programming for Higher Efficiency. Technischer Bericht
2013
Zeitschriftenartikel und Buchkapitel
J. Breitner: The Correctness of Launchbury's Natural Semantics for Lazy Evaluation. AFP 2013
A. Lochbihler: Light-weight Containers. AFP 2013
Konferenzartikel
A. Lochbihler: Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter Compiler. LNI - Ausgezeichnete Informatikdissertationen 2012
M. Mohr, A. Grudnitsky, T. Modschiedler, L. Bauer, S. Hack, J. Henkel: Hardware Acceleration for Programs in SSA Form. CASES 2013
H. Bungartz, C. Riesinger, M. Schreiber, G. Snelting, A. Zwinkau: Invasive computing in HPC with X10.
A. Lochbihler: Light-weight containers for Isabelle: efficient, extensible, nestable. ITP 2013
M. Braun, S. Buchwald, S. Hack, R. Leißa, C. Mallon, A. Zwinkau: Simple and Efficient Construction of Static Single Assignment Form. CC 2013
J. Graf, M. Hecker, M. Mohr: Using JOANA for Information Flow Control in Java Programs - A Practical Guide. ATPS 2013
Sonstiges
A. Zwinkau, S. Buchwald, G. Snelting: InvadeX10 Documentation v0.5. Technischer Bericht
J. Graf, M. Hecker, M. Mohr, B. Nordhoff: Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks. ID 2013
R. Küsters, T. Truderung, B. Beckert, D. Bruns, J. Graf, C. Scheben: A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs. GRSRD 2013
J. Breitner, B. Huffman, N. Mitchell, C. Sternagel: Certified HLints with Isabelle/HOLCF-Prelude. Sonstiges
2012
Zeitschriftenartikel und Buchkapitel
L. Rose, M. Herrmannsdoerfer, S. Mazanek, P. V. Gorp, S. Buchwald, T. Horn, E. Kalnina, A. Koch, K. Lano, B. Schätz, M. Wimmer: Graph and model transformation tools for model migration.
Dissertationen
D. Giffhorn: Slicing of Concurrent Programs and its Application to Information Flow Control. Dissertation
A. Lochbihler: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. Dissertation
Konferenzartikel
A. Zwinkau, V. Pankratius: AutoTunium: An Evolutionary Tuner for General-Purpose Multicore Applications. ICPADS 2012
A. Lochbihler: Java and the Java Memory Model -- a Unified, Machine-Checked Formalisation. ESOP 2012
R. Küsters, T. Truderung, J. Graf: A Framework for the Cryptographic Verification of Java-like Programs. CSF 2012
Sonstiges
M. Braun, S. Buchwald, M. Mohr, A. Zwinkau: An X10 Compiler for Invasive Architectures. Technischer Bericht
A. Zwinkau: Resource Awareness for Efficiency in High-Level Programming Languages. Technischer Bericht
J. Graf, M. Hecker, M. Mohr: Using JOANA for Information Flow Control in Java Programs - A Practical Guide. Technischer Bericht
R. Küsters, T. Truderung, J. Graf: (accompanying technical report) A Framework for the Cryptographic Verification of Java-like Programs. Technischer Bericht
D. Giffhorn, G. Snelting: Probabilistic Noninterference Based on Program Dependence Graphs. Technischer Bericht
A. Lochbihler: The Java Memory Model is Type Safe. Technischer Bericht
2011
Zeitschriftenartikel und Buchkapitel
D. Giffhorn: Advanced chopping of sequential and concurrent programs. SQJ
J. Teich, J. Henkel, A. Herkersdorf, D. Schmitt-Landsiedel, W. Schröder-Preikschat, G. Snelting: Invasive Computing: An Overview.
B. Beckert, D. Hofheinz, J. Müller-Quade, A. Pretschner, G. Snelting: Software Security in Virtualized Infrastructures - The Smart Meter Example.
Konferenzartikel
A. Lochbihler, L. Bulwahn: Animating the Formalised Semantics of a Java-like Language. ITP 2011
S. Buchwald, A. Zwinkau, T. Bersch: SSA-Based Register Allocation with PBQP. CC '11
F. Hannig, S. Roloff, G. Snelting, J. Teich, A. Zwinkau: Resource-aware programming and simulation of MPSoC architectures through extension of X10. SCOPES 2011
Sonstiges
M. Braun, S. Buchwald, A. Zwinkau: Firm---A Graph-Based Intermediate Representation. Technischer Bericht
A. Lochbihler: A Unified, Machine-Checked Formalisation of Java and the Java Memory Model. Technischer Bericht
2010
Zeitschriftenartikel und Buchkapitel
A. Lochbihler: Coinductive. AFP 2010
D. Wasserrab, G. Klein, T. Nipkow, L. Paulson: Information Flow Noninterference via Slicing. AFP 2010
E. Jakumeit, S. Buchwald, M. Kroll: GrGen.NET.
Dissertationen
D. Wasserrab: From Formal Semantics to Verified Slicing - A Modular Framework with Applications in Language Based Security. Ph.D. thesis
Konferenzartikel
D. Wasserrab, D. Lohner: Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. VERIFY 2010
C. Hammer: Experiences with PDG-based IFC. ESSoS'10
M. Braun, C. Mallon, S. Hack: Preference-Guided Register Assignment. CC 2010
A. Lochbihler: Verifying a Compiler for Java Threads. ESOP 2010
B. Katz, M. Krug, A. Lochbihler, I. Rutter, G. Snelting, D. Wagner: Gateway Decompositions for Constrained Reachability Problems. SEA 2010
P. Lammich, A. Lochbihler: The Isabelle Collections Framework. ITP 2010
M. Taghdiri, G. Snelting, C. Sinz: Information Flow Analysis via Path Condition Refinement. FAST 2010
J. Graf: Speeding up context-, object- and field-sensitive SDG generation. SCAM 2010
S. Buchwald, A. Zwinkau: Instruction Selection by Graph Transformation. CASES '10
Sonstiges
B. Beckert, D. Hofheinz, J. Müller-Quade, A. Pretschner, G. Snelting: Software Security in Virtualized Infrastructures -- The Smart Meter Example. Technischer Bericht
2009
Zeitschriftenartikel und Buchkapitel
A. Lochbihler: Code Generation for Functions as Data. AFP 2009
G. Snelting: Informatik ist Cool ?!. IT 2009
A. Lochbihler, G. Snelting: On Temporal Path Conditions in Dependence Graphs. JASE
D. Giffhorn, C. Hammer: Precise Slicing of Concurrent Programs - An Evaluation of Static Slicing Algorithms for Concurrent Programs. JASE
D. Wasserrab: Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer. AFP 2009
C. Hammer, G. Snelting: Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs. IJIS
Dissertationen
C. Hammer: Information Flow Control for Java - A Comprehensive Approach based on Path Conditions in Dependence Graphs. Ph.D. thesis
Konferenzartikel
M. Braun, S. Hack: Register Spilling and Live-Range Splitting for SSA-Form Programs. CC 2009
D. Wasserrab, D. Lohner, G. Snelting: On PDG-Based Noninterference and its Modular Proof. PLAS 2009
A. Lochbihler: Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. TPHOLs 2009
D. Giffhorn: Chopping Concurrent Programs. SCAM 2009
Sonstiges
J. Graf: Improving and Evaluating the Scalability of Precise System Dependence Graphs for Objectoriented Languages. Technischer Bericht
2008
Zeitschriftenartikel und Buchkapitel
G. Snelting, D. Wasserrab: A Correctness Proof for the Volpano/Smith Security Typing System. AFP 2008
D. Wasserrab: Towards Certified Slicing. AFP 2008
G. Snelting: Wissenschaftspolitische Herausforderungen für die Informatik. IS 2008
Konferenzartikel
A. Lochbihler: Type Safe Nondeterminism - A Formal Semantics of Java Threads. FOOL 2008
C. Hammer, J. Dolby, M. Vaziri, F. Tip: Dynamic Detection of Atomic-Set-Serializability Violations. ICSE 2008
C. Hammer, R. Schaade, G. Snelting: Static Path Conditions for Java. PLAS 2008
D. Wasserrab, A. Lochbihler: Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. TPHOLS 2008
D. Giffhorn, C. Hammer: Precise Analysis of Java Programs using JOANA (Tool Demonstration). SCAM 2008
Sonstiges
C. Hammer, G. Snelting: Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs. Technischer Bericht
2007
Zeitschriftenartikel und Buchkapitel
A. Lochbihler: Jinja With Threads. AFP 2007
Dissertationen
M. Störzer: Impact Analysis for AspectJ - A Critical Analysis and Tool-Based Approach to AOP. Dissertation
Konferenzartikel
D. Wasserrab, T. Nipkow, G. Snelting, F. Tip: C++ ist typsicher? Garantiert!. SE 2007
D. Giffhorn, C. Hammer: An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM 2007
A. Lochbihler, G. Snelting: On Temporal Path Conditions in Dependence Graphs. SCAM 2007
2006
Zeitschriftenartikel und Buchkapitel
D. Wasserrab: CoreC++. AFP 2006
G. Snelting, T. Robschink, J. Krinke: Efficient Path Conditions in Dependence Graphs for Software Safety Analysis. TOSEM 2006
Konferenzartikel
M. Störzer, F. Forster, R. Sterr: Detecting Precedence-Related Advice Interference. ASE 2006
C. Hammer, M. Grimme, J. Krinke: Dynamic Path Conditions in Dependence Graphs. PEPM 2006
C. Hammer, J. Krinke, G. Snelting: Information Flow Control for Java Based on Path Conditions in Dependence Graphs. ISSSE 2006
M. Störzer, U. Eibauer, S. Schöffmann: Aspect Mining for Aspect Refactoring: An Experience Report. TEAM 2006
D. Wasserrab, T. Nipkow, G. Snelting, F. Tip: An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++. OOPSLA 2006
M. Störzer, B. Ryder, X. Ren, F. Tip: Finding Failure Inducing Changes in Java Programs using Change Classification. FSE 2006
C. Hammer, J. Krinke, F. Nodes: Intransitive Noninterference in Dependence Graphs. ISoLA 2006
2005
Dissertationen
T. Robschink: Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik. Dissertation
M. Streckenbach: KABA - A System for Refactoring Java Programs. Dissertation
Konferenzartikel
M. Störzer, J. Graf: Using Pointcut Delta Analysis to Support Evolution of Aspect-Oriented Software. ICSM 2005
M. Störzer, S. Hanenberg: A Classification of Pointcut Language Constructs. SPLAT 2005
G. Snelting: Quantifier Elimination and Information Flow Control for Software Security. A3L 2005
Sonstiges
D. Wasserrab, T. Nipkow, G. Snelting, F. Tip: An Operational Semantics and Type Safety Proof for C++-like Multiple Inheritance. Technischer Bericht
2004
Konferenzartikel
S. Breu, J. Krinke: Aspect Mining Using Event Traces. ASE 2004
C. Hammer, G. Snelting: An Improved Slicer for Java. PASTE 2004
C. Constantinides, T. Skotiniotis, M. Störzer: AOP Considered Harmful. EIWAS 2004
M. Störzer, C. Koppen: PCDiff: Attacking the Fragile Pointcut Problem, Abstract. EIWAS 2004
M. Streckenbach, G. Snelting: Refactoring Class Hierarchies with KABA. OOPSLA 2004
2003
Bücher
A. Zeller, J. Krinke: Open-Source-Programmierwerkzeuge.
Dissertationen
J. Krinke: Advanced Slicing of Sequential and Concurrent Programs. Dissertation
Konferenzartikel
G. Snelting: Concept Lattices in Software Analysis. ICFCA 2003
M. Störzer: Analysis of AspectJ Programs. GIAOSD 2003
M. Störzer, J. Krinke: Interference Analysis for AspectJ. FOAL 2003
A. D. Lucia, M. Harman, R. Hierons, J. Krinke: Unions of Slices are not Slices. CSMR 2003
S. Breu, J. Krinke: Aspect Mining Using Dynamic Analysis. WSR 2003
M. Störzer, J. Krinke, S. Breu: Trace Analysis for Aspect Application. AAOS 2003
J. Krinke: Barrier Slicing and Chopping. SCAM 2003
J. Krinke: Context-Sensitive Slicing of Concurrent Programs. FSE 2003
2002
Zeitschriftenartikel und Buchkapitel
J. Krinke, M. Störzer, A. Zeller: Web-basierte Programmierpraktika mit Praktomat.
Konferenzartikel
T. Robschink, G. Snelting: Efficient Path Conditions in Dependence Graphs. ICSE 2002
G. Snelting, F. Tip: Semantics-Based Composition of Class Hierarchies. ECOOP 2002
J. Krinke: Evaluating Context-Sensitive Slicing and Chopping. ICSM 2002
2001
Zeitschriftenartikel und Buchkapitel
A. Zeller: Datenstrukturen visualisieren und animieren mit DDD. IFE 2001
G. Snelting: Feyerabend - zwei Jahre später. Informatik-Spektrum 2001
Dissertationen
B. Fischer: Deduction-Based Software Component Retrieval. Dissertation
Konferenzartikel
J. Krinke: Identifizierung von ähnlichem Code mit Programmabhängigkeitsgraphen. WSR 2001
J. Krinke: Identifying Similar Code with Program Dependence Graphs. WCRE 2001
Sonstiges
G. Snelting: Feyerabend - zwei Jahre später. ST 2001
2000
Bücher
K. Mehlhorn, G. Snelting: 30. Jahrestagung der Gesellschaft für Informatik.
Zeitschriftenartikel und Buchkapitel
G. Snelting, F. Tip: Understanding class hierarchies using concept analysis. TOPLAS 2000
Konferenzartikel
G. Snelting: Software Reengineering Based on Concept Lattices. CSMR 2000
A. Zeller: Datenstrukturen visualisieren und animieren mit DDD. SV 2000
A. Zeller: Making Students Read and Review Code. ITiCSE 2000
H. Cleve, A. Zeller: Finding Failure Causes through Automated Testing. AADEBUG 2000
R. Hildebrandt, A. Zeller: Simplifying Failure-Inducing Input. ISSTA 2000
Sonstiges
M. Streckenbach: Points-to-Analyse für Java. TR 2000
M. Streckenbach, G. Snelting: Points-To for Java: A General Framework and an Empirical Comparison. TR 2000
1999
Zeitschriftenartikel und Buchkapitel
J. Krinke, T. Robschink, G. Snelting: Software-Sicherheitsprüfung mit VALSOFT. IFE 1999
A. Zeller: Funktionell und verständlich programmieren - so lernen es die Passauer. STT 1999
Dissertationen
C. Lindig: Algorithmen zur Begriffsanalyse und ihre Anwendung bei Softwarebibliotheken. Dissertation
Konferenzartikel
J. Krinke, T. Robschink: Kombination von Slicing und Constraint-Solving für Software-Reengineering. WSR 1999
C. Lindig, G. Snelting: Formale Begriffsanalyse im Software Engineering. TR 1999
T. Robschink, J. Krinke: Heuristische Graphzerlegung für redundanzarme Pfadbedingungen in ValSoft. GWGI 1999
K. Frühauf, A. Zeller: Software Configuration Management - State of the Art, State of the Practice. SCM 1999
M. Streckenbach, G. Snelting: Understanding Class Hierarchies with KABA. WOOR 1999
A. Zeller: Yesterday, my program worked. Today, it does not. Why?. ESEC/FSE 1999
Sonstiges
G. Snelting: Software Technology Group: 1998 Department Report. TR 1999
1998
Zeitschriftenartikel und Buchkapitel
B. Fischer, J. Schumann, G. Snelting, W. Bibel, P. H. Schmitt: Deduction-Based Software Component Retrieval. AD(III) 1998
G. Snelting: Paul Feyerabend und die Softwaretechnologie. IS 1998
G. Snelting: Paul Feyerabend and software technology. STTT 1998
J. Krinke, G. Snelting: Validation of Measurement Software as an Application of Slicing and Constraint Solving. IST 1998
Konferenzartikel
J. Krinke, G. Snelting, T. Robschink: Software-Sicherheitsprüfung mit VALSOFT. ST 1998
B. Fischer: Specification-Based Browsing of Software Component Libraries. ASE 1998
G. Snelting: Concept Analysis - A New Framework for Program Understanding. PASTE 1998
A. Rossberg: Functional Programming-in-the-Large Using M. WFLP 1998
J. Krinke: Static Slicing of Threaded Programs. PASTE 1998
A. Zeller: Versioning System Models through Description Logic. SCM 1998
G. Snelting, F. Tip: Reengineering Class Hierarchies Using Concept Analysis. FSE 1998
Sonstiges
C. Lindig: Analyse von Softwarevarianten. TR 1998
C. Lindig: Analysis of Software Variants. PURE 1998
H. Müller, T. Reps, G. Snelting: Program Comprehension and Software Reengineering. Technischer Bericht
1997
Zeitschriftenartikel und Buchkapitel
G. Snelting: Paul Feyerabend und die Softwaretechnologie. ST 1997
A. Zeller, G. Snelting: Unified Versioning Through Feature Logic. TOSEM 1997
Dissertationen
A. Zeller: Configuration Management with Version Sets - A Unified Software Versioning Model and its Applications. Dissertation
Konferenzartikel
C. Lindig, G. Snelting: Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. ICSE 1997
F. Grosch, J. Schumann: M - eine typisierte, funktionale Sprache für das Programmieren-im-Großen. IS 1997
B. Fischer, G. Snelting: Reuse by Contract. FCBS 1997
B. Fischer, J. Schumann: NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. WATPSE 1997
B. Fischer, J. Schumann: SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE 1997
J. Schumann, B. Fischer: NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE 1997
Sonstiges
G. Snelting, U. Grottker, M. Goldapp: VALSOFT Abschlussbericht. TR 1997
1996
Zeitschriftenartikel und Buchkapitel
A. Zeller, D. Lütkehaus: DDD - A Free Graphical Front-End for UNIX Debuggers. SIGPLAN 1996
M. Goldapp, U. Grottker, G. Snelting: Validierung softwaregesteuerter Meßsysteme durch Program Slicing und Constraint Solving. BMBF 1996
G. Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. TOSEM 1996
Konferenzartikel
A. Zeller: Smooth operations with square operators - The version set model in ICE. SCM 1996
G. Snelting: Combining Slicing and Constraint Solving for Validation of Measurement Software. SAS 1996
A. Zeller: Software Configuration with Feature Logic. WRKP 1996
Sonstiges
F. Grosch: A Syntactic Approach to Structure Generativity -- A Referentially-Transparent Higher-Order Module Language. CSR 1996
1995
Konferenzartikel
B. Fischer, M. Kievernagel, W. Struckmann: VCR: A VDM-based software component retrieval tool. ISCE 1995
F. Grosch: Eine typisierte, rein funktionale Modulsprache für das Programmieren-im-Großen. WGI 1995
B. Fischer, M. Kievernagel, W. Struckmann: High-Precision Retrieval for High-Quality Software. SQC 1995
C. Lindig: Concept-Based Component Retrieval. IJCAI 1995
B. Fischer, M. Kievernagel, G. Snelting: Deduction-Based Software Component Retrieval. IJCAI 1995
A. Zeller, G. Snelting: Handling Version Sets through Feature Logic. ESEC 1995
A. Zeller: A Unified Version Model for Configuration Management. FSE 1995
C. Lindig: Komponentensuche mit Begriffen. ST 1995
Sonstiges
G. Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. CSR 1995
F. Grosch: No Type Stamps and No Structure Stamps - A Referentially-Transparent Higher-Order Module Language. CSR 1995
P. Funk, A. Lewien, G. Snelting: Algorithms for Concept Lattice Decomposition and their Applications. CSR 1995
1994
Zeitschriftenartikel und Buchkapitel
A. Zeller: Configuration Management with Feature Logics. CSR 1994
G. Snelting, B. Fischer, M. Kievernagel, F. Grosch, A. Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. TR 1994
Konferenzartikel
C. Lindig: STYLE - A Practical Type Checker for Scheme. SAGEGP 1994
M. Krone, G. Snelting: On the Inference of Configuration Structures from Source Code. ICSE 1994
Sonstiges
A. Zeller, G. Snelting: Incremental Configuration Management Based on Feature Unification. CSR 1994
G. Snelting: Perspektiven der Softwaretechnologie. CSR 1993
C. Lindig: Inkrementelle, rückgekoppelte Suche in Software-Bibliotheken. CSR 1994
1993
Konferenzartikel
F. Grosch, G. Snelting: Polymorphic Components for Monomorphic Languages. IWSR-2 1993
B. Fischer: Resolution for Feature Logics. WGI 1993
G. Snelting, A. Zeller: Inferenzbasierte Werkzeuge in NORA. ST 1993
Sonstiges
B. Fischer: A new Feature Unification Algorithm. CSR 1993
1992
Zeitschriftenartikel und Buchkapitel
B. Fischer, C. Hammer, G. Snelting: ALADIN, A Scanner Generator for Incremental Programming Environments. SPE 1992
R. Bahlke, G. Snelting: Design and structure of a semantics-based programming environment. IJMMS 1992
P. Klint, T. Reps, G. Snelting: Programming environments: report on an international workshop at Dagstuhl Castle. SIGPLAN 1992
1991
Zeitschriftenartikel und Buchkapitel
G. Snelting: The Calculus of Context Relations. AI 1991
Konferenzartikel
G. Snelting, F. Grosch, U. Schroeder: Inference-Based Support for Programming in the Large. ESEC 1991
T. Nipkow, G. Snelting: Type Classes and Overloading Resolution via Order-Sorted Unification. FPCA 1991
W. Henhapl, S. Kaes, G. Snelting: Utilizing fifth generation technology in software development tools. ESSDE 1991