Amer Saeed (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Rogério de Lemos, Amer Saeed, Tom Anderson: Analyzing Safety Requirements for Process-Control Systems. IEEE Software 12(3): 42-53 (1995)

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)

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

Selection of 5 from 9 records - Amer Saeed has 7 coauthors

5		Rogério de Lemos, Amer Saeed, Tom Anderson: Analyzing Safety Requirements for Process-Control Systems. IEEE Software 12(3): 42-53 (1995)
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)
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