Ramesh Bharadwaj

	2011
23		Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya: 'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. COMSNETS 2011: 1-10
22		Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu: Functional "AJAX" in Secure Synchronous Programming. HICSS 2011: 1-10
21		Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj: Counterfactually reasoning about security. SIN 2011: 223-226
	2008
20		Ramesh Bharadwaj, Supratik Mukhopadhyay: A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC 2008: 227-230
	2007
19		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		Ramesh Bharadwaj: What Is SINS? COMPSAC (2) 2005: 11-12
17		Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh: Service Composition in a Secure Agent-Based Architecture. EEE 2005: 787-788
16		Ralph D. Jeffords, Ramesh Bharadwaj: Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. MEMOCODE 2005: 243-244
15		Ramesh Bharadwaj: Verified Software: The RealGrand Challenge. VSTTE 2005: 318-324
14		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		Ramesh Bharadwaj, Robert J. Hall: Introduction. Autom. Softw. Eng. 11(2): 99 (2004)
	2003
11		Ramesh Bharadwaj: Secure Middleware for Situation-Aware Naval C2 and Combat Systems. FTDCS 2003: 233-239
	2002
10		Ramesh Bharadwaj: Verifiable Middleware for Secure Agent Interoperability. FAABS 2002: 126-132
9		Ramesh Bharadwaj: Naval Applications of Secure Multi-agent Technology. FAABS 2002: 235
8		Ramesh Bharadwaj: SOL: A Verifiable Synchronous Language for Reactive Systems. Electr. Notes Theor. Comput. Sci. 65(5): 140-154 (2002)
	2000
7		Ramesh Bharadwaj: Analysis of Agent-Based Systems Using Decision Procedures. FAABS 2000: 298-299
6		Ramesh Bharadwaj, Steve Sims: Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. TACAS 2000: 378-394
5		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		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

Coauthor Index

1	Myla Archer	[2] [13] [19]
2	Hasan Davulcu	[22]
3	Amy P. Felty	[1]
4	Robert J. Hall	[12]
5	Constance L. Heitmeyer (Connie Heitmeyer)	[2] [3] [4] [5] [13] [19]
6	Ralph D. Jeffords	[13] [16] [19]
7	James Kirby	[2] [3]
8	Bruce G. Labaw	[2] [3]
9	Gaurav Mangukiya	[23]
10	Supratik Mukhopadhyay	[14] [17] [20] [21] [22] [23]
11	Nilay Padh	[17]
12	Manuel Peralta	[21]
13	Mohammad Rabby	[23]
14	Kaliappa Nadar Ravindran (Kaliappa Ravindran)	[23]
15	Steve Sims	[6]
16	Frank A. Stomp	[1]
17	Stephen S. Yau	[14]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page