Found 20 results
Filters: Author is Bharadwaj, Ramesh  [Clear All Filters]
2007
Heitmeyer, C. L., R. Jeffords, R. Bharadwaj, and M. Archer, "RE Theory Meets Software Practice: Lessons from the Software Development Trenches", 15th IEEE International Requirements Engineering Conference, New Delhi, India, pp. 265-268, 2007. Heitmeyer etal2007.pdf (521.34 KB)
2005
Jeffords, R., and R. Bharadwaj, "Extended Abstract: Formal Verification of Architectural Patterns in Support of Dependable Distributed Systems", Third ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'05), Verona, Italy, 2005. JeffordsBharadwaj2005.pdf (59.54 KB)
Heitmeyer, C. L., M. Archer, R. Bharadwaj, and R. Jeffords, "Tools for constructing requirements specifications: The SCR toolset at the age of ten", International Journal of Computer Systems Science and Engineering, vol. 20, issue 1, pp. 19-35, 2005. Heitmeyer etal2005.pdf (774.15 KB)
2003
Kim, SE., P. In, and R. Bharadwaj, "An Extended Framework for the Validation and Verification of Situation-Aware Middleware Architectures", Proceedings Ground System Architectures Workshop (GSAW 2003), Manhattan Beach, California, 2003. Kim etal2003.pdf (52.47 KB)
Bharadwaj, R., "A Framework for the Formal Analysis of Multi-Agent Systems", Formal Approaches to Multi-Agent Systems (FAMAS), affiliated with ETAPS 2003, Warsaw, Poland, 2003. Bharadwaj2003c.pdf (228.44 KB)
Bharadwaj, R., "How to Fake a Rational Design Process using the SCR Method", Software Engineering for High Assurance Systems (SEHAS 2003), Portland, Oregon, 2003. Bharadwaj2003b.pdf (75.62 KB)
Bharadwaj, R., "Secure Middleware for Situation-Aware Naval C2 and Combat Systems", 9th International Workshop on Future Trends of Distributed Comput ing Systems (FTDCS 2003), San Juan, Puerto Rico, 2003. Bharadwaj2003.pdf (169.53 KB)
Bharadwaj, R., "Verifiable Middleware for Secure Agent Interoperability", 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems, Greenbelt, Maryland, 2003. Bharadwaj2003d.pdf (183.81 KB)
2002
Bharadwaj, R., "Formal Analysis of Domain Models", International Workshop on Requirements for High Assurance Systems (RHAS'02), Essen, Germany, 2002. Bharadwaj2002.pdf (200.72 KB)
Bharadwaj, R., J. Froscher, A. Khashnobish, and J. Tracy, "An Infrastructure for Secure Interoperability of Agents", Sixth World Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, 2002. Bharadwaj etal2002.pdf (32.11 KB)
Bharadwaj, R., "SINS: A middleware for autonomous agents and secure code mobility", Second International Workshop on Security of Mobile Multi-Agent Systems (SEMAS-02), First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy, 2002. Bharadwaj2002b.pdf (119.17 KB)
Bharadwaj, R., "SOL: A Verifiable Synchronous Language for Reactive Systems", Synchronous Languages, Applications, and Programming (SLAP'02), ETAPS'2002, Grenoble, France, 2002. Bharadwaj2002c.pdf (219.78 KB)
2000
Heitmeyer, C. L., and R. Bharadwaj, "Applying the SCR Requirements Method to the Light Control Case Study", Journal of Universal Computer Science, 2000. HeitmeyerBharadwaj2000.pdf (363.13 KB)
Bharadwaj, R., and C. L. Heitmeyer, "Developing High Assurance Avionics Systems with the SCR Requirements Method", 19th Digital Avionics Systems Conference, Philadelphia, Pennsylvania, 2000. BharadwajHeitmeyer2000.pdf (71.48 KB)
Bharadwaj, R., and S. Sims, "Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking", Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000): Springer, 2000. BharadwajSims2000.pdf (265.25 KB)
1999
Bharadwaj, R., and C. L. Heitmeyer, "Model Checking Complete Requirements Specifications Using Abstraction", Automated Software Engineering, vol. 6, issue 1, pp. 37-68, 1999. BharadwajHeitmeyer1999.pdf (171.03 KB)
1998
Heitmeyer, C. L., J. Kirby, Jr, B. Labaw, and R. Bharadwaj, "SCR*: A Toolset for Specifying and Analyzing Software Requirements", Computer-Aided Verification, 10th Ann. Conf. (CAV'98), Vancouver, BC, Canada, 1998. Heitmeyer etal1998.pdf (154.77 KB)
Heitmeyer, C. L., J. Kirby, Jr, B. Labaw, M. Archer, and R. Bharadwaj, "Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications", IEEE Transactions on Software Engineering, vol. 24, issue 11, 1998. Heitmeyer etal1998b.pdf (897.72 KB)
1997
Bharadwaj, R., and C. L. Heitmeyer, "Applying the SCR Requirements Method to a Simple Autopilot", Fourth NASA Langley Formal Methods Workshop, Hampton, Virginia, 1997. BharadwajHeitmeyer1997b.pdf (289.85 KB)
Bharadwaj, R., and C. L. Heitmeyer, "Verifying SCR Requirements Specifications using State Exploration", First ACM SIGPLAN Workshop on Automatic Analysis of Software, Paris, France, 1997. BharadwajHeitmeyer1997.pdf (248.61 KB)