Search the dblp DataBase

Publications of Author

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