Found 20 results
Filters: Author is Bharadwaj, Ramesh [Clear All Filters]
"RE Theory Meets Software Practice: Lessons from the Software Development Trenches", 15th IEEE International Requirements Engineering Conference, New Delhi, India, pp. 265-268, 2007.
"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.
"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.
"An Extended Framework for the Validation and Verification of Situation-Aware Middleware Architectures", Proceedings Ground System Architectures Workshop (GSAW 2003), Manhattan Beach, California, 2003.
"A Framework for the Formal Analysis of Multi-Agent Systems", Formal Approaches to Multi-Agent Systems (FAMAS), affiliated with ETAPS 2003, Warsaw, Poland, 2003.
"How to Fake a Rational Design Process using the SCR Method", Software Engineering for High Assurance Systems (SEHAS 2003), Portland, Oregon, 2003.
"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.
"Verifiable Middleware for Secure Agent Interoperability", 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems, Greenbelt, Maryland, 2003.
"Formal Analysis of Domain Models", International Workshop on Requirements for High Assurance Systems (RHAS'02), Essen, Germany, 2002.
"An Infrastructure for Secure Interoperability of Agents", Sixth World Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, 2002.
"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.
"SOL: A Verifiable Synchronous Language for Reactive Systems", Synchronous Languages, Applications, and Programming (SLAP'02), ETAPS'2002, Grenoble, France, 2002.
"Applying the SCR Requirements Method to the Light Control Case Study", Journal of Universal Computer Science, 2000.
"Developing High Assurance Avionics Systems with the SCR Requirements Method", 19th Digital Avionics Systems Conference, Philadelphia, Pennsylvania, 2000.
"Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking", Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000): Springer, 2000.
"Model Checking Complete Requirements Specifications Using Abstraction", Automated Software Engineering, vol. 6, issue 1, pp. 37-68, 1999.
"SCR*: A Toolset for Specifying and Analyzing Software Requirements", Computer-Aided Verification, 10th Ann. Conf. (CAV'98), Vancouver, BC, Canada, 1998.
"Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications", IEEE Transactions on Software Engineering, vol. 24, issue 11, 1998.
"Applying the SCR Requirements Method to a Simple Autopilot", Fourth NASA Langley Formal Methods Workshop, Hampton, Virginia, 1997.
"Verifying SCR Requirements Specifications using State Exploration", First ACM SIGPLAN Workshop on Automatic Analysis of Software, Paris, France, 1997.