|
Disclaimer: This site contains postscript and pdf files of articles that may be covered by copyright. You may browse the articles for your personal use (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, redistributing these files may violate the copyright protection law.
sort by category Recent Papers
Publications
| 2008 |
| Journal Articles and Book Chapters |
|
G. Snelting: Wissenschaftspolitische Herausforderungen für die Informatik. IS 2008 |
| Conference Papers |
|
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 |
| Other Publications |
|
G. Snelting, D. Wasserrab: A Correctness Proof for the Volpano/Smith Security Typing System. Formal Proof Development |
|
D. Wasserrab: Towards Certified Slicing. Formal Proof Development |
|
C. Hammer, G. Snelting: Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs. Technical Report |
| 2006 |
| Journal Articles and Book Chapters |
|
G. Snelting, T. Robschink, J. Krinke: Efficient Path Conditions in Dependence Graphs for Software Safety Analysis. TOSEM 2006 |
| Conference Papers |
|
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 |
| Other Publications |
|
D. Wasserrab: CoreC++. Formal Proof Development |
| 1999 |
| Journal Articles and Book Chapters |
|
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 |
| Ph.D. theses |
|
C. Lindig: Algorithmen zur Begriffsanalyse und ihre Anwendung bei Softwarebibliotheken. Ph.D. thesis |
| Conference Papers |
|
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 |
| Other Publications |
|
G. Snelting: Software Technology Group: 1998 Department Report. Technical Report |
| 1998 |
| Journal Articles and Book Chapters |
|
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 |
| Conference Papers |
|
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 |
| Other Publications |
|
C. Lindig: Analyse von Softwarevarianten. Technical Report |
|
C. Lindig: Analysis of Software Variants. Talk |
|
H. Müller, T. Reps, G. Snelting: Program Comprehension and Software Reengineering. Technical Report |
| 1997 |
| Journal Articles and Book Chapters |
|
G. Snelting: Paul Feyerabend und die Softwaretechnologie. ST 1997 |
|
A. Zeller, G. Snelting: Unified Versioning Through Feature Logic. TOSEM 1997 |
| Ph.D. theses |
|
A. Zeller: Configuration Management with Version Sets - A Unified Software Versioning Model and its Applications. Ph.D. thesis |
| Conference Papers |
|
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 |
| Other Publications |
|
G. Snelting, U. Grottker, M. Goldapp: VALSOFT Abschlussbericht. Talk |
| 1995 |
| Conference Papers |
|
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 |
| Other Publications |
|
G. Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. Technical Report |
|
F. Grosch: No Type Stamps and No Structure Stamps - A Referentially-Transparent Higher-Order Module Language. Technical Report |
|
P. Funk, A. Lewien, G. Snelting: Algorithms for Concept Lattice Decomposition and their Applications. Technical Report |
|
