2008 |
4 | EE | Michael Eichberg,
Sven Kloppenburg,
Karl Klose,
Mira Mezini:
Defining and continuous checking of structural program dependencies.
ICSE 2008: 391-400 |
2006 |
3 | EE | Michael Eichberg,
Mira Mezini,
Sven Kloppenburg,
Klaus Ostermann,
Benjamin Rank:
Integrating and Scheduling an Open Set of Static Analyses.
ASE 2006: 113-122 |
2 | EE | Michael Eichberg,
Sebastian Kanthak,
Sven Kloppenburg,
Mira Mezini,
Tobias Schuh:
Incremental Confined Types Analysis.
Electr. Notes Theor. Comput. Sci. 164(2): 81-96 (2006) |
2000 |
1 | EE | Felix C. Gärtner,
Sven Kloppenburg:
Consistent Detection of Global Predicates under a Weak Fault Assumption.
SRDS 2000: 94-103 |