Ibrahim Habli
Title
Cited by
Cited by
Year
Towards measurement of confidence in safety cases
E Denney, G Pai, I Habli
2011 International Symposium on Empirical Software Engineering and …, 2011
942011
Engineering trustworthy self-adaptive software with dynamic assurance cases
R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly
IEEE Transactions on Software Engineering 44 (11), 1039-1069, 2017
922017
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
912013
Weaving an assurance case from design: a model-based approach
R Hawkins, I Habli, D Kolovos, R Paige, T Kelly
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
862015
Safety cases and their role in ISO 26262 functional safety assessment
J Birch, R Rivett, I Habli, B Bradshaw, J Botham, D Higham, P Jesty, ...
International Conference on Computer Safety, Reliability, and Security, 154-165, 2013
842013
An Empirical Evaluation of Mutation Testing For Improving the Test Quality of Safety-Critical Software
R Baker, I Habli
IEEE Transactions on Software Engineering 39 (6), 787-805, 2013
722013
ISO 26262 safety cases: Compliance and assurance
R Palin, D Ward, I Habli, R Rivett
IET Digital Library, 2011
672011
Dynamic safety cases for through-life safety assurance
E Denney, G Pai, I Habli
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
642015
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
642012
Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices
MA Sujan, I Habli, TP Kelly, S Pozzi, CW Johnson
Safety science 84, 181-189, 2016
612016
GSN community standard version 1
K Attwood, P Chinneck, M Clarke, G Cleland, M Coates, T Cockram, ...
Origin Consulting Limited, York, UK, 2011
612011
Process and product certification arguments: getting the balance right
I Habli, T Kelly
ACM SIGBED Review 3 (4), 1-8, 2006
512006
Model-based assurance for justifying automotive functional safety
I Habli, I Ibarra, RS Rivett, T Kelly
SAE Technical Paper, 2010
502010
Safety certification of airborne software: An empirical study
I Dodd, I Habli
Reliability Engineering & System Safety 98 (1), 7-23, 2012
432012
Model-based assurance of safety-critical product lines
I Habli
University of York, 2009
432009
Assurance of automotive safety–a safety case approach
R Palin, I Habli
International Conference on Computer Safety, Reliability, and Security, 82-96, 2010
362010
A safety case approach to assuring configurable architectures of safety-critical product lines
I Habli, T Kelly
International Symposium on Architecting Critical Systems, 142-160, 2010
352010
The principles of software safety assurance
R Hawkins, I Habli, T Kelly
31st International System Safety Conference, 2013
342013
Challenges of establishing a software product line for an aerospace engine monitoring system
I Habli, T Kelly, I Hopkins
11th International Software Product Line Conference (SPLC 2007), 193-202, 2007
342007
Software safety: relating software assurance and software integrity
I Habli, R Hawkins, T Kelly
International Journal of Critical Computer-Based Systems 1 (4), 364-383, 2010
302010
The system can't perform the operation now. Try again later.
Articles 1–20