Concepedia

Ramesh Bharadwaj

RB

Statistics

Publications

10

Citations

531

H-Index

10

Active since

1997

Affiliations

United States Naval Research Laboratory(Current)

Naval Research Laboratory Information Technology Division

Ramesh Bharadwaj is an author at United States Naval Research Laboratory specializing in computer science, engineering, and formal methods.

Publications per year

1997–2023

10

Publications

10

Using abstraction and model checking to detect safety violations in requirements specifications

Constance Heitmeyer, James Kirby, B. Labaw et al. · IEEE Transactions on Software Engineering · 1998 · 191 citations

Engineering, Computer Engineering, Computer Science +15

Model Checking Complete Requirements Specifications Using Abstraction

Ramesh Bharadwaj, Constance Heitmeyer · Automated Software Engineering · 1999 · 136 citations

Computing, Computer Science, Systems Engineering +10

Tools for constructing requirements specifications: the SCR Toolset at the age of nine.

Constance Heitmeyer, Myla Archer, Ramesh Bharadwaj et al. · Computer Systems: Science & Engineering · 2005 · 65 citations

Engineering, Computer Science, Systems Engineering +17

Verifying SCR Requirements Specifications Using State Exploration

Ramesh Bharadwaj, Constance Heitmeyer · Defense Technical Information Center (DTIC) · 1997 · 32 citations

Engineering, Computer Engineering, Computer Science +17

Developing high assurance avionics systems with the SCR requirements method

Ramesh Bharadwaj, Constance Heitmeyer · 2002 · 32 citations

Engineering, Computer Science, Systems Engineering +17

1–5 of 10