Amer Saeed

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