Ralph D. Jeffords

According to our database1, Ralph D. Jeffords
  • authored at least 13 papers between 1977 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Direct generation of invariants for reactive models.
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.
Formal Methods in System Design, 2010

2009
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.
Proceedings of the FM 2009: Formal Methods, 2009

2007
RE Theory Meets Software Practice: Lessons from the Software Development Trenches.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

2005
Tools for constructing requirements specifications: the SCR Toolset at the age of nine.
Comput. Syst. Sci. Eng., 2005

Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.
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.
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.
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.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

1998
Automatic Generation of State Invariants from Requirements Specifications.
Proceedings of the SIGSOFT '98, 1998

1996
Automated Consistency Checking of Requirements Specifications.
ACM Trans. Softw. Eng. Methodol., 1996

1982
Bit vector encoding via decomposition.
Proceedings of the 20th Annual Southeast Regional Conference, 1982

1977
Parallel Decomposition of LR(k) Parsers (Extended Abstract).
Proceedings of the Automata, 1977


  Loading...