Validation, Verification, and Testing for the Individual Programmer. - Martha A. Branstad; John C. Cherniavsky; W. Richards Adrion (Computer, 1980)

Advanced development support systems. - Thomas A. Standish; Robert Balzer; David R. Barstow; Meera Blattner; Martha A. Branstad; John N. Buxton; Adele Goldberg 001; Robert Morris; Stephen L. Squires (ACM SIGSOFT Softw. Eng. Notes, 1981)

Rapid prototyping workshop: overview. - Stephen L. Squires; Marvin V. Zelkowitz; Martha A. Branstad (Rapid Prototyping, 1982)

Validation, Verification, and Testing of Computer Software. - W. Richards Adrion; Martha A. Branstad; John C. Cherniavsky (ACM Comput. Surv., 1982)

Rapid prototyping workshop: an overview. - Stephen L. Squires; Marvin V. Zelkowitz; Martha A. Branstad (ACM SIGSOFT Softw. Eng. Notes, 1982)

Software Engineering Project Standards. - Martha A. Branstad; Patricia B. Powell (IEEE Trans. Software Eng., 1984)

Summary of SESAW III. - Martha A. Branstad; Leonard L. Tripp (ACM SIGSOFT Softw. Eng. Notes, 1985)

Architectural support of fine-grained secure computing. - James O. Bondi; Martha A. Branstad (ACSAC, 1989)

A risk driven process model for the development of trusted systems. - Ann B. Marmor-Squires; John McHugh; Martha A. Branstad; Bonnie P. Danner; Lou Nagy; Pat Rougeau; Daniel F. Sterne (ACSAC, 1989)

Access Mediation in a Message Passing Kernel. - Martha A. Branstad; Homayoon Tajalli; Frank Mayer; David Dalva (S&P, 1989)

The Role of Trust in Protected Mail. - Martha A. Branstad; W. Curtis Barker; Pamela Cochrane (S&P, 1990)

A prototype B3 trusted X Window System. - Jeremy Epstein; John McHugh; Rita Pascale; Hilarie K. Orman; Glenn S. Benson; Charles R. Martin; Ann B. Marmor-Squires; Bonnie P. Danner; Martha A. Branstad (ACSAC, 1991)

Evolution of a trusted B3 window system prototype. - Jeremy Epstein; John McHugh; Rita Pascale; Charles R. Martin; D. Rothnie; Hilarie K. Orman; Ann B. Marmor-Squires; Martha A. Branstad; Bonnie P. Danner (S&P, 1992)

A High Assurance Window System Prototype. - Jeremy Epstein; John McHugh; Hilarie K. Orman; Rita Pascale; Ann B. Marmor-Squires; Bonnie P. Danner; Charles R. Martin; Martha A. Branstad; Glenn S. Benson; D. Rothnie (J. Comput. Secur., 1993)