Amer Saeed - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2024

Charging Support Communication System Based on Vehicle-to-Vehicle Communication for Electric VehiclesAjmal Khan, Amer Saeed, Farman Ullah, Muhammad Bilal 0003, Yasir Muhammad, Hesham El-Sayed. Computer, 57(5):67-77, May 2024. [doi]

2009

Hazard Management with DOORS: Rail Infrastructure ProjectsDave Hughes, Amer Saeed. scss 2009: 71-93 [doi]

2003

Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace SystemsPaul Mason, Amer Saeed, Paul Arkley, Steve Riddle. ECBS 2003: 233-246 [doi]

On the Role of Traceability for Standards Compliance: Tracking Requirements to CodePaul Mason, Amer Saeed, Steve Riddle. safecomp 2003: 303-316 [doi]

1999

Safety Analysis Techniques for Validating Formal Models During VerificationRogério de Lemos, Amer Saeed. safecomp 1999: 58-66 [doi]

1998

CoRSA - A Constraint Based Approach to Requirements and Safety AnalysisKevin Hollingworth, Amer Saeed. safecomp 1998: 3-15 [doi]

1997

An Object-Based Approach to Modelling and Analysis of Failure PropertiesMarko Cepin, Rogério de Lemos, Borut Mavko, Steve Riddle, Amer Saeed. safecomp 1997: 281-294 [doi]

1995

Analyzing Safety Requirements for Process-Control SystemsRogério de Lemos, Amer Saeed, Tom Anderson. IEEE Software, 12(3):42-53, 1995. [doi]

Safety Analysis for Requirements Specifications: Methods and TechniquesAmer Saeed, Rogério de Lemos, Tom Anderson. safecomp 1995: 27-41 [doi]

1993

Robust Requirements Specifications for Safety - Critical SystemsAmer Saeed, Rogério de Lemos, Tom Anderson. safecomp 1993: 219-229 [doi]

1992

On Foraml Support for Industrial-Scale Requirements AnalysisTom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed. hybrid 1993: 426-451

Analysis of Timeliness Requirements in Safety-Critical SystemsRogério de Lemos, Amer Saeed, Tom Anderson. ftrtft 1991: 171-192

A Train Set as a Case Study for the Requirements Analysis of Safety-Critical SystemsRogério de Lemos, Amer Saeed, Tom Anderson. cj, 35(1):30-40, 1992.

1991

The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set ExampleAmer Saeed, Rogério de Lemos, Tom Anderson. ftcs 1991: 478-487

1990

A framework for the requirements analysis of safety-critical computing systemsAmer Saeed. PhD thesis, Newcastle University, Newcastle upon Tyne, UK, 1990. [doi]

Sign in or sign up to see more results.

runs on WebDSL