The Core Method for Real-Time Requirements. - Stuart R. Faulk; John W. Brackett; Paul Ward; James Kirby Jr. (IEEE Softw., 1992)

Applying Formal Methods to an Information Security Device: An Experience Report. - James Kirby Jr.; Myla Archer; Constance L. Heitmeyer (HASE, 1999)

Model-Driven Agile Development of Reactive Multi-Agent Systems. - James Kirby Jr. (COMPSAC (2), 2006)

Evidence-based software production. - James Kirby Jr.; David M. Weiss 001; Robyn R. Lutz (FoSER, 2010)