Ralph D. Jeffords
According to our database1, Ralph D. Jeffords authored at least 13 papers between 1977 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Direct generation of invariants for reactive models.
Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012
Model-based construction and verification of critical systems using composition and partial refinement.
Formal Methods in System Design, 2010
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.
Proceedings of the FM 2009: Formal Methods, 2009
RE Theory Meets Software Practice: Lessons from the Software Development Trenches.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007
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
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
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
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
Automatic Generation of State Invariants from Requirements Specifications.
Proceedings of the SIGSOFT '98, 1998
Automated Consistency Checking of Requirements Specifications.
ACM Trans. Softw. Eng. Methodol., 1996
Bit vector encoding via decomposition.
Proceedings of the 20th Annual Southeast Regional Conference, 1982
Parallel Decomposition of LR(k) Parsers (Extended Abstract).
Proceedings of the Automata, 1977