Robert J. Stroud

46 papers A 5Journal 13Unranked 27

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