1. Bharadwaj, R.: SINS:a middleware for autonomous agents and secure code mobility. In: Proc. Second International Workshop on Security of Mobile Multi-Agent Systems (SEMAS 2002), Bologna, Italy (July 2002)
2. Bharadwaj, R.: Verifiable middleware for secure agent interoperability. In: Proc. Second Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems, Greenbelt, MD (October 2002)
3. Bharadwaj, R.: A framework for the formal analysis of multi-agent systems. In: Proc. Formal Approaches to Multi-Agent Systems, Warsaw, Poland (April 2003)
4. Lecture Notes in Computer Science;R. Bharadwaj,2006
5. Bharadwaj, R., Heitmeyer, C.: Hardware/software co-design and co-validation using the SCR method. In: Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT 1999), San Diego, CA (November 1999)