Dr Robert Stroud
Ian Welch
| Intrusion-tolerant middleware: the road to automatic security | 2006 |
|
Dr Robert Stroud
Ian Welch
Professor Peter Ryan
| A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture | 2004 |
|
Ian Welch
John Warne
Professor Peter Ryan
Dr Robert Stroud
| Architectural Analysis of MAFTIA's Intrusion Tolerance Capablities | 2003 |
|
Dr Robert Stroud
| Conceptual Model and Architecture for MAFTIA | 2003 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| Final Version of DSoS Conceptual Model (CSDA1) | 2003 |
|
Ian Welch
Dr Robert Stroud
| Re-engineering security as a crosscutting concern | 2003 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions | 2002 |
|
Ian Welch
Dr Robert Stroud
| Using reflection as a mechanism for enforcing security policies on compiled code | 2002 |
|
Ian Welch
Dr Robert Stroud
Emeritus Professor Alexander Romanovsky
| Aspects of Exceptions at the Meta-Level | 2001 |
|
Ian Welch
Dr Robert Stroud
Emeritus Professor Alexander Romanovsky
| Aspects of Exceptions at the Meta-level | 2001 |
|
Dr Robert Stroud
Dominique Alessandri
Professor Brian Randell
| Conceptual Model and Architecture | 2001 |
|
Dr Robert Stroud
| Conceptual Model and Architecture | 2001 |
|
Professor Brian Randell
Dr Robert Stroud
Emeritus Professor Cliff Jones
| DSoS (Dependable Systems of Systems) | 2001 |
|
Dr James Armstrong
Professor Brian Randell
Dr Robert Stroud
| First Specification of APIs and Protocols for the MAFTIA Middleware | 2001 |
|
Ian Welch
Dr Robert Stroud
| Kava - Using Bytecode Rewriting to add Behavioural Reflection to Java | 2001 |
|
Professor Thomas McCutcheon
Professor Brian Randell
Dr Robert Stroud
| MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications) | 2001 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| Revised Version of DSoS Conceptual Model | 2001 |
|
Ian Welch
Dr Robert Stroud
| Dalang - A Reflective Extension for Java | 2000 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Charles Snow
Dr Robert Stroud
| An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling | 2000 |
|
Ian Welch
Dr Robert Stroud
| Kava - A Reflective Java Based on Bytecode Rewriting | 2000 |
|
Ian Welch
Dr Robert Stroud
| Kava - A reflective Java based on bytecode rewriting | 2000 |
|
Ian Welch
Dr Robert Stroud
| Kava - Using Byte code Rewriting to add Behavioural Reflection in Java | 2000 |
|
Emeritus Professor John Dobson
Professor Thomas McCutcheon
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases | 2000 |
|
Dr Robert Stroud
| Reflection and Software Engineering: Papers from 1st OOPSLA Workshop on Reflection and Software Engineering (OORaSE), Denver, CO, USA, November 1999 | 2000 |
|
Ian Welch
Dr Robert Stroud
| Using reflection as a mechanism for enforcing security policies in mobile code | 2000 |
|
Ian Welch
Dr Robert Stroud
| Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code | 2000 |
|
Avelino Zorzo
Dr Robert Stroud
| A Distributed Object-Oriented Framework for Dependable Multiparty Interactions | 1999 |
|
Avelino Zorzo
Dr Robert Stroud
| A distributed object-oriented framework for dependable multiparty interactions | 1999 |
|
Avelino Zorzo
Dr Robert Stroud
| A Distributed Object-Oriented Framework for Dependable Multiparty Interactions | 1999 |
|
Dr Robert Stroud
Avelino Zorzo
| An object-oriented framework for dependable multiparty interactions | 1999 |
|
Ian Welch
Dr Robert Stroud
| From Dalang to Kava - The Evolution of a Reflective Java Extension | 1999 |
|
Dr Robert Stroud
Ian Welch
| From Dalang to Kava: the evolution of a reflective Java extension | 1999 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions | 1999 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Rigorous Development of a Safety-critical system based on co-ordinated Atomic Actions | 1999 |
|
Avelino Zorzo
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Using coordinated atomic actions to design safety-critical systems: A production cell case study | 1999 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Coordinated Atomic Actions: Formal Model, Case Study and System Implementation | 1998 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems | 1998 |
|
Avelino Zorzo
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems | 1998 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Co-ordinated Atomic Actions: From Concept to Implementation | 1997 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Avelino Zorzo
| Implementation of blocking coordinated atomic actions based on forward error recovery | 1997 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Avelino Zorzo
| Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery | 1997 |
|
Avelino Zorzo
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems | 1997 |
|
Professor Pete Lee
Dr Robert Stroud
| C++ as an Introductory Programming Language | 1996 |
|
Dr Robert Stroud
| Using Metaobject Protocols to Satisfy Non-Functional Requirements | 1996 |
|
Dr Robert Stroud
| Data Consistency in a Distributed Persistent Object System | 1995 |
|
Dr Robert Stroud
| Data Consistency in a Distributed Persistent Object System | 1995 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Jake Wu
| Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery | 1995 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| From Recovery Blocks to Concurrent Atomic Actions | 1995 |
|
Dr Robert Stroud
| Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming | 1995 |
|
Dr Robert Stroud
| Implementing Fault Tolerant Applications Using Reflective Object-Oriented Programming | 1995 |
|
Dr Robert Stroud
| The Design and Implementation of a Distributed Transaction System Based on Atomic Data Types | 1995 |
|
Dr Robert Stroud
| The Design and Implementation of a Distributed Transaction System Based on Atomic Data Types | 1995 |
|
Dr Robert Stroud
| Using Metaobject Protocols to Implement Atomic Data Types | 1995 |
|
Dr Robert Stroud
| Using Meta-Object Protocols to Implement Atomic Data Types | 1995 |
|
Dr Robert Stroud
| Using Metaobject Protocols to Satisfy Non-Functional Requirements | 1995 |
|
Dr Robert Stroud
| Using Metaobject Protocols to Structure Operating Systems | 1995 |
|
Dr Robert Stroud
| Using Meta-Objects to Adapt a Persistent Object System to Meet Application Needs | 1995 |
|
Professor Pete Lee
Dr Robert Stroud
| C++ As an Introductory Programming Language | 1994 |
|
Dr Robert Stroud
| Forward and Backward Error Recovery in C++ | 1994 |
|
Professor Brian Randell
Dr Robert Stroud
| Software Fault-tolerance: Towards an Object-oriented Approach | 1994 |
|
Professor Brian Randell
Dr Robert Stroud
| Toward an Object-Oriented Approach to Software Fault Tolerance | 1994 |
|
Professor Pete Lee
Dr Robert Stroud
| C++ as an Initial Programming Language | 1993 |
|
Dr Robert Stroud
| Forward and Backward Error Recovery in C++ | 1993 |
|
Dr Robert Stroud
| Transparency and Reflection in Distributed Systems | 1993 |
|
Dr Robert Stroud
| [PhD Thesis] Naming Issues in the Design of Transparently Distributed Operating Systems | 1987 |
|
