Ramesh Bharadwaj

36 papers A* 1A 2B 1C 4Misc 2Journal 8Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Cyber Security of Sensor Systems for State Sequence Estimation: an AI Approach. CoRR Xubin Fang, Rick S. Blum, Ramesh Bharadwaj, Brian M. Sadler
2025	—	`conf`	Data Rate Control for Closing Networked Control System Loop Over Costly Wireless Channel. ICC Frederick M. Chache, Caden J. Pici, Ramesh Bharadwaj
2025	C	`conf`	Effects of Lossy Compression on the Value of Information in a Low Powered Network. WoWMoM Frederick M. Chache, Caden J. Pici, Ramesh Bharadwaj
2024	J	`jnl`	A logical alarm for misaligned binary classifiers. CoRR Andrés Corrada-Emmanuel, Ilya Parker, Ramesh Bharadwaj
2023	C	`conf`	Effects of Lossy Compression on the Age of Information in a Low Power Network. WoWMoM Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj
2022	—	`conf`	Improving Quality of Service in a Mesh Network Using Age of Information. MILCOM Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj
2021	—	`conf`	QoS Extension to a B.A.T.M.A.N. based LoRa Mesh Network. MILCOM Frederick M. Chache, Sean Maxon, Ram M. Narayanan, Ramesh Bharadwaj
2015	J	`jnl`	Reasoning about security in sensor networks. Concurr. Comput. Pract. Exp. Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2013	—	`conf`	A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. ICDCS Workshops Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2012	Misc	`conf`	A complex-event-processing framework for smart-grid management. CogSIMA Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj
2011	Misc	`conf`	'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. COMSNETS Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya
2011	C	`conf`	Counterfactually reasoning about security. SIN Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2011	—	`conf`	Functional "AJAX" in Secure Synchronous Programming. HICSS Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu
2009	—	`conf`	Automatic Synthesis and Deployment of Intensional Kahn Process Networks. FGIT-GDC Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2008	B	`conf`	A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC Ramesh Bharadwaj, Supratik Mukhopadhyay
2008	—	`conf`	Cognitive Distributed Networks in Environmental e-Science. FTDCS Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder
2007	A	`conf`	RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer
2007	—	`conf`	SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems. FTDCS Ramesh Bharadwaj, Supratik Mukhopadhyay
2005	C	`conf`	Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. MEMOCODE Ralph D. Jeffords, Ramesh Bharadwaj
2005	—	`conf`	Service Composition in a Secure Agent-Based Architecture. EEE Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh
2005	—	`conf`	Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj
2005	J	`jnl`	Tools for constructing requirements specifications: the SCR Toolset at the age of nine. Comput. Syst. Sci. Eng. Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
2005	—	`conf`	Verified Software: The RealGrand Challenge. VSTTE Ramesh Bharadwaj
2005	—	`conf`	What Is SINS? COMPSAC (2) Ramesh Bharadwaj
2004	J	`jnl`	Introduction. Autom. Softw. Eng. Ramesh Bharadwaj, Robert J. Hall
2003	—	`conf`	Secure Middleware for Situation-Aware Naval C2 and Combat Systems. FTDCS Ramesh Bharadwaj
2002	—	`conf`	Naval Applications of Secure Multi-agent Technology. FAABS Ramesh Bharadwaj
2002	—	`conf`	SOL: A Verifiable Synchronous Language for Reactive Systems. SLAP Ramesh Bharadwaj
2002	—	`conf`	Verifiable Middleware for Secure Agent Interoperability. FAABS Ramesh Bharadwaj
2000	—	`conf`	Analysis of Agent-Based Systems Using Decision Procedures. FAABS Ramesh Bharadwaj
2000	J	`jnl`	Applying the SCR Requirements Method to the Light Control Case Study. J. Univers. Comput. Sci. Constance L. Heitmeyer, Ramesh Bharadwaj
2000	A	`conf`	Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. TACAS Ramesh Bharadwaj, Steve Sims
1999	J	`jnl`	Model Checking Complete Requirements Specifications Using Abstraction. Autom. Softw. Eng. Ramesh Bharadwaj, Constance L. Heitmeyer
1998	A*	`conf`	SCR*: A Toolset for Specifying and Analyzing Software Requirements. CAV Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
1998	J	`jnl`	Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Trans. Software Eng. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
1995	—	`conf`	Formalizing Inductive Proofs of Network Algorithms. ASIAN Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp