Design, Implementation, and Validation of Secure Communications Systems. - Robert E. Strom; Shaula Yemini (Protocol Specification, Testing, and Verification, 1983)

Mechanisms for Compile-Time Enforcement of Security. - Robert E. Strom (POPL, 1983)

NIL: A High-Level Language for Distributed Systems Programming. - Francis N. Parr; Robert E. Strom (IBM Syst. J., 1983)

NIL: An integrated language and system for distributed programming. - Robert E. Strom; Shaula Yemini (SIGPLAN, 1983)

Synthesizing Distributed Protocols from Serial Programs. - Robert E. Strom; Shaula Yemini (PSTV, 1984)

Synthesizing Distributed and Parallel Programs through Optimistic Transformations. - Robert E. Strom; Shaula Yemini (ICPP, 1985)

Viewing Ada from a process model perspective. - Robert E. Strom; Shaula Yemini; Peter Wegner (SIGAda, 1985)

The NIL distributed systems programming language: a status report. - Robert E. Strom; Shaula Yemini (ACM SIGPLAN Notices, 1985)

Optimistic Recovery in Distributed Systems - Robert E. Strom; Shaula Yemini (ACM Trans. Comput. Syst., 1985)

A comparison of the object-oriented and process paradigms. - Robert E. Strom (OOPWORK, 1986)

A comparison of the object-oriented and process-oriented paradigms (abstract only). - Robert E. Strom (OOPWORK, 1986)

Typestate: A Programming Language Concept for Enhancing Software Reliability. - Robert E. Strom; Shaula Yemini (IEEE Trans. Software Eng., 1986)

A CCS semantics for NIL. - Scott A. Smolka; Robert E. Strom (Formal Description of Programming Concepts, 1987)

Volatile logging in n-fault-tolerant distributed systems. - Robert E. Strom; David F. Bacon; Shaula Yemini (FTCS, 1988)

Process Semantics: Universal Axioms Compositional Rules, and Applications. - Van Vicious Nguyen; Robert E. Strom (PODC, 1988)

Hermes - a language for distributed computing. - Robert E. Strom; David F. Bacon; Arthur P. Goldberg; Andy Lowry; Daniel M. Yellin; Shaula Yemini (Prentice Hall, 1991)

High-level language support for programming distributed systems. - Joshua S. Auerbach; David F. Bacon; Arthur P. Goldberg; Germán S. Goldszmidt; Mark T. Kennedy; Andy Lowry; James R. Russell; William Silverman; Robert E. Strom; Daniel M. Yellin; Shaula Yemini (CASCON, 1991)

Restoring Global States of Distributed Computations. - Arthur P. Goldberg; Ajei S. Gopal; Andy Lowry; Robert E. Strom (Workshop on Parallel and Distributed Debugging, 1991)

Optimistic Parallelization of Communicating Sequential Processes. - David F. Bacon; Robert E. Strom (PPoPP, 1991)

INC: A Language for Incremental Computations. - Daniel M. Yellin; Robert E. Strom (ACM Trans. Program. Lang. Syst., 1991)

High-level language support for programming distributed systems. - Joshua S. Auerbach; David F. Bacon; Arthur P. Goldberg; Germán S. Goldszmidt; Ajei S. Gopal; Mark T. Kennedy; Andy Lowry; James R. Russell; William Silverman; Robert E. Strom; Daniel M. Yellin; Shaula Yemini (ICCL, 1992)

A visual environment for distributed object-oriented multi-applications. - Robert E. Strom; Daniel M. Yellin (OOPSLA Addendum, 1992)

Extending Typestate Checking Using Conditional Liveness Analysis. - Robert E. Strom; Daniel M. Yellin (IEEE Trans. Software Eng., 1993)

A Checkable Interface Language for Pointer-Based Structures. - James R. Russell; Robert E. Strom; Daniel M. Yellin (Workshop on Interface Definition Languages, 1994)

Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors. - Daniel M. Yellin; Robert E. Strom (OOPSLA, 1994)

Do Programmers Need Seat Belts? - Daniel M. Yellin; Robert E. Strom; Richard P. Gabiel (ACM SIGPLAN Notices, 1996)

Protocol Specifications and Component Adaptors. - Daniel M. Yellin; Robert E. Strom (ACM Trans. Program. Lang. Syst., 1997)

Gryphon: An Information Flow Based Approach to Message Brokering - Robert E. Strom; Guruduth Banavar; Tushar Deepak Chandra; Marc A. Kaplan; Kevan Miller; Bodhi Mukherjee; Daniel C. Sturman; Michael Ward (CoRR, 1998)

Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects. - Robert E. Strom; Guruduth Banavar; Kevan Miller; Atul Prakash 001; Michael Ward (IEEE Trans. Computers, 1998)

An Efficient Multicast Protocol for Content-Based Publish-Subscribe Systems. - Guruduth Banavar; Tushar Deepak Chandra; Bodhi Mukherjee; Jay Nagarajarao; Robert E. Strom; Daniel C. Sturman (ICDCS, 1999)

Matching Events in a Content-Based Subscription System. - Marcos Kawazoe Aguilera; Robert E. Strom; Daniel C. Sturman; Mark Astley; Tushar Deepak Chandra (PODC, 1999)

A Case for Message Oriented Middleware. - Guruduth Banavar; Tushar Deepak Chandra; Robert E. Strom; Daniel C. Sturman (DISC, 1999)

Exploiting IP Multicast in Content-Based Publish-Subscribe Systems. - Lukasz Opyrchal; Mark Astley; Joshua S. Auerbach; Guruduth Banavar; Robert E. Strom; Daniel C. Sturman (Middleware, 2000)

Guava: a dialect of Java without data races. - David F. Bacon; Robert E. Strom; Ashis Tarafdar (OOPSLA, 2000)

Efficient atomic broadcast using deterministic merge. - Marcos Kawazoe Aguilera; Robert E. Strom (PODC, 2000)

The Optimistic Readers Transformation. - Robert E. Strom; Joshua S. Auerbach (ECOOP, 2001)

Exploitng event stream interpretation in publish-subscribe systems. - Yuanyuan Zhao; Robert E. Strom (PODC, 2001)

Exactly-once Delivery in a Content-based Publish-Subscribe System. - Sumeer Bhola; Robert E. Strom; Saurabh Bagchi; Yuanyuan Zhao; Joshua S. Auerbach (DSN, 2002)

Relational subscription middleware for Internet-scale publish-subscribe. - Yuhui Jin; Robert E. Strom (DEBS, 2003)

An Autonomic Messaging Middleware with Stateful Stream Transformation. - Roman Ginis; Robert E. Strom (ICAC, 2004)

Utility-Driven Proactive Management of Availability in Enterprise-Scale Information Flows. - Zhongtang Cai; Vibhore Kumar; Brian F. Cooper; Greg Eisenhauer; Karsten Schwan; Robert E. Strom (Middleware, 2006)

SMILE: distributed middleware for event stream processing. - Robert E. Strom; Chitra Dorai; Gerry Buttner; Ying Li (IPSN, 2007)

Placement of replicated message mediation components. - Ying Li; Robert E. Strom; Chitra Dorai (Middleware (Demos and Posters), 2007)

Biologically-Inspired Distributed Middleware Management for Stream Processing Systems. - Geetika T. Lakshmanan; Robert E. Strom (Middleware, 2008)

Placement Strategies for Internet-Scale Data Stream Systems. - Geetika T. Lakshmanan; Ying Li; Robert E. Strom (IEEE Internet Comput., 2008)

Providing transactional quality of service in event stream processing middleware. - Robert E. Strom; Chitra Dorai (DSN, 2009)

Deterministic Replay for Transparent Recovery in Component-Oriented Middleware. - Robert E. Strom; Chitra Dorai; Thomas Huining Feng; Wei Zheng (ICDCS, 2009)

Placement of replicated tasks for distributed stream processing systems. - Geetika T. Lakshmanan; Ying Li; Robert E. Strom (DEBS, 2010)