Subject-Oriented Composition Rules. - Harold Ossher; Matthew Kaplan 003; William H. Harrison; Alexander Katz; Vincent J. Kruskal (OOPSLA, 1995)

Specifying Subject-Oriented Composition. - Harold Ossher; Matthew Kaplan 003; Alexander Katz; William H. Harrison; Vincent J. Kruskal (Theory Pract. Object Syst., 1996)

Toward Engineered, Useful Use Cases. - Clay Williams; Matthew Kaplan 003; Tim Klinger; Amit M. Paradkar (J. Object Technol., 2005)

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. - Amit M. Paradkar; Suzanne McIntosh; Sam Weber 001; David C. Toll; Paul A. Karger; Matt Kaplan 003 (ISSSE, 2006)

Test Machine Scheduling and Optimization for z/ OS. - Matthew Kaplan 003; Tracy Kimbrel; Kevin Mckenzie; Richard Prewitt; Maxim Sviridenko; Clay Williams; Cemal Yilmaz 001 (CISched, 2007)

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. - Matthew Kaplan 003; Tim Klinger; Amit M. Paradkar; Avik Sinha; Clay Williams; Cemal Yilmaz 001 (ICST, 2008)

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. - Sam Weber 001; Amitkumar M. Paradkar; Suzanne McIntosh; David C. Toll; Paul A. Karger; Matthew Kaplan 003; Elaine R. Palmer (ISSRE, 2008)

Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. - Avik Sinha; Matthew Kaplan 003; Amit M. Paradkar; Clay Williams (MoDELS, 2008)