The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw (ICSE, 1997)

SCR*: A Toolset for Specifying and Analyzing Software Requirements. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw; Ramesh Bharadwaj (CAV, 1998)

Applying the SCR requirements method to a weapons control panel: an experience report. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw (FMSP, 1998)

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw; Myla Archer; Ramesh Bharadwaj (IEEE Trans. Software Eng., 1998)

SCR: A Practical Approach to Building a High Assurance COMSEC System. - James Kirby; Myla Archer; Constance L. Heitmeyer (ACSAC, 1999)

Re-engineering Xen internals for higher-assurance security. - John P. McDermott; James Kirby; Bruce E. Montrose; Travis Johnson; Myong H. Kang (Inf. Secur. Tech. Rep., 2008)

Separation virtual machine monitors. - John P. McDermott; Bruce E. Montrose; Margery Li; James Kirby; Myong H. Kang (ACSAC, 2012)

The Xenon separation VMM: Secure virtualization infrastructure for military clouds. - John P. McDermott; Bruce E. Montrose; Margery Li; James Kirby; Myong H. Kang (MILCOM, 2012)

Moving Toward Evidence-Based Software Production. - David M. Weiss 001; James Kirby; Robyn R. Lutz (Perspectives on the Future of Software Engineering, 2013)

Towards robust cross-linguistic comparisons of phonological networks. - Philippa Shoemark; Sharon Goldwater; James Kirby; Rik Sarkar (SIGMORPHON, 2016)

Inducing a lexicon of sociolinguistic variables from code-mixed text. - Philippa Shoemark; James Kirby; Sharon Goldwater (NUT@EMNLP, 2018)

Object Oriented Policy Conflict Checking Framework in Cloud Networks (OOPC). - Ankur Chowdhary; Abdulhakim Sabur; Dijiang Huang; Myong H. Kang; James Kirby (IEEE Trans. Dependable Secur. Comput., 2022)

Actuation without production bias. - James Kirby; Morgan Sonderegger (CoRR, 2024)

Analyzing the relationships between pretraining language, phonetic, tonal, and speaker information in self-supervised speech models. - Michele Gubian; Ioana Krehan; Oli Danyi Liu; James Kirby; Sharon Goldwater (CoRR, 2025)