Keynote: Software Reliability In Theory And Practice. - Larry J. Dalton (ISSRE, 1997)

Key Applications for High-Assurance Systems. - I-Ling Yen; Raymond A. Paul; Victor L. Winter; John M. Covan; Larry J. Dalton; Leon Alkalai; Ann T. Tai; Rick Harper 001; Barry Flahive; Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam; et al. (Computer, 1998)

An "in the limit" View. - Larry J. Dalton (HASE, 1999)

The Recodable Locking Device. - David W. Plummer; Larry J. Dalton; Frank Peter (Commun. ACM, 1999)

First principles applied to software safety - the novel use of silicon machinery. - Larry J. Dalton (HASE, 2000)