Publications by Emeritus Professor Tom Anderson - ePrints

Browsing publications by Emeritus Professor Tom Anderson.

Newcastle Authors	Title	Year
Emeritus Professor Tom Anderson	Lessons from railway accidents for autonomous road vehicles	2024
Emeritus Professor Tom Anderson Dr Mike Parsons	What the first 100 years of the railways can teach us about the first 10 years of self-driving road vehicles	2023
Dr Carl Dale Emeritus Professor Tom Anderson	Achieving Systems Safety: Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012	2012
Dr Salah Merad Emeritus Professor Tom Anderson	A Game Theoretic Solution for the Optimal Selection of Services	2011
Chris Dale Emeritus Professor Tom Anderson	Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011	2011
Felix Redmill Emeritus Professor Tom Anderson	Improvements in System Safety: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008	2008
Emeritus Professor Tom Anderson Dr Zoe Andrews Professor John Fitzgerald Professor Brian Randell	The ReSIST Resilience Knowledge Base	2007
Emeritus Professor Tom Anderson Dr Zoe Andrews Professor John Fitzgerald Professor Brian Randell	The ReSIST Resilience Knowledge Base	2007
Felix Redmill Emeritus Professor Tom Anderson	The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007	2007
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 2006	2006
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 2005	2005
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Error Recovery for a Boiler System with OTS PID Controller	2005
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 2004	2004
Emeritus Professor Tom Anderson Professor Brian Randell Emeritus Professor Alexander Romanovsky	Wrapping the Future	2004
Emeritus Professor Tom Anderson Professor Brian Randell Emeritus Professor Alexander Romanovsky	Wrapping the Future	2004
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 2003	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Error Recovery for a Boiler System with OTS PID Controller	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Error Recovery for a Boiler System with OTS PID Controller	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Protective wrapper development: A case study	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Wrapping it up	2003
Felix Redmill Emeritus Professor Tom Anderson	Components of System Safety: Proceedings of the Tenth Safety-Critical Systems Symposium, Southampton, UK	2002
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Protective Wrapper Development: A Case Study	2002
Felix Redmill Emeritus Professor Tom Anderson	Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK	2001
Felix Redmill Emeritus Professor Tom Anderson	Lessons in System Safety: Proceedings of the 8th Safety-critical Systems Symposium, Southampton, UK	2000
Dr Salah Merad Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Dynamic Selection of Software Components in the Face of Changing Requirements	1999
Emeritus Professor Tom Anderson Felix Redmill	Software Safety - An Insider's View of the Safety-Critical Systems Club	1999
Felix Redmill Emeritus Professor Tom Anderson	Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK	1999
Felix Redmill Emeritus Professor Tom Anderson	Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998	1998
Emeritus Professor Tom Anderson	Foreword	1997
Felix Redmill Emeritus Professor Tom Anderson	Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton, 1997	1997
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analysis of Safety Requirements for a Chemical Batch Processing System	1996
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, UK	1996
Felix Redmill Emeritus Professor Tom Anderson	Achievement and Assurance of Safety: Proceedings of the Third Safety-Critical Systems Symposium, Brighton, UK	1995
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Dr Amer Saeed	Analysis of Safety Requirements for Process Control Systems	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analyzing Safety Requirements for Process-Control Systems	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysis for Safety-Critical Systems	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysys for Safety-Critical Systems	1995
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	On the Safety Analysis of Requirements Specifications for Safety-Critical Software	1995
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Safety Analysis for Requirements Specifications: Methods and Techniques	1995
Richie Burnett Emeritus Professor Tom Anderson	Trade-Off Between Cost and Reliability During the Design Phase	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	An Approach for the Risk Analysis of Safety Specifications	1994
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Formal Techniqes for Requirements Analysis for Safety-critical Systems	1994
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	On the Safety Analysis of Requirements Specifications	1994
Richie Burnett Emeritus Professor Tom Anderson	Reliability Allocation for a System Using Markov Analysis	1994
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example	1994
Emeritus Professor Tom Anderson	Special Issue on Software Safety	1994
Felix Redmill Emeritus Professor Tom Anderson	Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK	1994
Felix Redmill Emeritus Professor Tom Anderson	Directions in Safety-Critical Systems: Proceedings Of The First Safety-Critical Systems Symposium, Bristol, United Kingdom	1993
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysis for Safe Reactor Control	1993
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	Formal Techniques for Requirements Analysis for Safe Reactor Control	1993
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Professor John Fitzgerald Dr Amer Saeed	On Formal Support for Industrial Scale Requirements Analysis	1993
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Professor John Fitzgerald Dr Amer Saeed	On Formal Support for Industrial-scale Requirements Analysis	1993
Dr Amer Saeed Emeritus Professor Tom Anderson Dr Rogerio De Lemos	Robust Requirements Specifications for Safety-Critical Systems	1993
Dr Amer Saeed Emeritus Professor Tom Anderson Dr Rogerio De Lemos	Robust Requirements Specifications for Safety-Critical Systems	1993
Emeritus Professor Tom Anderson	Safety - Status and Perspectives	1993
Felix Redmill Emeritus Professor Tom Anderson	Safety-Critical Systems: Current Issues, Techniques and Standards	1993
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 Example	1993
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 Systems	1992
Dr Amer Saeed Dr Rogerio De Lemos Emeritus Professor Tom Anderson	An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems	1992
Dr Amer Saeed Emeritus Professor Tom Anderson	An Approach to the Requirements Analysis of Safety-Critical Systems	1992
Emeritus Professor Tom Anderson Professor Brian Randell	Dependability: Basic Concepts and Terminology	1992
Emeritus Professor Tom Anderson	Reliable Research and Dependable Development	1992
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 Systems	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analysis of Timeliness Requirements in Safety-Critical Systems	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analysis of Timeliness Requirements in Safety-Critical Systems	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Requirements Specification and Verification for Safety-critical Systems	1991
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 Example	1991
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Value Inconsistencies due to Time Uncertainties	1991
Dr Amer Saeed Emeritus Professor Tom Anderson Professor Maciej Koutny	A Formal Model for Safety-Critical Computing Systems	1990
Professor Pete Lee Emeritus Professor Tom Anderson	Fault Tolerance: Principles and Practice	1990
Professor Pete Lee Emeritus Professor Tom Anderson	Principles of Fault Tolerance in Computing Systems	1990
Emeritus Professor Tom Anderson	Dependability of Resilient Computers	1989
Emeritus Professor Tom Anderson	Design Fault Tolerance in Practical Systems	1988
Emeritus Professor Tom Anderson	Reliability Modelling for Fault-Tolerant Software	1988
Emeritus Professor Tom Anderson	Tolerating Software Design Faults in a Command and Control System	1988
Emeritus Professor Tom Anderson	Design Fault Tolerance in Practical Systems	1987
Emeritus Professor Tom Anderson	Safe and Secure Computing Systems	1987
Emeritus Professor Tom Anderson	The Technical Committee on Fault Tolerant Computing of the IEEE Computer Society	1987
Emeritus Professor Tom Anderson	A Structured Decision Mechanism for Diverse Software	1986
Emeritus Professor Tom Anderson	Fault Tolerant Control Software	1986
Emeritus Professor Tom Anderson	Can Design Faults be Tolerated?	1985
Professor Pete Lee Emeritus Professor Tom Anderson	Design Fault Tolerance	1985
Emeritus Professor Tom Anderson	Resilient Computing Systems	1985
Emeritus Professor Tom Anderson	Software Fault Tolerance: An Evaluation	1985
Emeritus Professor Tom Anderson	Software Fault Tolerance: An Evaluation	1985
Emeritus Professor Tom Anderson	Software Requirements, Specification and Testing	1985
Emeritus Professor Tom Anderson	Problems of Scale in Empirical Evaluation Projects	1984
Emeritus Professor Tom Anderson Professor Brian Randell	Practical Fault Tolerant Software for Asynchronous Systems	1983
Emeritus Professor Tom Anderson Professor Brian Randell	Practical Fault Tolerant Software for Asynchronous Systems	1983
Emeritus Professor Tom Anderson Professor Pete Lee	Fault Tolerance Terminology Proposals	1982
Emeritus Professor Tom Anderson Professor Pete Lee	Fault Tolerance Terminology Proposals	1982
Emeritus Professor Tom Anderson	Software Fault Tolerance for Real-Time Avionics Systems	1982
Emeritus Professor Tom Anderson Professor Pete Lee	Fault Tolerance: Principles and Practice	1981
Emeritus Professor Tom Anderson	Practical Software Fault Tolerance for Real-time Systems	1981
Emeritus Professor Tom Anderson Professor Brian Randell	Computing Systems Reliability	1979
Emeritus Professor Tom Anderson Professor Pete Lee Emeritus Professor Santosh Shrivastava	System Fault Tolerance	1979
Emeritus Professor Tom Anderson Professor Pete Lee	The Provision of Recoverable Interfaces	1979
Emeritus Professor Tom Anderson Professor Pete Lee	The Provisions of Recoverable Interfaces	1979
Emeritus Professor Tom Anderson Professor Pete Lee Emeritus Professor Santosh Shrivastava	A Model of Recoverability in Multilevel Systems	1978
Emeritus Professor Tom Anderson Emeritus Professor Santosh Shrivastava	Reliable software: a selective annotated bibliography	1978
Emeritus Professor Tom Anderson	Software reliability: Principles and practices G. J. Myers [Book review]	1978
Emeritus Professor Tom Anderson Professor Pete Lee Emeritus Professor Santosh Shrivastava	A Model of Recoverability in Multi-level Systems	1977
Emeritus Professor Tom Anderson Emeritus Professor Santosh Shrivastava	Reliable Software: A Selective Annotated Bibliography	1977
Emeritus Professor Tom Anderson Ronald Kerr	Recovery Blocks in Actions: A System Supporting High Reliability	1976
Emeritus Professor Tom Anderson	Provably Safe Programs	1975
Emeritus Professor Tom Anderson	Efficient LR(1) Parsers	1973
Emeritus Professor Tom Anderson	[PhD Thesis] Syntactic analysis of LR(k) languages	1972
Emeritus Professor Tom Anderson	Efficient LR(1) Parsers	1971