F. D. Anger, R. R. Rodriguez, and M. Young. Combining Static and Dynamic Analysis of Concurrent Programs. In Proceedings of the International Conference on Software Maintenance (ICSM '94), Victoria, B.C., September 1994.
X. Lu and M. Young. Two-Dimensional Concurrent Program Debugging. In Proceedings of the Asia-Pacific Software Engineering Conference (APSEC '96), Australia, December 1995.
M. Pezz, R. N. Taylor, and M. Young. Graph Models for Reachability Analysis of Concurrent Programs. ACM Transactions on Software Engineering and Methodology, 4(2):171-213, April 1995.
L. C. Shu and M. Young. An Abort Ceiling Protocol for Controling Priority Inversion. In Proceedings of the First International Workshop on Real-Time Computing Systems and Applications, pages 202-206, Seoul, Korea, December 1994.
W. J. Yeh and M. Young. Re-Designing Tasking Structures of Ada Programs for Analysis: A Case Study. Software Testing, Verification and Reliability, 4:223-253, December 1994.
M. Young, R. N. Taylor, D. L. Levine, K. A. Nies, and D. Brodbeck. A Concurrency Analysis Tool Suite for Ada Programs: Rationale, Design, and Preliminary Experience. ACM Transactions on Software Engineering and Methodology, 4(1):65-106, January 1995.