Robert J. Stroud

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 4

Top Topics

Lessons Learned

Semantic Analysis

Mobile Agent System

Top Venues

Publications

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops (2023)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR (2021)
Robin Bloomfield, Peter Bishop, Eoin Butler, Robert J. Stroud
Security-Informed Safety: Supporting Stakeholders with Codes of Practice. Computer 51 (8) (2018)
Robin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. RSSRail (2016)
Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud
Security-Informed Safety: If It's Not Secure, It's Not Safe. SERENE (2013)
Richard Bloomfield, Robin E. Bloomfield, Ilir Gashi, Robert J. Stroud
How Secure Is ERTMS? SAFECOMP Workshops (2012)
Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang
The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011. DSN Workshops (2011)
Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang
The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments. DSN (2011)
Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch
Intrusion-tolerant middleware: the road to automatic security. IEEE Secur. Priv. 4 (4) (2006)
Robert J. Stroud, Ian S. Welch, John P. Warne, Peter Y. A. Ryan
A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture. DSN (2004)
Ian S. Welch, Robert J. Stroud
Re-engineering Security as a Crosscutting Concern. Comput. J. 46 (5) (2003)
Ian Welch, Robert J. Stroud
Using Reflection as a Mechanism for Enforcing Security Policies on Compiled Code. J. Comput. Secur. 10 (4) (2002)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51 (2) (2002)
Ian Welch, Robert J. Stroud, Alexander B. Romanovsky
Aspects of Exceptions at the Meta-level. Reflection (2001)
Ian Welch, Robert J. Stroud
Kava - Using Byte code Rewriting to add Behavioural Reflection to Java. COOTS (2001)
Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud
An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. ACM SIGOPS Oper. Syst. Rev. 34 (4) (2000)
Ian Welch, Robert J. Stroud
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code. ESORICS (2000)
Ian S. Welch, Robert J. Stroud
Kava - a powerful and portable reflective Java (poster session). OOPSLA Addendum (2000)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS (1999)
Ian Welch, Robert J. Stroud
Runtime Implementation of Aspects Using Kava. ECOOP Workshops (1999)
Ian Welch, Robert J. Stroud
From Dalang to Kava - The Evolution of a Reflective Java Extension. Reflection (1999)
Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw. Pract. Exp. 29 (8) (1999)
Avelino F. Zorzo, Robert J. Stroud
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. OOPSLA (1999)
Ian Welch, Robert J. Stroud
Kava - A Reflective Java Based on Bytecode Rewriting. Reflection and Software Engineering (1999)
Ian Welch, Robert J. Stroud
Supporting Real World Security Models in Java. FTDCS (1999)
Ian Welch, Robert J. Stroud
A Reflective Java Class Loader. ECOOP Workshops (1998)
Ian Welch, Robert J. Stroud
Adaptation of Connectors in Software Architectures. ECOOP Workshops (1998)
Robert J. Stroud, Stuart E. Mitchell
ECOOP'98 Workshop on Reflective Object-Oriented Programming and Systems. ECOOP Workshops (1998)
Ian Welch, Robert J. Stroud
Dynamic Adaptation of the Security Properties of Applications and Components. ECOOP Workshops (1998)
Stuart E. Mitchell, Robert J. Stroud
Reflective Real-Time Object-Oriented Programming and Systems: Introduction to the ECOOP Workshop. ECOOP Workshops (1997)
Alexander B. Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo
Implementation of blocking coordinated atomic actions based on forward error recovery. J. Syst. Archit. 43 (10) (1997)
Jack Goldberg, Robert J. Stroud
Adaptive Fault-Tolerant Systems and Reflective Architectures. ECOOP Workshops (1997)
Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud
Data consistency in a distributed persistent object system. HICSS (2) (1995)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu
Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. FTCS (1995)
Robert J. Stroud, Zhixue Wu
Using Metaobject Protocols to Implement Atomic Data Types. ECOOP (1995)
Jean-Charles Fabre, Vincent Nicomette, Tanguy Pérennou, Robert J. Stroud, Zhixue Wu
Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. FTCS (1995)
Zhixue Wu, Robert J. Stroud, Ken Moody, Jean Bacon
The design and implementation of a distributed transaction system based on atomic data types. Distributed Syst. Eng. 2 (1) (1995)
Robert J. Stroud, Zhixue Wu
Using Meta-Objects to Adapt a Persistent Object System to Meet Application Needs. ACM SIGOPS European Workshop (1994)
Robert J. Stroud
Transparency and Reflection in Distributed Systems. ACM SIGOPS Oper. Syst. Rev. 27 (2) (1993)
Robert J. Stroud
Transparency and reflection in distributed systems. ACM SIGOPS European Workshop (1992)
Robert J. Stroud
Autonomy or interdependence in distributed systems? ACM SIGOPS European Workshop (1988)
Lindsay F. Marshall, Robert J. Stroud, Brian Randell
Making distributed systems work: position paper for Amsterdam workshop. ACM SIGOPS European Workshop (1986)