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