Consistent Detection of Global Predicates under a Weak Fault Assumption. - Felix C. Gärtner; Sven Kloppenburg (SRDS, 2000)

Integrating and Scheduling an Open Set of Static Analyses. - Michael Eichberg; Mira Mezini; Sven Kloppenburg; Klaus Ostermann; Benjamin Rank (ASE, 2006)

Incremental Confined Types Analysis. - Michael Eichberg; Sebastian Kanthak; Sven Kloppenburg; Mira Mezini; Tobias Schuh (LDTA@ETAPS, 2006)

Defining and continuous checking of structural program dependencies. - Michael Eichberg; Sven Kloppenburg; Karl Klose; Mira Mezini (ICSE, 2008)

Incrementalization of analyses for next generation IDEs. - Sven Kloppenburg (2009)

Model-Driven Engineering of Machine Executable Code. - Michael Eichberg; Martin Monperrus; Sven Kloppenburg; Mira Mezini (ECMFA, 2010)