Publications
2005. A video-based framework for the analysis of presentations/posters. International Journal on Document Analysis and Recognition. 7(2):178-187.
2002. Expandable indexes vs. sequential menus for searching hierarchies on the World Wide Web. Behaviour & Information Technology. 21(3):201-207.
2009. Tool supported detection and judgment of nonconformance in process execution. Empirical Software Engineering and Measurement, 2009. ESEM 2009. 3rd International Symposium on. :312-323.
2010. Are developers complying with the process: an XP study. Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement. :14:1–14:10-14:1–14:10.
2001. Understanding IV & V in a safety critical and complex evolutionary environment: the NASA space shuttle program. Proceedings of the 23rd International Conference on Software Engineering. :349-357.
1997. Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
2001. The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program. Software Maintenance, 2001. Proceedings. IEEE International Conference on. :118-126.
1978. Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
2004. Defect evolution in a product line environment. Journal of Systems and Software. 70(1–2):143-154.
1978. Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
1991. The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
1976. Automatic program analysis and evaluation. Proceedings of the 2nd international conference on Software engineering. :158-163.