Search the dblp DataBase

Publications of Author

1. Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp
   Formalizing Inductive Proofs of Network Algorithms. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1995, pp:335-349 [Conf]
   
2. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
   SCR*: A Toolset for Specifying and Analyzing Software Requirements. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:526-531 [Conf]
   
3. Ramesh Bharadwaj
   What Is SINS? [Citation Graph (0, 0)][DBLP]
   COMPSAC (2), 2005, pp:11-12 [Conf]
   
4. Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh
   Service Composition in a Secure Agent-Based Architecture. [Citation Graph (0, 0)][DBLP]
   EEE, 2005, pp:787-788 [Conf]
   
5. Ramesh Bharadwaj
   Analysis of Agent-Based Systems Using Decision Procedures. [Citation Graph (0, 0)][DBLP]
   FAABS, 2000, pp:298-299 [Conf]
   
6. Ramesh Bharadwaj
   Verifiable Middleware for Secure Agent Interoperability. [Citation Graph (0, 0)][DBLP]
   FAABS, 2002, pp:126-132 [Conf]
   
7. Ramesh Bharadwaj
   Naval Applications of Secure Multi-agent Technology. [Citation Graph (0, 0)][DBLP]
   FAABS, 2002, pp:235- [Conf]
   
8. Ramesh Bharadwaj
   Secure Middleware for Situation-Aware Naval C2 and Combat Systems. [Citation Graph (0, 0)][DBLP]
   FTDCS, 2003, pp:233-239 [Conf]
   
9. Ralph D. Jeffords, Ramesh Bharadwaj
   Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2005, pp:243-244 [Conf]
   
10. Ramesh Bharadwaj, Steve Sims
    Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:378-394 [Conf]
    
11. Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj
    Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:197-204 [Conf]
    
12. Ramesh Bharadwaj, Robert J. Hall
    Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:99-99 [Journal]
    
13. Ramesh Bharadwaj, Constance L. Heitmeyer
    Model Checking Complete Requirements Specifications Using Abstraction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:1, pp:37-68 [Journal]
    
14. Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
    Tools for constructing requirements specifications: the SCR Toolset at the age of nine. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2005, v:20, n:1, pp:- [Journal]
    
15. Ramesh Bharadwaj
    SOL: A Verifiable Synchronous Language for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
    
16. Constance L. Heitmeyer, Ramesh Bharadwaj
    Applying the SCR Requirements Method to the Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:650-678 [Journal]
    
17. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
    Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:11, pp:927-948 [Journal]
    
18. 
    A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    RE Theory Meets Software Practice: Lessons from the Software Development Trenches. [Citation Graph (, )][DBLP]
    
    
20. 
    Verified Software: The RealGrand Challenge. [Citation Graph (, )][DBLP]