| 2008 |
|---|
| 8 | EE | Johannes Henkel,
Christoph Reichenbach,
Amer Diwan:
Developing and debugging algebraic specifications for Java classes.
ACM Trans. Softw. Eng. Methodol. 17(3): (2008) |
| 7 | EE | Johannes Henkel,
Christoph Reichenbach,
Amer Diwan:
Errata for "Discovering Documentation for Java Container Classes".
IEEE Trans. Software Eng. 34(2): 303 (2008) |
| 2007 |
|---|
| 6 | EE | Johannes Henkel,
Christoph Reichenbach,
Amer Diwan:
Discovering Documentation for Java Container Classes.
IEEE Trans. Software Eng. 33(8): 526-543 (2007) |
| 2005 |
|---|
| 5 | EE | Johannes Henkel,
Amer Diwan:
CatchUp!: capturing and replaying refactorings to support API evolution.
ICSE 2005: 274-283 |
| 2004 |
|---|
| 4 | EE | Johannes Henkel,
Amer Diwan:
A Tool for Writing and Debugging Algebraic Specifications.
ICSE 2004: 449-458 |
| 2003 |
|---|
| 3 | EE | Johannes Henkel,
Amer Diwan:
Discovering Algebraic Specifications from Java Classes.
ECOOP 2003: 431-456 |
| 2002 |
|---|
| 2 | EE | Martin Hirzel,
Johannes Henkel,
Amer Diwan,
Michael Hind:
Understanding the connectivity of heap objects.
MSP/ISMM 2002: 143-156 |
| 1 | EE | Martin Hirzel,
Amer Diwan,
Johannes Henkel:
On the usefulness of type and liveness accuracy for garbage collection and leak detection.
ACM Trans. Program. Lang. Syst. 24(6): 593-624 (2002) |
