Robert J. Stroud - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 43 from 43

2024

2023

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

2018

Security-Informed Safety: Supporting Stakeholders with Codes of PracticeRobin Bloomfield, Peter Bishop 0001, Eoin Butler, Robert J. Stroud. Computer, 51(8):60-65, 2018. [doi]

2016

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons LearnedRobin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks. rssrail 2016: 3-19 [doi]

2013

Security-Informed Safety: If It's Not Secure, It's Not SafeRobin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud. SERENE 2013: 17-32 [doi]

2012

How Secure Is ERTMS?Richard Bloomfield, Robin E. Bloomfield, Ilir Gashi, Robert J. Stroud. safecomp 2012: 247-258 [doi]

2011

The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang. dsn 2011: 97-98 [doi]

The First International Workshop on Dependability of Clouds, data centers and Virtual Computing EnvironmentsJogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang. dsn 2011: 590-591 [doi]

2006

Intrusion-tolerant middleware: the road to automatic securityPaulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch. ieeesp, 4(4):54-62, 2006. [doi]

2004

A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA ArchitectureRobert J. Stroud, Ian S. Welch, John P. Warne, Peter Y. A. Ryan. dsn 2004: 453 [doi]

2003

Re-engineering Security as a Crosscutting ConcernIan S. Welch, Robert J. Stroud. cj, 46(5):578-589, 2003. [doi]

2002

Using Reflection as a Mechanism for Enforcing Security Policies on Compiled CodeIan Welch, Robert J. Stroud. jcs, 10(4):399-432, 2002.

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic ActionsJie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. TC, 51(2):164-179, 2002. [doi]

2001

Kava - Using Byte code Rewriting to add Behavioural Reflection to JavaIan Welch, Robert J. Stroud. coots 2001: 119-130 [doi]

Aspects of Exceptions at the Meta-levelIan Welch, Robert J. Stroud, Alexander B. Romanovsky. reflection 2001: 280-281 [doi]

2000

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway SchedulingDelano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud. sigops, 34(4):21-31, 2000.

Kava - a powerful and portable reflective Java (poster session)Ian S. Welch, Robert J. Stroud. OOPSLA 2000: 123-124 [doi]

Using Reflection as a Mechanism for Enforcing Security Policies in Mobile CodeIan Welch, Robert J. Stroud. esorics 2000: 309-323 [doi]

1999

Kava - A Reflective Java Based on Bytecode RewritingIan Welch, Robert J. Stroud. oorase 2000: 155-167 [doi]

Supporting Real World Security Models in JavaIan Welch, Robert J. Stroud. ftdcs 1999: 155-162 [doi]

Runtime Implementation of Aspects Using KavaIan Welch, Robert J. Stroud. ECOOPW 1999: 303-304

From Dalang to Kava - The Evolution of a Reflective Java ExtensionIan Welch, Robert J. Stroud. reflection 1999: 2-21 [doi]

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic ActionsJie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. ftcs 1999: 68-75 [doi]

A Distributed Object-Oriented Framework for Dependable Multiparty InteractionsAvelino F. Zorzo, Robert J. Stroud. OOPSLA 1999: 435-446 [doi]

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case StudyAvelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch. SPE, 29(8):677-697, 1999.

1998

1997

Adaptive Fault-Tolerant Systems and Reflective ArchitecturesJack Goldberg, Robert J. Stroud. ECOOPW 1998: 80-88 [doi]

Reflective Real-Time Object-Oriented Programming and Systems: Introduction to the ECOOP WorkshopStuart E. Mitchell, Robert J. Stroud. ECOOPW 1998: 51-54 [doi]

Implementation of blocking coordinated atomic actions based on forward error recoveryAlexander Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo. jsa, 43(10):687-699, 1997. [doi]

1995

1994

Using Meta-Objects to Adapt a Persistent Object System to Meet Application NeedsRobert J. Stroud, Zhixue Wu. sigopsE 1994: 35-38

1993

Transparency and Reflection in Distributed SystemsRobert J. Stroud. sigops, 27(2):99-103, 1993.

1992

Transparency and reflection in distributed systemsRobert J. Stroud. sigopsE 1992: [doi]

1988

Autonomy or interdependence in distributed systems?Robert J. Stroud. sigopsE 1988: [doi]

1986

Making distributed systems work: position paper for Amsterdam workshopLindsay F. Marshall, Robert J. Stroud, Brian Randell. sigopsE 1986: [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Robert J. Stroud'

Viewing Publication 1 - 43 from 43

2024

2023

2018

2016

2013

2012

2011

2006

2004

2003

2002

2001

2000

1999

1998

1997

1995

1994

1993

1992

1988

1986

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Robert J. Stroud'

Viewing Publication 1 - 43 from 43

2024

2023

2018

2016

2013

2012

2011

2006

2004

2003

2002

2001

2000

1999

1998

1997

1995

1994

1993

1992

1988

1986

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1