Formalizing Inductive Proofs of Network Algorithms. - Ramesh Bharadwaj; Amy P. Felty; Frank A. Stomp (ASIAN, 1995)

SCR*: A Toolset for Specifying and Analyzing Software Requirements. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw; Ramesh Bharadwaj (CAV, 1998)

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw; Myla Archer; Ramesh Bharadwaj (IEEE Trans. Software Eng., 1998)

Model Checking Complete Requirements Specifications Using Abstraction. - Ramesh Bharadwaj; Constance L. Heitmeyer (Autom. Softw. Eng., 1999)

Analysis of Agent-Based Systems Using Decision Procedures. - Ramesh Bharadwaj (FAABS, 2000)

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. - Ramesh Bharadwaj; Steve Sims (TACAS, 2000)

Applying the SCR Requirements Method to the Light Control Case Study. - Constance L. Heitmeyer; Ramesh Bharadwaj (J. Univers. Comput. Sci., 2000)

Verifiable Middleware for Secure Agent Interoperability. - Ramesh Bharadwaj (FAABS, 2002)

Naval Applications of Secure Multi-agent Technology. - Ramesh Bharadwaj (FAABS, 2002)

SOL: A Verifiable Synchronous Language for Reactive Systems. - Ramesh Bharadwaj (SLAP@ETAPS, 2002)

Secure Middleware for Situation-Aware Naval C2 and Combat Systems. - Ramesh Bharadwaj (FTDCS, 2003)

Introduction. - Ramesh Bharadwaj; Robert J. Hall 001 (Autom. Softw. Eng., 2004)

What Is SINS? - Ramesh Bharadwaj (COMPSAC (2), 2005)

Service Composition in a Secure Agent-Based Architecture. - Ramesh Bharadwaj; Supratik Mukhopadhyay; Nilay Padh (EEE, 2005)

Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. - Ralph D. Jeffords; Ramesh Bharadwaj (MEMOCODE, 2005)

Verified Software: The RealGrand Challenge. - Ramesh Bharadwaj (VSTTE, 2005)

Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. - Stephen S. Yau; Supratik Mukhopadhyay; Ramesh Bharadwaj (WORDS, 2005)

Tools for constructing requirements specifications: the SCR Toolset at the age of nine. - Constance L. Heitmeyer; Myla Archer; Ramesh Bharadwaj; Ralph D. Jeffords (Comput. Syst. Sci. Eng., 2005)

SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems. - Ramesh Bharadwaj; Supratik Mukhopadhyay (FTDCS, 2007)

RE Theory Meets Software Practice: Lessons from the Software Development Trenches. - Constance L. Heitmeyer; Ralph D. Jeffords; Ramesh Bharadwaj; Myla Archer (RE, 2007)

A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. - Ramesh Bharadwaj; Supratik Mukhopadhyay (COMPSAC, 2008)

Cognitive Distributed Networks in Environmental e-Science. - Ramesh Bharadwaj; Supratik Mukhopadhyay; Manuel Peralta; Krishna Shenai; Subhashis Majumder (FTDCS, 2008)

Automatic Synthesis and Deployment of Intensional Kahn Process Networks. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (FGIT-GDC, 2009)

'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. - Mohammad Rabby; Kaliappa Ravindran; Supratik Mukhopadhyay; Ramesh Bharadwaj; Gaurav Mangukiya (COMSNETS, 2011)

Functional "AJAX" in Secure Synchronous Programming. - Supratik Mukhopadhyay; Ramesh Bharadwaj; Hasan Davulcu (HICSS, 2011)

Counterfactually reasoning about security. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (SIN, 2011)

A complex-event-processing framework for smart-grid management. - Srivathsan Srinivasagopalan; Supratik Mukhopadhyay; Ramesh Bharadwaj (CogSIMA, 2012)

A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (ICDCS Workshops, 2013)

Reasoning about security in sensor networks. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (Concurr. Comput. Pract. Exp., 2015)

QoS Extension to a B.A.T.M.A.N. based LoRa Mesh Network. - Frederick M. Chache; Sean Maxon; Ram M. Narayanan; Ramesh Bharadwaj (MILCOM, 2021)

Improving Quality of Service in a Mesh Network Using Age of Information. - Frederick M. Chache; Sean Maxon; Ram M. Narayanan; Ramesh Bharadwaj (MILCOM, 2022)

Effects of Lossy Compression on the Age of Information in a Low Power Network. - Frederick M. Chache; Sean Maxon; Ram M. Narayanan; Ramesh Bharadwaj (WoWMoM, 2023)

A logical alarm for misaligned binary classifiers. - Andrés Corrada-Emmanuel; Ilya Parker; Ramesh Bharadwaj (CoRR, 2024)

Effects of Lossy Compression on the Value of Information in a Low Powered Network. - Frederick M. Chache; Caden J. Pici; Ramesh Bharadwaj (WoWMoM, 2025)

Cyber Security of Sensor Systems for State Sequence Estimation: an AI Approach. - Xubin Fang; Rick S. Blum; Ramesh Bharadwaj; Brian M. Sadler (CoRR, 2025)