|
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.
Publications prior to 2000 may be found here
Recent PapersPublications
| 2006 - Conference Papers |
| 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 | | 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, U. Eibauer, S. Schöffmann: Aspect Mining for Aspect Refactoring: An Experience Report. TEAM 2006 | | C. Hammer, J. Krinke, G. Snelting: Information Flow Control for Java Based on Path Conditions in Dependence Graphs. ISSSE 2006 | | C. Hammer, M. Grimme, J. Krinke: Dynamic Path Conditions in Dependence Graphs. PEPM 2006 | | M. Störzer, F. Forster, R. Sterr: Detecting Precedence-Related Advice Interference. ASE 2006 | | 2006 - Journal Article |
| G. Snelting, T. Robschink, J. Krinke: Efficient Path Conditions in Dependence Graphs for Software Safety Analysis. TOSEM 2006 | | 2006 - Formal Proof Theories |
| D. Wasserrab: CoreC++. AFP 2006 |
| 1999 - Conference Papers |
| 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 | | 1999 - PhD. thesis |
| C. Lindig: Algorithmen zur Begriffsanalyse und ihre Anwendung bei Softwarebibliotheken. | | 1999 - Journal Article |
| G. Snelting, T. Robschink, J. Krinke: Software-Sicherheitsprüfung mit VALSOFT. IFE 1999 | | 1999 - Book Chapter |
| C. Lindig, G. Snelting, G. Stumme, B. Wille: Formale Begriffsanalyse im Software Engineering. TR 1999 |
|
