Getting to know you: towards a capability model for Java. - Ben Hermann; Michael Reif; Michael Eichberg; Mira Mezini (Software Engineering, 2016)

Call graph construction for Java libraries. - Michael Reif; Michael Eichberg; Ben Hermann; Johannes Lerch; Mira Mezini (SIGSOFT FSE, 2016)

CogniCrypt: supporting developers in using cryptography. - Stefan Krüger; Sarah Nadi; Michael Reif; Karim Ali 001; Mira Mezini; Eric Bodden; Florian Göpfert; Felix Günther 001; Christian Weinert; Daniel Demmler; Ram Kamath (ASE, 2017)

Hermes: assessment and creation of effective test corpora. - Michael Reif; Michael Eichberg; Ben Hermann; Mira Mezini (SOAP@PLDI, 2017)

CodeMatch: obfuscation won't conceal your repackaged app. - Leonid Glanz; Sven Amann; Michael Eichberg; Michael Reif; Ben Hermann; Johannes Lerch; Mira Mezini (ESEC/SIGSOFT FSE, 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)

CodeMatch. - Leonid Glanz; Sven Amann; Michael Eichberg; Michael Reif; Mira Mezini (Software Engineering, 2018)

Call Graph Construction for Java Libraries. - Michael Reif; Michael Eichberg; Mira Mezini (Software Engineering, 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 dataset of parametric cryptographic misuses. - Anna-Katharina Wickert; Michael Reif; Michael Eichberg; Anam Dodhy; Mira Mezini (MSR, 2019)

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

Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. - Leonid Glanz; Patrick Müller; Lars Baumgärtner; Michael Reif; Sven Amann; Pauline Anthonysamy; Mira Mezini (AsiaCCS, 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)

Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software. - Michael Reif (2021)

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

Securing Your Crypto-API Usage Through Tool Support - A Usability Study. - Stefan Krüger; Michael Reif; Anna-Katharina Wickert; Sarah Nadi; Karim Ali 001; Eric Bodden; Yasemin Acar; Mira Mezini; Sascha Fahl (SecDev, 2023)

Securing Your Crypto-API Usage Through Tool Support - A Usability Study. - Stefan Krüger; Michael Reif; Anna-Katharina Wickert; Sarah Nadi; Karim Ali 001; Eric Bodden; Yasemin Acar; Sascha Fahl (Zenodo, 2023)

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)

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