Ralph D. Jeffords

	2010
12		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 in System Design 37(2-3): 265-294 (2010)
	2009
11		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: 173-189
	2007
10		Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer: RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE 2007: 265-268
	2005
9		Ralph D. Jeffords, Ramesh Bharadwaj: Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. MEMOCODE 2005: 243-244
8		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)
	2004
7		Ralph D. Jeffords, Elizabeth I. Leonard: Using invariants to optimize formal specifications before code synthesis. MEMOCODE 2004: 73-82
	2003
6		Ralph D. Jeffords, Constance L. Heitmeyer: A strategy for efficiently verifying requirements. ESEC / SIGSOFT FSE 2003: 28-37
	2001
5		Ralph D. Jeffords, Constance L. Heitmeyer: An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. RE 2001: 182-193
	1998
4		Ralph D. Jeffords, Constance L. Heitmeyer: Automatic Generation of State Invariants from Requirements Specifications. SIGSOFT FSE 1998: 56-69
	1996
3		Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw: Automated Consistency Checking of Requirements Specifications. ACM Trans. Softw. Eng. Methodol. 5(3): 231-261 (1996)
	1982
2		Ralph D. Jeffords: Bit vector encoding via decomposition. ACM Southeast Regional Conference 1982: 217-222
	1977
1		David B. Benson, Ralph D. Jeffords: Parallel Decomposition of LR(k) Parsers (Extended Abstract). ICALP 1977: 76-86

Coauthor Index

1	Myla Archer	[8] [10] [11] [12]
2	David B. Benson	[1]
3	Ramesh Bharadwaj	[8] [9] [10]
4	Constance L. Heitmeyer (Connie Heitmeyer)	[3] [4] [5] [6] [8] [10] [11] [12]
5	Bruce G. Labaw	[3]
6	Elizabeth I. Leonard	[7] [11] [12]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page