A vector encoding technique applicable to tabular parsing methods. - Ralph D. Jeffords; David B. Benson (ACM-SE, 1977)

Parallel Decomposition of LR(k) Parsers (Extended Abstract). - David B. Benson; Ralph D. Jeffords (ICALP, 1977)

Bit vector encoding via decomposition. - Ralph D. Jeffords (ACM Southeast Regional Conference, 1982)

Automated Consistency Checking of Requirements Specifications. - Constance L. Heitmeyer; Ralph D. Jeffords; Bruce G. Labaw (ACM Trans. Softw. Eng. Methodol., 1996)

Automatic Generation of State Invariants from Requirements Specifications. - Ralph D. Jeffords; Constance L. Heitmeyer (SIGSOFT FSE, 1998)

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. - Ralph D. Jeffords; Constance L. Heitmeyer (RE, 2001)

A strategy for efficiently verifying requirements. - Ralph D. Jeffords; Constance L. Heitmeyer (ESEC / SIGSOFT FSE, 2003)

Using invariants to optimize formal specifications before code synthesis. - Ralph D. Jeffords; Elizabeth I. Leonard (MEMOCODE, 2004)

Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. - Ralph D. Jeffords; Ramesh Bharadwaj (MEMOCODE, 2005)

Tools for constructing requirements specifications: the SCR Toolset at the age of nine. - Constance L. Heitmeyer; Myla Archer; Ramesh Bharadwaj; Ralph D. Jeffords (Comput. Syst. Sci. Eng., 2005)

RE Theory Meets Software Practice: Lessons from the Software Development Trenches. - Constance L. Heitmeyer; Ralph D. Jeffords; Ramesh Bharadwaj; Myla Archer (RE, 2007)

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. - Ralph D. Jeffords; Constance L. Heitmeyer; Myla Archer; Elizabeth I. Leonard (FM, 2009)

Model-based construction and verification of critical systems using composition and partial refinement. - Ralph D. Jeffords; Constance L. Heitmeyer; Myla Archer; Elizabeth I. Leonard (Formal Methods Syst. Des., 2010)

Direct generation of invariants for reactive models. - Elizabeth I. Leonard; Myla Archer; Constance L. Heitmeyer; Ralph D. Jeffords (MEMOCODE, 2012)