Johannes Henkel

According to our database, Johannes Henkel authored at least 8 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Errata for "Discovering Documentation for Java Container Classes".

Johannes Henkel, Christoph Reichenbach, Amer Diwan

IEEE Trans. Software Eng., 2008

Developing and debugging algebraic specifications for Java classes.

Johannes Henkel, Christoph Reichenbach, Amer Diwan

ACM Trans. Softw. Eng. Methodol., 2008

2007

Discovering Documentation for Java Container Classes.

Johannes Henkel, Christoph Reichenbach, Amer Diwan

IEEE Trans. Software Eng., 2007

2005

CatchUp!: capturing and replaying refactorings to support API evolution.

Johannes Henkel, Amer Diwan

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

A Tool for Writing and Debugging Algebraic Specifications.

Johannes Henkel, Amer Diwan

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Discovering Algebraic Specifications from Java Classes.

Johannes Henkel, Amer Diwan

Proceedings of the ECOOP 2003, 2003

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

Understanding the connectivity of heap objects.

Martin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002