Making distributed systems work: position paper for Amsterdam workshop. - Lindsay F. Marshall; Robert J. Stroud; Brian Randell (ACM SIGOPS European Workshop, 1986)

Autonomy or interdependence in distributed systems? - Robert J. Stroud (ACM SIGOPS European Workshop, 1988)

Transparency and Reflection in Distributed Systems. - Robert J. Stroud (ACM SIGOPS Oper. Syst. Rev., 1993)

Using Meta-Objects to Adapt a Persistent Object System to Meet Application Needs. - Robert J. Stroud; Zhixue Wu (ACM SIGOPS European Workshop, 1994)

Using Metaobject Protocols to Implement Atomic Data Types. - Robert J. Stroud; Zhixue Wu (ECOOP, 1995)

Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. - Jean-Charles Fabre; Vincent Nicomette; Tanguy Pérennou; Robert J. Stroud; Zhixue Wu (FTCS, 1995)

Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Cecília M. F. Rubira; Robert J. Stroud; Zhixue Wu (FTCS, 1995)

Data consistency in a distributed persistent object system. - Zhixue Wu; Ken Moody; Jean Bacon; Robert J. Stroud (HICSS (2), 1995)

The design and implementation of a distributed transaction system based on atomic data types. - Zhixue Wu; Robert J. Stroud; Ken Moody; Jean Bacon (Distributed Syst. Eng., 1995)

Adaptive Fault-Tolerant Systems and Reflective Architectures. - Jack Goldberg; Robert J. Stroud (ECOOP Workshops, 1997)

Reflective Real-Time Object-Oriented Programming and Systems: Introduction to the ECOOP Workshop. - Stuart E. Mitchell; Robert J. Stroud (ECOOP Workshops, 1997)

Implementation of blocking coordinated atomic actions based on forward error recovery. - Alexander B. Romanovsky; Brian Randell; Robert J. Stroud; Jie Xu 007; Avelino Francisco Zorzo (J. Syst. Archit., 1997)

ECOOP'98 Workshop on Reflective Object-Oriented Programming and Systems. - Robert J. Stroud; Stuart E. Mitchell (ECOOP Workshops, 1998)

Adaptation of Connectors in Software Architectures. - Ian Welch; Robert J. Stroud (ECOOP Workshops, 1998)

Dynamic Adaptation of the Security Properties of Applications and Components. - Ian Welch; Robert J. Stroud (ECOOP Workshops, 1998)

A Reflective Java Class Loader. - Ian Welch; Robert J. Stroud (ECOOP Workshops, 1998)

Runtime Implementation of Aspects Using Kava. - Ian Welch; Robert J. Stroud (ECOOP Workshops, 1999)

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (FTCS, 1999)

Supporting Real World Security Models in Java. - Ian Welch; Robert J. Stroud (FTDCS, 1999)

A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. - Avelino F. Zorzo; Robert J. Stroud (OOPSLA, 1999)

Kava - A Reflective Java Based on Bytecode Rewriting. - Ian Welch; Robert J. Stroud (Reflection and Software Engineering, 1999)

From Dalang to Kava - The Evolution of a Reflective Java Extension. - Ian Welch; Robert J. Stroud (Reflection, 1999)

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. - Avelino F. Zorzo; Alexander B. Romanovsky; Jie Xu 007; Brian Randell; Robert J. Stroud; Ian Welch (Softw. Pract. Exp., 1999)

Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code. - Ian Welch; Robert J. Stroud (ESORICS, 2000)

Kava - a powerful and portable reflective Java (poster session). - Ian S. Welch; Robert J. Stroud (OOPSLA Addendum, 2000)

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. - Delano M. Beder; Alexander B. Romanovsky; Brian Randell; C. Richard Snow; Robert J. Stroud (ACM SIGOPS Oper. Syst. Rev., 2000)

Kava - Using Byte code Rewriting to add Behavioural Reflection to Java. - Ian Welch; Robert J. Stroud (COOTS, 2001)

Aspects of Exceptions at the Meta-level. - Ian Welch; Robert J. Stroud; Alexander B. Romanovsky (Reflection, 2001)

Using Reflection as a Mechanism for Enforcing Security Policies on Compiled Code. - Ian Welch; Robert J. Stroud (J. Comput. Secur., 2002)

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (IEEE Trans. Computers, 2002)

Re-engineering Security as a Crosscutting Concern. - Ian S. Welch; Robert J. Stroud (Comput. J., 2003)

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 (DSN, 2004)

Intrusion-tolerant middleware: the road to automatic security. - Paulo Veríssimo; Nuno Ferreira Neves; Christian Cachin; Jonathan A. Poritz; David Powell; Yves Deswarte; Robert J. Stroud; Ian Welch (IEEE Secur. Priv., 2006)

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 (DSN, 2011)

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 (DSN Workshops, 2011)

How Secure Is ERTMS? - Richard Bloomfield; Robin E. Bloomfield; Ilir Gashi; Robert J. Stroud (SAFECOMP Workshops, 2012)

Security-Informed Safety: If It's Not Secure, It's Not Safe. - Robin E. Bloomfield; Kateryna Netkachova; Robert J. Stroud (SERENE, 2013)

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. - Robin E. Bloomfield; Marcus Bendele; Peter G. Bishop; Robert J. Stroud; Simon Tonks (RSSRail, 2016)

Security-Informed Safety: Supporting Stakeholders with Codes of Practice. - Robin Bloomfield; Peter Bishop 001; Eoin Butler; Robert J. Stroud (Computer, 2018)

Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo (CoRR, 2021)

Semantic Analysis of Assurance Cases using s(CASP). - Anitha Murugesan; Isaac Hong Wong; Robert J. Stroud; Joaquín Arias; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; Srivatsan Varadarajan; John Rushby (ICLP Workshops, 2023)

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. - Srivatsan Varadarajan; Robin Bloomfield; John Rushby; Gopal Gupta 001; Anitha Murugesan; Robert J. Stroud; Kateryna Netkachova; Isaac Hong Wong; Joaquín Arias (SAFECOMP (Workshops), 2024)

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. - Anitha Murugesan; Isaac Hong Wong; Joaquín Arias; Robert J. Stroud; Srivatsan Varadarajan; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; John Rushby (Theory Pract. Log. Program., 2024)