Ralph D. Jeffords

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