Ramesh Bharadwaj

According to our database1, Ramesh Bharadwaj authored at least 28 papers between 1995 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Reasoning about security in sensor networks.
Concurr. Comput. Pract. Exp., 2015

A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing.
Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

Counterfactually reasoning about security.
Proceedings of the 4th International Conference on Security of Information and Networks, 2011

Functional "AJAX" in Secure Synchronous Programming.
Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths.
Proceedings of the Third International Conference on Communication Systems and Networks, 2011

Automatic Synthesis and Deployment of Intensional Kahn Process Networks.
Proceedings of the Grid and Distributed Computing, 2009

Cognitive Distributed Networks in Environmental e-Science.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

RE Theory Meets Software Practice: Lessons from the Software Development Trenches.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

Tools for constructing requirements specifications: the SCR Toolset at the age of nine.
Comput. Syst. Sci. Eng., 2005

Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Verified Software: The RealGrand Challenge.
Proceedings of the Verified Software: Theories, 2005

Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Service Composition in a Secure Agent-Based Architecture.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

What Is SINS?
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Autom. Softw. Eng., 2004

Secure Middleware for Situation-Aware Naval C2 and Combat Systems.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

SOL: A Verifiable Synchronous Language for Reactive Systems.
Electron. Notes Theor. Comput. Sci., 2002

Naval Applications of Secure Multi-agent Technology.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Verifiable Middleware for Secure Agent Interoperability.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Applying the SCR Requirements Method to the Light Control Case Study.
J. UCS, 2000

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Analysis of Agent-Based Systems Using Decision Procedures.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Model Checking Complete Requirements Specifications Using Abstraction.
Autom. Softw. Eng., 1999

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.
IEEE Trans. Software Eng., 1998

SCR*: A Toolset for Specifying and Analyzing Software Requirements.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Formalizing Inductive Proofs of Network Algorithms.
Proceedings of the Algorithms, 1995