- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Ibrahim Habli, Tim Kelly: A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. Electr. Notes Theor. Comput. Sci. 238(4): 27-39 (2009) |
| 2008 | ||
| 3 | | Ibrahim Habli, Tim Kelly: A Model-Driven Approach to Assuring Process Reliability. ISSRE 2008: 7-16 |
| 2007 | ||
| 2 | | Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly: Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops 2007: 306-316 |
| 1 | | Ibrahim Habli, Tim Kelly: Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202 |
| 1 | Katrina Attwood | [2] |
| 2 | Tim Kelly (Tim P. Kelly) | [1] [2] [3] [4] |
| 3 | Weihang Wu | [2] |