Weide, B.W., Bucci, P., Heym, W.D., Sitaraman, M., and Rizzoni, G., "Issues in Performance Certification for High-Level Automotive Control Software", ICSE Workshop on Software Engineering for Automotive Systems, May 2005. [PDF]

Bucci, P., Heym, W., Long, T.J., and Weide, B.W., "Algorithms and Object-Oriented Programming: Bridging the Gap", Proceedings 33rd SIGCSE Technical Symposium on Computer Science Education, ACM Press, 2002, 302-306. [PDF]

Weide, B.W., and Heym, W.D., "Specification and Verification with References", Proceedings OOPSLA Workshop on Specification and Verification of Component-Based Systems, October 2001, http://www.cs.iastate.edu/~leavens/SAVCBS/papers-2001. [PDF]