 | 2012 |
|---|
| 10 |       | Patrick J. Graydon,
Ibrahim Habli,
Richard Hawkins,
Tim Kelly,
John C. Knight:
Arguing Conformance.
IEEE Software 29(3): 50-57 (2012) |
| 9 | | Ian Dodd,
Ibrahim Habli:
Safety certification of airborne software: An empirical study.
Rel. Eng. & Sys. Safety 98(1): 7-23 (2012) |
| 2011 |
|---|
| 8 | | Ewen Denney,
Ganesh Pai,
Ibrahim Habli:
Towards Measurement of Confidence in Safety Cases.
ESEM 2011: 380-383 |
| 2010 |
|---|
| 7 | | Ibrahim Habli,
Tim Kelly:
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.
ISARCS 2010: 142-160 |
| 6 | | Robert Palin,
Ibrahim Habli:
Assurance of Automotive Safety - A Safety Case Approach.
SAFECOMP 2010: 82-96 |
| 5 | | Ibrahim Habli,
Richard Hawkins,
Tim Kelly:
Software safety: relating software assurance and software integrity.
IJCCBS 1(4): 364-383 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page