Ralph D. Jeffords

Publication Activity (10 Years)

Years Active: 1977-2012
Publications (10 Years): 0

Top Topics

Complex Systems

Prior Knowledge

Top Venues

Publications

Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords
Direct generation of invariants for reactive models. MEMOCODE (2012)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
Model-based construction and verification of critical systems using composition and partial refinement. Formal Methods Syst. Des. 37 (2-3) (2010)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. FM (2009)
Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer
RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE (2007)
Ralph D. Jeffords, Ramesh Bharadwaj
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. MEMOCODE (2005)
Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
Tools for constructing requirements specifications: the SCR Toolset at the age of nine. Comput. Syst. Sci. Eng. 20 (1) (2005)
Ralph D. Jeffords, Elizabeth I. Leonard
Using invariants to optimize formal specifications before code synthesis. MEMOCODE (2004)
Ralph D. Jeffords, Constance L. Heitmeyer
A strategy for efficiently verifying requirements. ESEC / SIGSOFT FSE (2003)
Ralph D. Jeffords, Constance L. Heitmeyer
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. RE (2001)
Ralph D. Jeffords, Constance L. Heitmeyer
Automatic Generation of State Invariants from Requirements Specifications. SIGSOFT FSE (1998)
Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
Automated Consistency Checking of Requirements Specifications. ACM Trans. Softw. Eng. Methodol. 5 (3) (1996)
Ralph D. Jeffords
Bit vector encoding via decomposition. ACM Southeast Regional Conference (1982)
Ralph D. Jeffords, David B. Benson
A vector encoding technique applicable to tabular parsing methods. ACM-SE (1977)
David B. Benson, Ralph D. Jeffords
Parallel Decomposition of LR(k) Parsers (Extended Abstract). ICALP (1977)