Robert J. Stroud

CoRR, 2021

2018

Security-Informed Safety: Supporting Stakeholders with Codes of Practice.

[BibT_eX]

[DOI]

Computer, 2018

2016

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2013

Security-Informed Safety: If It's Not Secure, It's Not Safe.

[BibT_eX]

[DOI]

Robin E. Bloomfield

Kateryna Netkachova

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

2012

How Secure Is ERTMS?

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

2011

The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2006

Intrusion-tolerant middleware: the road to automatic security.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2006

2004

A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Re-engineering Security as a Crosscutting Concern.

[BibT_eX]

[DOI]

Ian S. Welch

Comput. J., 2003

2002

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.

[BibT_eX]

[DOI]

Ercument Canver

Friedrich W. von Henke

IEEE Trans. Computers, 2002

Using Reflection as a Mechanism for Enforcing Security Policies on Compiled Code.

[BibT_eX]

[DOI]

J. Comput. Secur., 2002

2001

Aspects of Exceptions at the Meta-level.

[BibT_eX]

[DOI]

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Kava - Using Byte code Rewriting to add Behavioural Reflection to Java.

[BibT_eX]

[DOI]

Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

2000

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.

[BibT_eX]

[DOI]

Delano M. Beder

C. Richard Snow

ACM SIGOPS Oper. Syst. Rev., 2000

Kava - a powerful and portable reflective Java (poster session).

[BibT_eX]

[DOI]

Ian S. Welch

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2000

1999

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1999

From Dalang to Kava - The Evolution of a Reflective Java Extension.

[BibT_eX]

[DOI]

Proceedings of the Meta-Level Architectures and Reflection, 1999

Kava - A Reflective Java Based on Bytecode Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Reflection and Software Engineering, 1999

A Distributed Object-Oriented Framework for Dependable Multiparty Interactions.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Supporting Real World Security Models in Java.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.

[BibT_eX]

[DOI]

Ercument Canver

Friedrich W. von Henke

Proceedings of the Digest of Papers: FTCS-29, 1999

Runtime Implementation of Aspects Using Kava.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

A Reflective Java Class Loader.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Dynamic Adaptation of the Security Properties of Applications and Components.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Adaptation of Connectors in Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

ECOOP'98 Workshop on Reflective Object-Oriented Programming and Systems.

[BibT_eX]

[DOI]

Stuart E. Mitchell

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Implementation of blocking coordinated atomic actions based on forward error recovery.

[BibT_eX]

[DOI]

Avelino Francisco Zorzo

J. Syst. Archit., 1997

Reflective Real-Time Object-Oriented Programming and Systems: Introduction to the ECOOP Workshop.

[BibT_eX]

[DOI]

Stuart E. Mitchell

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Adaptive Fault-Tolerant Systems and Reflective Architectures.

[BibT_eX]

[DOI]

Jack Goldberg

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1995

The design and implementation of a distributed transaction system based on atomic data types.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1995

Data consistency in a distributed persistent object system.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery.

[BibT_eX]

[DOI]

Cecília M. F. Rubira

Zhixue Wu

Proceedings of the Digest of Papers: FTCS-25, 1995

Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-25, 1995

Using Metaobject Protocols to Implement Atomic Data Types.

[BibT_eX]

[DOI]

Zhixue Wu

Proceedings of the ECOOP'95, 1995

1994

Using Meta-Objects to Adapt a Persistent Object System to Meet Application Needs.

[BibT_eX]

[DOI]

Zhixue Wu

Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

1993

Transparency and Reflection in Distributed Systems.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1993

1988

Autonomy or interdependence in distributed systems?

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

1986

Making distributed systems work: position paper for Amsterdam workshop.

[BibT_eX]

[DOI]

Lindsay F. Marshall