 | 2003 |
|---|
| 9 |       | 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: 233-246 |
| 8 | | Paul Mason,
Amer Saeed,
Steve Riddle:
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code.
SAFECOMP 2003: 303-316 |
| 1999 |
|---|
| 7 | | Rogério de Lemos,
Amer Saeed:
Safety Analysis Techniques for Validating Formal Models During Verification.
SAFECOMP 1999: 58-66 |
| 1998 |
|---|
| 6 | | Kevin Hollingworth,
Amer Saeed:
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.
SAFECOMP 1998: 3-15 |
| 1995 |
|---|
| 5 | | Rogério de Lemos,
Amer Saeed,
Tom Anderson:
Analyzing Safety Requirements for Process-Control Systems.
IEEE Software 12(3): 42-53 (1995) |
| 1992 |
|---|
| 4 |  | Rogério de Lemos,
Amer Saeed,
Tom Anderson:
Analysis of Timeliness Requirements in Safety-Critical Systems.
FTRTFT 1992: 171-192 |
| 3 | | Tom Anderson,
Rogério de Lemos,
John S. Fitzgerald,
Amer Saeed:
On Foraml Support for Industrial-Scale Requirements Analysis.
Hybrid Systems 1992: 426-451 |
| 2 | | 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): 30-40 (1992) |
| 1991 |
|---|
| 1 | | 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: 478-487 |
