Pointcuts as Functional Queries. - Michael Eichberg; Mira Mezini; Klaus Ostermann (APLAS, 2004)

Enforcing System-Wide Properties. - Michael Eichberg; Mira Mezini; Thorsten Schäfer; Claus Beringer; Karl Matthias Hamel (Australian Software Engineering Conference, 2004)

XIRC: cross-artifact information retrieval [GPCE]. - Michael Eichberg; Thorsten Schäfer (OOPSLA Companion, 2004)

Alice: Modularization of Middleware Using Aspect-Oriented Programming. - Michael Eichberg; Mira Mezini (SEM, 2004)

XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments. - Michael Eichberg; Mira Mezini; Klaus Ostermann; Thorsten Schäfer (WCRE, 2004)

Component-Based Software Development with Aspect-Oriented Programming. - Michael Eichberg (J. Object Technol., 2004)

Using Annotations to Check Structural Properties of Classes. - Michael Eichberg; Thorsten Schäfer; Mira Mezini (FASE, 2005)

Comprehensive Software Understanding with SEXTANT. - Michael Eichberg; Michael Haupt; Mira Mezini; Thorsten Schäfer (ICSM, 2005)

An execution layer for aspect-oriented programming languages. - Michael Haupt; Mira Mezini; Christoph Bockisch; Tom Dinkelaker; Michael Eichberg; Michael Krebs (VEE, 2005)

BAT2XML: XML-based Java Bytecode Representation. - Michael Eichberg (Bytecode@ETAPS, 2005)

QScope: an Open, Extensible Framework for Measuring Software Projects. - Michael Eichberg; Daniel Germanus; Mira Mezini; Lukas Mrokon; Thorsten Schäfer (CSMR, 2006)

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)

The SEXTANT Software Exploration Tool. - Thorsten Schäfer; Michael Eichberg; Michael Haupt; Mira Mezini (IEEE Trans. Software Eng., 2006)

Automatic Incrementalization of Prolog Based Static Analyses. - Michael Eichberg; Matthias Kahl; Diptikalyan Saha; Mira Mezini; Klaus Ostermann (PADL, 2007)

Open integrated development and analysis environments. - Michael Eichberg (2007)

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

An architecture for composing embedded domain-specific languages. - Tom Dinkelaker; Michael Eichberg; Mira Mezini (AOSD, 2010)

Component Composition Using Feature Models. - Michael Eichberg; Karl Klose; Ralf Mitschke; Mira Mezini (CBSE, 2010)

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

Encoding the Java Virtual Machine's Instruction Set. - Michael Eichberg; Andreas Sewe (Bytecode@ETAPS, 2010)

Compiling Prolog to Idiomatic Java. - Michael Eichberg (ICLP (Technical Communications), 2011)

Incremental concrete syntax for embedded languages. - Tom Dinkelaker; Michael Eichberg; Mira Mezini (SAC, 2011)

Reifying and optimizing collection queries for modularity. - Paolo G. Giarrusso; Klaus Ostermann; Michael Eichberg; Tillmann Rendel; Christian Kästner (SPLASH, 2012)

What should developers be aware of? An empirical study on the directives of API documentation. - Martin Monperrus; Michael Eichberg; Elif Tekes; Mira Mezini (Empir. Softw. Eng., 2012)

Reify your collection queries for modularity and speed! - Paolo G. Giarrusso; Klaus Ostermann; Michael Eichberg; Ralf Mitschke; Tillmann Rendel; Christian Kästner (AOSD, 2013)

Incremental concrete syntax for embedded languages with support for separate compilation. - Tom Dinkelaker; Michael Eichberg; Mira Mezini (Sci. Comput. Program., 2013)

Modular Specification and Checking of Structural Dependencies. - Ralf Mitschke; Michael Eichberg; Mira Mezini; Alessandro Garcia 001; Isela Macia Bertran (LNCS Trans. Aspect Oriented Softw. Dev., 2013)

Blending and reusing rules for architectural degradation prevention. - Alessandro Cavalcante Gurgel; Isela Macia Bertran; Alessandro Garcia 001; Arndt von Staa; Mira Mezini; Michael Eichberg; Ralf Mitschke (MODULARITY, 2014)

Towards virtual traits in Scala. - Manuel Weiel; Ingo Maier; Sebastian Erdweg; Michael Eichberg; Mira Mezini (SCALA@ECOOP, 2014)

A software product line for static analyses: the OPAL framework. - Michael Eichberg; Ben Hermann (SOAP@PLDI, 2014)

Toward an automated benchmark management system. - Lisa Nguyen Quang Do; Michael Eichberg; Eric Bodden (SOAP@PLDI, 2016)

Reactive Async: expressive deterministic concurrency. - Philipp Haller; Simon Geries; Michael Eichberg; Guido Salvaneschi (SCALA@SPLASH, 2016)

Hidden Truths in Dead Software Paths. - Michael Eichberg; Ben Hermann; Mira Mezini; Leonid Glanz (Software Engineering, 2016)

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)

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)

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)

SePass: Semantic Password Guessing Using k-nn Similarity Search in Word Embeddings. - Maximilian Hünemörder; Levin Schäfer; Nadine Sarah Schüler; Michael Eichberg; Peer Kröger (ADMA (2), 2022)