A framework for the requirements analysis of safety-critical computing systems. - Amer Saeed (1990)

The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (FTCS, 1991)

Analysis of Timeliness Requirements in Safety-Critical Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (FTRTFT, 1992)

On Foraml Support for Industrial-Scale Requirements Analysis. - Tom Anderson 001; Rogério de Lemos; John S. Fitzgerald; Amer Saeed (Hybrid Systems, 1992)

A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (Comput. J., 1992)

Robust Requirements Specifications for Safety - Critical Systems. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (SAFECOMP, 1993)

Safety Analysis for Requirements Specifications: Methods and Techniques. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (SAFECOMP, 1995)

Analyzing Safety Requirements for Process-Control Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (IEEE Softw., 1995)

An Object-Based Approach to Modelling and Analysis of Failure Properties. - Marko Cepin; Rogério de Lemos; Borut Mavko; Steve Riddle; Amer Saeed (SAFECOMP, 1997)

CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. - Kevin Hollingworth; Amer Saeed (SAFECOMP, 1998)

Safety Analysis Techniques for Validating Formal Models During Verification. - Rogério de Lemos; Amer Saeed (SAFECOMP, 1999)

Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems. - Paul Mason; Amer Saeed; Paul Arkley; Steve Riddle (ECBS, 2003)

On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. - Paul Mason; Amer Saeed; Steve Riddle (SAFECOMP, 2003)

Hazard Management with DOORS: Rail Infrastructure Projects. - Dave Hughes; Amer Saeed (SSS, 2009)

Charging Support Communication System Based on Vehicle-to-Vehicle Communication for Electric Vehicles. - Ajmal Khan; Amer Saeed; Farman Ullah; Muhammad Bilal 003; Yasir Muhammad; Hesham El-Sayed (Computer, 2024)