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)

Lattice based modularization of static analyses. - Michael Eichberg; Florian Kübler; Dominik Helm; Michael Reif; Guido Salvaneschi; 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)

CiFi: Versatile Analysis of Class and Field Immutability. - Tobias Roth; Dominik Helm; Michael Reif; Mira Mezini (Software Engineering, 2022)

Modular Collaborative Program Analysis. - Dominik Helm (2023)

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (Zenodo, 2023)

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (Zenodo, 2023)

A Modular Soundness Theory for the Blackboard Analysis Architecture. - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (ESOP (2), 2024)

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact. - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Zenodo, 2024)

Modular Collaborative Program Analysis. - Dominik Helm (Softwaretechnik-Trends, 2024)

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact. - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Zenodo, 2024)

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features - Companion Artifact. - Dominik Helm; Tobias Roth; Sven Keidel; Michael Reif; Mira Mezini (Zenodo, 2024)

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses". - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Zenodo, 2024)

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses". - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Zenodo, 2024)

Total Recall? How Good Are Static Call Graphs Really? - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Software Engineering, 2025)

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. - Dominik Helm; Tobias Roth; Sven Keidel; Michael Reif; Mira Mezini (Software Engineering, 2025)

AXA: Cross-Language Analysis through Integration of Single-Language Analyses. - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Software Engineering, 2025)