Redactable Graph Hashing, Revisited - (Extended Abstract). - Andreas Erwig; Marc Fischlin; Martin Hald; Dominik Helm; Robert Kiel; Florian Kübler; Michael Kümmerlin; Jakob Laenge; Felix Rohrbach (ACISP (2), 2017)

SootKeeper: runtime reusability for modular static analysis. - Florian Kübler; Patrick Müller; Ben Hermann (SOAP@PLDI, 2017)

Lattice based modularization of static analyses. - Michael Eichberg; Florian Kübler; Dominik Helm; Michael Reif; Guido Salvaneschi; Mira Mezini (ISSTA/ECOOP Workshops, 2018)

Systematic evaluation of the unsoundness of call graph construction algorithms for Java. - Michael Reif; Florian Kübler; Michael Eichberg; Mira Mezini (ISSTA/ECOOP Workshops, 2018)

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. - Michael Reif; Florian Kübler; Michael Eichberg; Dominik Helm; Mira Mezini (ISSTA, 2019)

A Unified Lattice Model and Framework for Purity Analyses. - Dominik Helm; Florian Kübler; Michael Eichberg; Michael Reif; Mira Mezini (SE/SWM, 2019)

A programming model for semi-implicit parallelization of static analyses. - Dominik Helm; Florian Kübler; Jan Thomas Kölzer; Philipp Haller; Michael Eichberg; Guido Salvaneschi; Mira Mezini (ISSTA, 2020)

TACAI: an intermediate representation based on abstract interpretation. - Michael Reif; Florian Kübler; Dominik Helm; Ben Hermann; Michael Eichberg; Mira Mezini (SOAP@PLDI, 2020)

Modular collaborative program analysis in OPAL. - Dominik Helm; Florian Kübler; Michael Reif; Michael Eichberg; Mira Mezini (ESEC/SIGSOFT FSE, 2020)

Artifact for Modular Collaborative Program Analysis in OPAL. - Dominik Helm; Florian Kübler; Michael Reif; Michael Eichberg; Mira Mezini (Zenodo, 2020)

Evaluation Results for Modular Collaborative Program Analysis in OPAL. - Dominik Helm; Florian Kübler; Michael Reif; Michael Eichberg; Mira Mezini (Zenodo, 2020)