Johannes Henkel, Ph.D.
Affiliations: | 2004 | University of Colorado, Boulder, Boulder, CO, United States |
Area:
Computer ScienceGoogle:
"Johannes Henkel"Parents
Sign in to add mentor| Amer Diwan | grad student | 2004 | CU Boulder | |
| (Discovering and debugging algebraic specifications for Java classes.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Henkel J, Reichenbach C, Diwan A. (2008) Developing and debugging algebraic specifications for Java classes Acm Transactions On Software Engineering and Methodology. 17 |
| Henkel J, Reichenbach C, Diwan A. (2008) Errata for "Discovering Documentation for Java Container Classes" [Aug 07 526-543] Ieee Transactions On Software Engineering. 34: 303-303 |
| Henkel J, Diwan A. (2005) CatchUp! capturing and replaying refactorings to support API evolution Proceedings - 27th International Conference On Software Engineering, Icse05. 274-283 |
| Henkel J, Diwan A. (2004) A tool for writing and debugging algebraic specifications Proceedings - International Conference On Software Engineering. 26: 449-458 |
| Henkel J, Diwan A. (2003) Discovering algebraic specifications from Java classes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2743: 431-456 |
| Hirzel M, Diwan A, Henkel J. (2002) On the usefulness of type and liveness accuracy for garbage collection and leak detection Acm Transactions On Programming Languages and Systems. 24: 593-624 |