Ralph D. Jeffords

According to our database, Ralph D. Jeffords authored at least 14 papers between 1977 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Direct generation of invariants for reactive models.

Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2010

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

2009

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

Proceedings of the FM 2009: Formal Methods, 2009

2007

RE Theory Meets Software Practice: Lessons from the Software Development Trenches.

Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

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

Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.

Ralph D. Jeffords, Ramesh Bharadwaj

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004

Using invariants to optimize formal specifications before code synthesis.

Ralph D. Jeffords, Elizabeth I. Leonard

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

2003

A strategy for efficiently verifying requirements.

Ralph D. Jeffords, Constance L. Heitmeyer

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2001

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.

Ralph D. Jeffords, Constance L. Heitmeyer

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

1998

Automatic Generation of State Invariants from Requirements Specifications.

Ralph D. Jeffords, Constance L. Heitmeyer

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

1996

Automated Consistency Checking of Requirements Specifications.

Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw

ACM Trans. Softw. Eng. Methodol., 1996

1982

Bit vector encoding via decomposition.

Ralph D. Jeffords

Proceedings of the 20th Annual Southeast Regional Conference, 1982

1977

Parallel Decomposition of LR(k) Parsers (Extended Abstract).

David B. Benson, Ralph D. Jeffords

Proceedings of the Automata, 1977

A vector encoding technique applicable to tabular parsing methods.

Ralph D. Jeffords, David B. Benson

Proceedings of the 15th annual Southeast regional conference, 1977