Ramesh Bharadwaj
United States Naval Research Laboratory(US)
Publications by Year
Research Areas
Formal Methods in Verification, Software Reliability and Analysis Research, Advanced Software Engineering Methodologies, Software Testing and Debugging Techniques, Mobile Agent-Based Network Management
Most-Cited Works
- → Using abstraction and model checking to detect safety violations in requirements specifications(1998)190 cited
- → SCR: A toolset for specifying and analyzing software requirements(1998)148 cited
- → Model Checking Complete Requirements Specifications Using Abstraction(1999)135 cited
- Tools for constructing requirements specifications: the SCR Toolset at the age of nine.(2005)
- → Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking(2000)59 cited
- → Applying the SCR Requirements Method to the Light Control Case Study(2000)43 cited
- → SCR*: A Toolset for Specifying and Analyzing Software Requirements(1998)38 cited
- Verifying SCR Requirements Specifications Using State Exploration