Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Emeritus Professor Tom Anderson.

Newcastle AuthorsTitleYearFull text
Dr Carl Dale
Emeritus Professor Tom Anderson
Achieving Systems Safety: Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 20122012
Dr Salah Merad
Emeritus Professor Tom Anderson
A Game Theoretic Solution for the Optimal Selection of Services2011
Chris Dale
Emeritus Professor Tom Anderson
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 20112011
Felix Redmill
Emeritus Professor Tom Anderson
Improvements in System Safety: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 20082008
Emeritus Professor Tom Anderson
Dr Zoe Andrews
Professor John Fitzgerald
Professor Brian Randell
The ReSIST Resilience Knowledge Base2007
Emeritus Professor Tom Anderson
Dr Zoe Andrews
Professor John Fitzgerald
Professor Brian Randell
The ReSIST Resilience Knowledge Base2007
Felix Redmill
Emeritus Professor Tom Anderson
The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 20072007
Felix Redmill
Emeritus Professor Tom Anderson
Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 20062006
Felix Redmill
Emeritus Professor Tom Anderson
Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 20052005
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Error Recovery for a Boiler System with OTS PID Controller2005
Emeritus Professor Tom Anderson
The prize for literature goes to ... The Sims [Quoted in text]2005
Emeritus Professor Tom Anderson
Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 20042004
Emeritus Professor Tom Anderson
Professor Brian Randell
Professor Alexander Romanovsky
Wrapping the Future2004
Emeritus Professor Tom Anderson
Professor Brian Randell
Professor Alexander Romanovsky
Wrapping the Future2004
Felix Redmill
Emeritus Professor Tom Anderson
Current Issues in Safety-critical Systems: Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 20032003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Error Recovery for a Boiler System with OTS PID Controller2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Error Recovery for a Boiler System with OTS PID Controller2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Protective wrapper development: A case study2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Wrapping it up2003
Felix Redmill
Emeritus Professor Tom Anderson
Components of System Safety: Proceedings of the Tenth Safety-Critical Systems Symposium, Southampton, UK2002
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Protective Wrapper Development: A Case Study2002
Felix Redmill
Emeritus Professor Tom Anderson
Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK2001
Felix Redmill
Emeritus Professor Tom Anderson
Lessons in System Safety: Proceedings of the 8th Safety-critical Systems Symposium, Southampton, UK2000
Dr Salah Merad
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Dynamic Selection of Software Components in the Face of Changing Requirements1999
Emeritus Professor Tom Anderson
Felix Redmill
Software Safety - An Insider's View of the Safety-Critical Systems Club1999
Felix Redmill
Emeritus Professor Tom Anderson
Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK1999
Felix Redmill
Emeritus Professor Tom Anderson
Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 19981998
Emeritus Professor Tom Anderson
Foreword1997
Felix Redmill
Emeritus Professor Tom Anderson
Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton, 19971997
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analysis of Safety Requirements for a Chemical Batch Processing System1996
Felix Redmill
Emeritus Professor Tom Anderson
Safety-critical Systems: The Convergence of High Tech and Human Factors: Proceedings of the Fourth Safety-Critical Systems Symposium, Leeds, UK1996
Felix Redmill
Emeritus Professor Tom Anderson
Achievement and Assurance of Safety: Proceedings of the Third Safety-Critical Systems Symposium, Brighton, UK1995
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Dr Amer Saeed
Analysis of Safety Requirements for Process Control Systems1995
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analyzing Safety Requirements for Process-Control Systems1995
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysis for Safety-Critical Systems1995
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysys for Safety-Critical Systems1995
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
On the Safety Analysis of Requirements Specifications for Safety-Critical Software1995
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Safety Analysis for Requirements Specifications: Methods and Techniques1995
Richie Burnett
Emeritus Professor Tom Anderson
Trade-Off Between Cost and Reliability During the Design Phase1995
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
An Approach for the Risk Analysis of Safety Specifications1994
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Formal Techniqes for Requirements Analysis for Safety-critical Systems1994
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
On the Safety Analysis of Requirements Specifications1994
Richie Burnett
Emeritus Professor Tom Anderson
Reliability Allocation for a System Using Markov Analysis1994
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example1994
Emeritus Professor Tom Anderson
Special Issue on Software Safety1994
Felix Redmill
Emeritus Professor Tom Anderson
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK1994
Felix Redmill
Emeritus Professor Tom Anderson
Directions in Safety-Critical Systems: Proceedings Of The First Safety-Critical Systems Symposium, Bristol, United Kingdom1993
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysis for Safe Reactor Control1993
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
Formal Techniques for Requirements Analysis for Safe Reactor Control1993
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Professor John Fitzgerald
Dr Amer Saeed
On Formal Support for Industrial Scale Requirements Analysis1993
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Professor John Fitzgerald
Dr Amer Saeed
On Formal Support for Industrial-scale Requirements Analysis1993
Dr Amer Saeed
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Robust Requirements Specifications for Safety-Critical Systems1993
Dr Amer Saeed
Emeritus Professor Tom Anderson
Dr Rogerio De Lemos
Robust Requirements Specifications for Safety-Critical Systems1993
Emeritus Professor Tom Anderson
Safety - Status and Perspectives1993
Felix Redmill
Emeritus Professor Tom Anderson
Safety-Critical Systems: Current Issues, Techniques and Standards1993
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
The Role of Formal Methods in the Requirements Analysis of Safety Critical Systems: A Train Set Example1993
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems1992
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems1992
Dr Amer Saeed
Emeritus Professor Tom Anderson
An Approach to the Requirements Analysis of Safety-Critical Systems1992
Emeritus Professor Tom Anderson
Professor Brian Randell
Dependability: Basic Concepts and Terminology1992
Emeritus Professor Tom Anderson
Reliable Research and Dependable Development1992
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analysis of Timeliness Requirements in Safety-Critical Systems1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Analysis of Timeliness Requirements in Safety-Critical Systems1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Requirements Specification and Verification for Safety-critical Systems1991
Dr Amer Saeed
Dr Rogerio De Lemos
Emeritus Professor Tom Anderson
The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example1991
Dr Rogerio De Lemos
Dr Amer Saeed
Emeritus Professor Tom Anderson
Value Inconsistencies due to Time Uncertainties1991
Dr Amer Saeed
Emeritus Professor Tom Anderson
Professor Maciej Koutny
A Formal Model for Safety-Critical Computing Systems1990
Professor Pete Lee
Emeritus Professor Tom Anderson
Fault Tolerance: Principles and Practice1990
Professor Pete Lee
Emeritus Professor Tom Anderson
Principles of Fault Tolerance in Computing Systems1990
Emeritus Professor Tom Anderson
Dependability of Resilient Computers1989
Emeritus Professor Tom Anderson
Design Fault Tolerance in Practical Systems1988
Emeritus Professor Tom Anderson
Reliability Modelling for Fault-Tolerant Software1988
Emeritus Professor Tom Anderson
Tolerating Software Design Faults in a Command and Control System1988
Emeritus Professor Tom Anderson
Design Fault Tolerance in Practical Systems1987
Emeritus Professor Tom Anderson
Safe and Secure Computing Systems1987
Emeritus Professor Tom Anderson
The Technical Committee on Fault Tolerant Computing of the IEEE Computer Society1987
Emeritus Professor Tom Anderson
A Structured Decision Mechanism for Diverse Software1986
Emeritus Professor Tom Anderson
Fault Tolerant Control Software1986
Emeritus Professor Tom Anderson
Can Design Faults be Tolerated?1985
Professor Pete Lee
Emeritus Professor Tom Anderson
Design Fault Tolerance1985
Emeritus Professor Tom Anderson
Resilient Computing Systems1985
Emeritus Professor Tom Anderson
Software Fault Tolerance: An Evaluation1985
Emeritus Professor Tom Anderson
Software Fault Tolerance: An Evaluation1985
Emeritus Professor Tom Anderson
Software Requirements, Specification and Testing1985
Emeritus Professor Tom Anderson
Problems of Scale in Empirical Evaluation Projects1984
Emeritus Professor Tom Anderson
Professor Brian Randell
Practical Fault Tolerant Software for Asynchronous Systems1983
Emeritus Professor Tom Anderson
Professor Brian Randell
Practical Fault Tolerant Software for Asynchronous Systems1983
Emeritus Professor Tom Anderson
Professor Pete Lee
Fault Tolerance Terminology Proposals1982
Emeritus Professor Tom Anderson
Professor Pete Lee
Fault Tolerance Terminology Proposals1982
Emeritus Professor Tom Anderson
Software Fault Tolerance for Real-Time Avionics Systems1982
Professor Pete Lee
Emeritus Professor Tom Anderson
Fault Tolerance: Principles and Practice1981
Emeritus Professor Tom Anderson
Practical Software Fault Tolerance for Real-time Systems1981
Emeritus Professor Tom Anderson
Professor Brian Randell
Computing Systems Reliability1979
Emeritus Professor Tom Anderson
Professor Pete Lee
Emeritus Professor Santosh Shrivastava
System Fault Tolerance1979
Emeritus Professor Tom Anderson
Professor Pete Lee
The Provision of Recoverable Interfaces1979
Emeritus Professor Tom Anderson
Professor Pete Lee
The Provisions of Recoverable Interfaces1979
Emeritus Professor Tom Anderson
Professor Pete Lee
Emeritus Professor Santosh Shrivastava
A Model of Recoverability in Multilevel Systems1978
Emeritus Professor Tom Anderson
Emeritus Professor Santosh Shrivastava
Reliable software: a selective annotated bibliography1978
Emeritus Professor Tom Anderson
Professor Pete Lee
Emeritus Professor Santosh Shrivastava
A Model of Recoverability in Multi-level Systems1977
Emeritus Professor Tom Anderson
Emeritus Professor Santosh Shrivastava
Reliable Software: A Selective Annotated Bibliography1977
Emeritus Professor Tom Anderson
Ronald Kerr
Recovery Blocks in Actions: A System Supporting High Reliability1976
Emeritus Professor Tom Anderson
Provably Safe Programs1975
Emeritus Professor Tom Anderson
Efficient LR(1) Parsers1973
Emeritus Professor Tom Anderson
[PhD Thesis] Syntactic analysis of LR(k) languages1972
Emeritus Professor Tom Anderson
Efficient LR(1) Parsers1971