Amer Saeed

According to our database, Amer Saeed authored at least 15 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Charging Support Communication System Based on Vehicle-to-Vehicle Communication for Electric Vehicles.

Ajmal Khan, Amer Saeed, Farman Ullah, Muhammad Bilal, Yasir Muhammad, Hesham El-Sayed

Computer, May, 2024

2009

Hazard Management with DOORS: Rail Infrastructure Projects.

Dave Hughes, Amer Saeed

Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2003

On the Role of Traceability for Standards Compliance: Tracking Requirements to Code.

Paul Mason, Amer Saeed, Steve Riddle

Proceedings of the Computer Safety, 2003

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

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

1999

Safety Analysis Techniques for Validating Formal Models During Verification.

Rogério de Lemos, Amer Saeed

Proceedings of the Computer Safety, 1999

1998

CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.

Kevin Hollingworth, Amer Saeed

Proceedings of the Computer Safety, 1998

1997

An Object-Based Approach to Modelling and Analysis of Failure Properties.

Marko Cepin, Rogério de Lemos, Borut Mavko, Steve Riddle, Amer Saeed

Proceedings of the 16th International Conference on Computer Safety, 1997

1995

Analyzing Safety Requirements for Process-Control Systems.

Rogério de Lemos, Amer Saeed, Tom Anderson

IEEE Softw., 1995

Safety Analysis for Requirements Specifications: Methods and Techniques.

Amer Saeed, Rogério de Lemos, Tom Anderson

Proceedings of the 14th International Conference on Computer Safety, 1995

1993

Robust Requirements Specifications for Safety - Critical Systems.

Amer Saeed, Rogério de Lemos, Tom Anderson

Proceedings of the 12th International Conference on Computer Safety, 1993

1992

A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems.

Rogério de Lemos, Amer Saeed, Tom Anderson

Comput. J., 1992

On Foraml Support for Industrial-Scale Requirements Analysis.

Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed

Proceedings of the Hybrid Systems, 1992

Analysis of Timeliness Requirements in Safety-Critical Systems.

Rogério de Lemos, Amer Saeed, Tom Anderson

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

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

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990

A framework for the requirements analysis of safety-critical computing systems.

Amer Saeed

PhD thesis, 1990