"Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software" (with S. D. Fleming, E. Kraemer, R. E. K. Stirewalt and S. Xie), Proceedings of the IEEE International Conference on Program Comprehension, Amsterdam, June 2008
"A Study of Student Strategies for the Corrective Maintenance of Concurrent Software" (with S. D. Fleming, E. Kraemer, R. E. K. Stirewalt and S. Xie), Proceedings of the InternationalConference on Software Engineering, Leipzig, DE, May 2008
"A Model-Based Design for Verification Approach to Checking Deadlock in Multi-Threaded Systems" (with B. Sarna-Starosta and K. Stirewalt). International Journal of Software Engineering and Knowledge Engineering, Vol. 17, Issue 2, April 2007, pp. 207-230.
"Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components" (with K. Stirewalt), IEEE Transactions on Software Engineering, Vol. 29, No. 2, February 2003, pp. 133-150.