Amer Saeed

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 1

Top Venues

Computer

Newcastle University, Newcastle upon Tyne, UK (PHD)

Education History

Newcastle University, Newcastle upon Tyne, UK

PHD

Publications

Ajmal Khan, Amer Saeed, Farman Ullah, Muhammad Bilal, Yasir Muhammad, Hesham El-Sayed
Charging Support Communication System Based on Vehicle-to-Vehicle Communication for Electric Vehicles. Computer 57 (5) (2024)
Dave Hughes, Amer Saeed
Hazard Management with DOORS: Rail Infrastructure Projects. SSS (2009)
Paul Mason, Amer Saeed, Steve Riddle
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. SAFECOMP (2003)
Paul Mason, Amer Saeed, Paul Arkley, Steve Riddle
Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems. ECBS (2003)
Rogério de Lemos, Amer Saeed
Safety Analysis Techniques for Validating Formal Models During Verification. SAFECOMP (1999)
Kevin Hollingworth, Amer Saeed
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. SAFECOMP (1998)
Marko Cepin, Rogério de Lemos, Borut Mavko, Steve Riddle, Amer Saeed
An Object-Based Approach to Modelling and Analysis of Failure Properties. SAFECOMP (1997)
Amer Saeed, Rogério de Lemos, Tom Anderson
Safety Analysis for Requirements Specifications: Methods and Techniques. SAFECOMP (1995)
Rogério de Lemos, Amer Saeed, Tom Anderson
Analyzing Safety Requirements for Process-Control Systems. IEEE Softw. 12 (3) (1995)
Amer Saeed, Rogério de Lemos, Tom Anderson
Robust Requirements Specifications for Safety - Critical Systems. SAFECOMP (1993)
Rogério de Lemos, Amer Saeed, Tom Anderson
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. Comput. J. 35 (1) (1992)
Rogério de Lemos, Amer Saeed, Tom Anderson
Analysis of Timeliness Requirements in Safety-Critical Systems. FTRTFT (1992)
Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed
On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems (1992)
Amer Saeed, Rogério de Lemos, Tom Anderson
The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example. FTCS (1991)

Amer Saeed.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Amer Saeed