Understanding the connectivity of heap objects. - Martin Hirzel; Johannes Henkel; Amer Diwan; Michael Hind (MSP/ISMM, 2002)

On the usefulness of type and liveness accuracy for garbage collection and leak detection. - Martin Hirzel; Amer Diwan; Johannes Henkel (ACM Trans. Program. Lang. Syst., 2002)

Discovering Algebraic Specifications from Java Classes. - Johannes Henkel; Amer Diwan (ECOOP, 2003)

A Tool for Writing and Debugging Algebraic Specifications. - Johannes Henkel; Amer Diwan (ICSE, 2004)

CatchUp!: capturing and replaying refactorings to support API evolution. - Johannes Henkel; Amer Diwan (ICSE, 2005)

Discovering Documentation for Java Container Classes. - Johannes Henkel; Christoph Reichenbach; Amer Diwan (IEEE Trans. Software Eng., 2007)

Developing and debugging algebraic specifications for Java classes. - Johannes Henkel; Christoph Reichenbach; Amer Diwan (ACM Trans. Softw. Eng. Methodol., 2008)

Errata for "Discovering Documentation for Java Container Classes". - Johannes Henkel; Christoph Reichenbach; Amer Diwan (IEEE Trans. Software Eng., 2008)