Searching for authors named "Ramesh Bharadwaj" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Analysis of agent-based systems using decision procedures
- …, Heidelberg, Germany, July 2001 Ramesh Bharadwaj Naval Research Laboratory Washington, DC 20375-5320 ramesh…
- Cited by 1 (0 self) – Add To MetaCart
-
SINS: A Middleware for Autonomous Agents and Secure Code Mobility (Extended Abstract)
- … Multiagent Systems (SEMAS-2002). AAMAS 2002, Bologna, Italy. July 16, 2002 [Extended Abstract] Ramesh…
- Cited by 2 (2 self) – Add To MetaCart
-
SOL: A Verifiable Synchronous Language for Reactive Systems
- …, Applications, and Programming (SLAP'02). Electronic Notes in Theoretical Computer Science, Elsevier. Ramesh…
- Cited by 3 (0 self) – Add To MetaCart
-
Secure Middleware for Situation-Aware Naval C² and Combat Systems
- … and This work is supported by the O ce of Naval Research. Dr. Ramesh Bharadwaj Center for High Assurance…
- Cited by 2 (0 self) – Add To MetaCart
-
Hardware/Software Co-Design and Co-Validation Using the SCR Method
- … Level Design Validation and Test Workshop (HLDVT'99), Nov 1999 Ramesh Bharadwaj and Constance Heitmeyer…
- Cited by 4 (2 self) – Add To MetaCart
-
Applying the SCR Requirements Method to the Light Control Case Study
- … Research Laboratory (Code 5546) Washington, DC 20375 heitmeyer@(email omitted); Ramesh Bharadwaj Naval…
- Cited by 9 (2 self) – Add To MetaCart
-
Applying the SCR Requirements Method to a Simple Autopilot
- … Methods Workshop, Sep 1997 Ramesh Bharadwaj and Constance Heitmeyer Center for High Assurance Computer…
- Cited by 7 (3 self) – Add To MetaCart
-
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
- …, Springer. Ramesh Bharadwaj 1 and Steve Sims 2 1 Center for High Assurance Computer Systems Naval…
- Cited by 19 (6 self) – Add To MetaCart
-
Verifying SCR Requirements Specifications Using State Exploration
- … Workshop on Automatic Analysis of Software, Jan 1997 Ramesh Bharadwaj and Constance Heitmeyer Center…
- Cited by 26 (6 self) – Add To MetaCart
-
Applying the SCR Requirements Specification Method to Practical Systems: A Case Study
- … Ramesh Bharadwaj and Connie Heitmeyer Center for High Assurance Computer Systems Naval Research…
- Cited by 6 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
