Publications by Dr Amer Saeed - ePrints

Browsing publications by Dr Amer Saeed.

Newcastle Authors	Title	Year
Paul Mason Dr Amer Saeed Dr Paul Arkley Dr Stephen Riddle	Meta-modelling approach to traceability for avionics: A framework for managing the engineering of computer based aerospace systems	2003
Paul Mason Dr Amer Saeed Dr Stephen Riddle	On the role of traceability for standards compliance: Tracking requirements to code	2003
Dr Rogerio De Lemos Dr Amer Saeed	Safety analysis techniques for validating formal models during verification	1999
Dr Stephen Riddle Dr Amer Saeed	Tool support for implementation and analysis of traceability structures	1999
Dr Rogerio De Lemos Dr Amer Saeed	Validating Formal Verification using Safety Analysis Techniques	1999
Dr Stephen Riddle Dr Amer Saeed	Traceability for the Development and Assessment of Safe Avionic Systems	1998
Paul Mason Dr Amer Saeed	Tracing Safety for Dependable Avionic Systems: An Object-Oriented and Deductive Approach	1998
Dr Amer Saeed Dr Rogerio De Lemos Dr Stephen Riddle	An Object-Based Approach to Modelling and Analysis of Failure Properties	1997
Dr Rogerio De Lemos Dr Stephen Riddle Dr Amer Saeed	An Object-Based Approach to Modelling and Analysis of Failure Properties	1997
Dr Amer Saeed	Information Structures for Traceability for Dependable Avionic Systems	1997
Dr Amer Saeed Dr Rogerio De Lemos	Subjective Safety Analysis for Software Development	1997
Dr Amer Saeed Dr Rogerio De Lemos	Subjective Safety Analysis of Safety Requirements Specifications	1997
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analysis of Safety Requirements for a Chemical Batch Processing System	1996
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	Analysis of Safety Requirements in the Context of System Faults and Human Errors	1995
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Analyzing Safety Requirements for Process-Control Systems	1995
Professor John Fitzgerald Dr Amer Saeed	Formal Specification of an Aerospace System: the Attitude Monitor	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
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
Dr Rogerio De Lemos Dr Amer Saeed Emeritus Professor Tom Anderson	Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example	1994
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
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
Dr Rogerio De Lemos Dr Amer Saeed	Exception Handling in Real-Time Software for Specification	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
Dr Amer Saeed	PhD Thesis] A Framework For The Requirements Analysis of Safety-Critical Computing Systems	1990