Proving Programs Correct Using Abstract, High-level Logic. - Allan M. Stavely (1977)

A description scheme to aid the design of collections of concurrent processes. - William E. Riddle; John H. Sayler; Alan R. Segal; Allan M. Stavely; Jack C. Wileden (AFIPS National Computer Conference, 1978)

Behavior Modelling During Software Design. - William E. Riddle; Jack C. Wileden; John H. Sayler; Alan R. Segal; Allan M. Stavely (ICSE, 1978)

DREAM - A Software Design Aid System. - William E. Riddle; John H. Sayler; Alan R. Segal; Allan M. Stavely; Jack C. Wileden (Jerusalem Conference on Information Technology, 1978)

Design feedback and its use in software design aid systems. - Allan M. Stavely (SIGMETRICS Perform. Evaluation Rev., 1978)

Behavior Modeling During Software Design. - William E. Riddle; Jack C. Wileden; John H. Sayler; Alan R. Segal; Allan M. Stavely (IEEE Trans. Software Eng., 1978)

Models as executable designs. - Allan M. Stavely (Rapid Prototyping, 1982)

Modeling and projection in software development. - Allan M. Stavely (J. Syst. Softw., 1983)

Behavior specification in a software design system. - Jack C. Wileden; John H. Sayler; William E. Riddle; Alan R. Segal; Allan M. Stavely (J. Syst. Softw., 1983)

A Collection of Software Tools for Analyzing Design of Concurrent Software Systems. - Allan M. Stavely; D. C. Becker; S. P. Orr; Gregory B. Titus (ICSE, 1985)

Inference from models of software systems. - Allan M. Stavely (J. Syst. Softw., 1985)

Finding reachable states of finite-state concurrent systems. - Gregory B. Titus; Allan M. Stavely (J. Syst. Softw., 1989)

Algorithms for analyzing concurrent software systems using derivatives. - Allan M. Stavely (J. Syst. Softw., 1990)

An empirical study of iteration in applications software. - Allan M. Stavely (J. Syst. Softw., 1993)

Verifying Definite Iteration Over Data Structures. - Allan M. Stavely (IEEE Trans. Software Eng., 1995)

High-Quality Software through Semiformal Specification and Verification. - Allan M. Stavely (CSEE&T, 1999)

Teaching Formal Methods Early in the Software Engineering Curriculum (panel). - Ann E. Kelley Sobel; Hossein Saiedian; Allan M. Stavely; Peter B. Henderson (CSEE&T, 2000)

Programming and mathematical thinking. - Peter B. Henderson; Allan M. Stavely (Inroads, 2014)