Publications
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1998. IMACS: a case study in real-world planning. Intelligent Systems and their Applications, IEEE. 13(3):49-60.
1998. LBF: a performance metric for program reorganization. 18th International Conference on Distributed Computing Systems, 1998. Proceedings. :222-229.
2006. Knowledge discovery in high-dimensional data: case studies and a user survey for the rank-by-feature framework. IEEE Transactions on Visualization and Computer Graphics. 12(3):311-322.
2010. Obtaining valid safety data for software safety measurement and process improvement. Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement. :46:1–46:4-46:1–46:4.