| 2024 | SAFECOMP | Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. | Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2012 | SAFECOMP | How Secure Is ERTMS? | Richard Bloomfield, Robin E. Bloomfield, Ilir Gashi, Robert J. Stroud |
| 2011 | DSN | The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments. | Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang |
| 2011 | DSN | The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011. | Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang |
| 2004 | DSN | A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture. | Robert J. Stroud, Ian S. Welch, John P. Warne, Peter Y. A. Ryan |
| 2000 | ESORICS | Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code. | Ian Welch, Robert J. Stroud |
| 2000 | OOPSLA | Kava - a powerful and portable reflective Java (poster session). | Ian S. Welch, Robert J. Stroud |
| 1999 | OOPSLA | A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. | Avelino F. Zorzo, Robert J. Stroud |
| 1995 | ECOOP | Using Metaobject Protocols to Implement Atomic Data Types. | Robert J. Stroud, Zhixue Wu |