default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTim Kelly
Publications
- 2024
[j28]Ran Wei
, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi:
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213: 112034 (2024)- [i9]Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly:
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR abs/2403.15236 (2024) - 2019
- [j23]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, David Parker, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. 31(8) (2019) - 2018
- [j22]Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44(11): 1039-1069 (2018) - [c77]Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly:
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE 2018: 495 - [c76]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Variability Management in Safety-Critical Software Product Line Engineering. ICSR 2018: 3-22 - 2017
- [j21]Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson:
How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process. Reliab. Eng. Syst. Saf. 161: 1-11 (2017) - [i2]Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR abs/1703.06350 (2017) - 2016
- [j20]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Model-based safety analysis of software product lines. Int. J. Embed. Syst. 8(5/6): 412-426 (2016) - 2015
- [c64]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX 2015: 319-330 - [c63]Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly:
Weaving an Assurance Case from Design: A Model-Based Approach. HASE 2015: 110-117 - [c62]Richard Hawkins, Tim Kelly, Ibrahim Habli:
Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC 2015 - 2014
- [c56]Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel:
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS 2014: 113-123 - [c51]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC 2014: 7-12 - 2013
- [c50]Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight:
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE 2013: 1505-1506 - [c49]Richard Hawkins, Ibrahim Habli, Tim Kelly:
Principled Construction of Software Safety Cases. SASSUR@SAFECOMP 2013 - [e2]Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai:
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6324-2 [contents] - 2012
- [j11]Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight:
Arguing Conformance. IEEE Softw. 29(3): 50-57 (2012) - 2010
- [j10]Ibrahim Habli, Richard Hawkins, Tim Kelly:
Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. 1(4): 364-383 (2010) - [c40]Ibrahim Habli, Tim Kelly:
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS 2010: 142-160 - 2008
- [c35]Ibrahim Habli, Tim Kelly:
A Model-Driven Approach to Assuring Process Reliability. ISSRE 2008: 7-16 - [c34]Ibrahim Habli, Tim Kelly:
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. SafeCert@ETAPS 2008: 27-39 - 2007
- [c32]Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly:
Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops 2007: 306-316 - [c31]Ibrahim Habli, Tim Kelly:
Capturing and Replaying Architectural Knowledge through Derivational Analogy. SHARK/ADI@ICSE 2007: 4 - [c29]Ibrahim Habli, Tim Kelly:
Achieving Integrated Process and Product Safety Arguments. SSS 2007: 55-68 - [c27]Ibrahim Habli, Tim Kelly:
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202 - 2006
- [j6]Ibrahim Habli, Tim Kelly:
Process and product certification arguments: getting the balance right. SIGBED Rev. 3(4): 1-8 (2006)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-02 01:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
