Skip to content
cs-conference-ranking.org

Ralph D. Jeffords

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

4

Active years

1977–2012

Best venue rank

A*

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2012MEMOCODEDirect generation of invariants for reactive models.Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords
2009FMA 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
2007RERE Theory Meets Software Practice: Lessons from the Software Development Trenches.Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer
2005MEMOCODEExtended abstract: formal verification of architectural patterns in support of dependable distributed systems.Ralph D. Jeffords, Ramesh Bharadwaj
2004MEMOCODEUsing invariants to optimize formal specifications before code synthesis.Ralph D. Jeffords, Elizabeth I. Leonard
2001REAn Algorithm for Strengthening State Invariants Generated from Requirements Specifications.Ralph D. Jeffords, Constance L. Heitmeyer
1977ICALPParallel Decomposition of LR(k) Parsers (Extended Abstract).David B. Benson, Ralph D. Jeffords