default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTim Kelly
Tim P. Kelly
Person information
- affiliation: University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 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)- [j27]Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang:
Automated Model-Based Assurance Case Management Using Constrained Natural Language. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(1): 291-304 (2024) - [j26]Ran Wei, Zhe Jiang, Xiaoran Guo, Ruizhe Yang, Haitao Mei, Athanasios Zolotas, Tim Kelly:
DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(5): 1346-1359 (2024) - 2021
- [j25]Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly:
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects Comput. 33(6): 855-884 (2021) - 2019
- [j24]Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins:
Model based system assurance using the structured assurance case metamodel. J. Syst. Softw. 154: 211-233 (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) - 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) - 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) - [j19]Jose Luis de la Vara, Alejandra Ruiz, Katrina Attwood, Huáscar Espinoza, Rajwinder Kaur Panesar-Walawege, Ángel López, Idoya del Río, Tim Kelly:
Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel. Inf. Softw. Technol. 72: 16-30 (2016) - [j18]Osama Doss, Tim P. Kelly:
Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey. ACM SIGSOFT Softw. Eng. Notes 41(2): 30-31 (2016) - 2015
- [j17]Tangming Yuan, Tim Kelly, Tianhua Xu:
Computer-assisted safety argument review - a dialectics approach. Argument Comput. 6(2): 130-148 (2015) - 2014
- [j16]Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding:
Evolving robust networks for systems-of-systems: is it viable for large networks? Empir. Softw. Eng. 19(5): 1502-1530 (2014) - 2013
- [j15]Mark-Alexander Sujan, Floor Koornneef, Nick Chozos, Simone Pozzi, Tim Kelly:
Safety cases for medical devices and health information technology: Involving health-care organisations in the assurance of safety. Health Informatics J. 19(3): 165-182 (2013) - [j14]Patrick J. Graydon, Tim P. Kelly:
Using argumentation to evaluate software assurance standards. Inf. Softw. Technol. 55(9): 1551-1562 (2013) - 2012
- [j13]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - [j12]Tangming Yuan, Tim Kelly:
Argument-based approach to computer system safety engineering. Int. J. Crit. Comput. Based Syst. 3(3): 151-167 (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) - 2008
- [j9]Tim Kelly, Martin Adolph:
ITU-T initiatives on climate change. IEEE Commun. Mag. 46(10): 108-114 (2008) - 2007
- [j8]Zeshan Kurd, Tim Kelly, Jim Austin:
Developing artificial neural networks for safety critical systems. Neural Comput. Appl. 16(1): 11-19 (2007) - [j7]Zeshan Kurd, Tim P. Kelly:
Using fuzzy self-organising maps for safety critical systems. Reliab. Eng. Syst. Saf. 92(11): 1563-1583 (2007) - 2006
- [j6]Ibrahim Habli, Tim Kelly:
Process and product certification arguments: getting the balance right. SIGBED Rev. 3(4): 1-8 (2006) - 2005
- [j5]Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid:
Combining software evidence: arguments and assurance. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j4]Weihang Wu, Tim Kelly:
Failure modelling in software architecture design for safety. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - 2003
- [j3]Iain Bate, Tim Kelly:
Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81(3): 303-324 (2003) - 2001
- [j2]Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid:
Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001) - [j1]Tim P. Kelly, John A. McDermid:
A systematic approach to safety case maintenance. Reliab. Eng. Syst. Saf. 71(3): 271-284 (2001)
Conference and Workshop Papers
- 2024
- [c85]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly:
From Fault Tree Analysis to Runtime Model-Based Assurance Cases. AINA (2) 2024: 451-464 - 2023
- [c84]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly:
Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. AINA (1) 2023: 534-546 - 2022
- [c83]Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly:
Designing critical systems with iterative automated safety analysis. DAC 2022: 181-186 - 2020
- [c82]Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz:
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. SAFECOMP 2020: 3-17 - 2019
- [c81]Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly:
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. IFM 2019: 379-398 - [c80]Nikita Johnson, Tim Kelly:
Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance. SAFECOMP Workshops 2019: 178-184 - [c79]Nikita Johnson, Tim Kelly:
Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. SAFECOMP 2019: 299-314 - 2018
- [c78]Erik Blasch, Robert Cruise, Sriraam Natarajan, Ali K. Raz, Tim Kelly:
Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs. FUSION 2018: 1-8 - [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 - [c75]Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou:
On the Transition from Design Time to Runtime Model-Based Assurance Cases. MoDELS (Workshops) 2018: 56-61 - [c74]Nungki Selviandro, Tim Kelly, Richard Hawkins:
The visual inheritance structure to support the design of visual notations. MoDELS (Workshops) 2018: 746-753 - 2017
- [c73]Osama Doss, Tim Kelly, Tor Stålhane, Børge Haugset, Mark Dixon:
Integration of the 4+1 Software Safety Assurance Principles with Scrum. EuroSPI 2017: 72-82 - [c72]Mark Douthwaite, Tim Kelly:
Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. ISSRE Workshops 2017: 302-309 - [c71]Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud:
DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. STAF Workshops 2017: 409-416 - [c70]Chris Leong, Tim Kelly, Robert Alexander:
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. CREST@ETAPS 2017: 56-71 - 2016
- [c69]Ralph Eastwood, Robert Alexander, Tim Kelly:
Safe Multi-objective Planning with a Posteriori Preferences. HASE 2016: 78-85 - [c68]Richard Hawkins, Thomas Richardson, Tim Kelly:
Using Process Models in System Assurance. SAFECOMP 2016: 27-38 - [c67]Osama Doss, Tim Kelly:
Addressing the 4+1 Software Safety Assurance Principles within Scrum. XP Workshops 2016: 17 - [c66]Osama Doss, Tim P. Kelly:
The 4+1 Principles of Software Safety Assurance and Their Implications for Scrum. XP 2016: 286-290 - 2015
- [c65]Alejandra Ruiz, Alberto Melzi, Tim Kelly:
Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach. DATE 2015: 393-396 - [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 - [c61]Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara:
An evidential reasoning approach for assessing confidence in safety evidence. ISSRE 2015: 541-552 - [c60]Tangming Yuan, Suresh Manandhar, Tim Kelly, Simon Wells:
Automatically Detecting Fallacies in System Safety Arguments. PRIMA Workshops 2015: 47-59 - 2014
- [c59]Georgios Despotou, Richard W. Jones, Andrew Rae, Sean White, Mark Ryan, Tim Kelly:
Deviation based Safety Analysis and Justification of Clinical Services. ICIMTH 2014: 91-94 - [c58]Georgios Despotou, Richard W. Jones, Sean White, Mark Ryan, Tim Kelly:
Key Issues on Assuring the Safe Operation of Heath IT Systems. ICIMTH 2014: 205-208 - [c57]John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones:
Certifiably safe software-dependent systems: challenges and directions. FOSE 2014: 182-200 - [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 - [c55]Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands:
Assurance Cases for Block-Configurable Software. SAFECOMP 2014: 155-169 - [c54]Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara:
Introduction to SASSUR 2014. SAFECOMP Workshops 2014: 371-374 - [c53]Linling Sun, Nuno Silva, Tim Kelly:
Rethinking of Strategy for Safety Argument Development. SAFECOMP Workshops 2014: 384-395 - [c52]Sunil Nair, Neil Walkinshaw, Tim Kelly:
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. SAFECOMP Workshops 2014: 413-418 - [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 - [c48]Alejandra Ruiz, Tim Kelly, Huáscar Espinoza:
Towards a multi-view point safety contract. SASSUR@SAFECOMP 2013 - 2012
- [c47]Georgios Despotou, Sean White, Tim Kelly, Mark Ryan:
Introducing safety cases for health IT. SEHC@ICSE 2012: 44-50 - [c46]Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele:
Introduction to Sassur 2012. SAFECOMP Workshops 2012: 3-7 - [c45]Patrick J. Graydon, Tim P. Kelly:
Assessing Software Interference Management When Modifying Safety-Related Software. SAFECOMP Workshops 2012: 132-145 - [c44]Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding:
Evolving Robust Networks for Systems-of-Systems. SSBSE 2012: 30-44 - 2011
- [c43]Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly:
Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP 2011: 185-198 - [c42]Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon:
A New Approach to creating Clear Safety Arguments. SSS 2011: 3-23 - [c41]Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey:
Distinguishing Fact from Fiction in a System of Systems Safety Case. SSS 2011: 55-72 - 2010
- [c40]Ibrahim Habli, Tim Kelly:
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS 2010: 142-160 - [c39]Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly:
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS 2010: 129-147 - [c38]Georgios Despotou, Mike Bennett, Tim P. Kelly:
Evaluation and Integration of COTS in Evidence based Assurance Frameworks. SSS 2010: 233-254 - [c37]Jonathan M. Aitken, Robert Alexander, Tim Kelly:
A case for dynamic risk assessment in NEC systems of systems. SoSE 2010: 1-6 - 2009
- [c36]Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska:
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341 - 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
- [c33]Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett:
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. APSEC 2007: 175-182 - [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 - [c30]Weihang Wu, Tim Kelly:
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. SAFECOMP 2007: 172-186 - [c29]Ibrahim Habli, Tim Kelly:
Achieving Integrated Process and Product Safety Arguments. SSS 2007: 55-68 - [c28]Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly:
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS 2007: 133-146 - [c27]Ibrahim Habli, Tim Kelly:
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202 - 2006
- [c26]Martin Hall-May, Tim Kelly:
Structuring Safety Policy Decomposition. ReMo2V 2006 - [c25]Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark:
Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006 - [c24]Weihang Wu, Tim Kelly:
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. WADS 2006: 383-408 - [c23]Weihang Wu, Tim Kelly:
Managing Architectural Design Decisions for Safety-Critical Software Systems. QoSA 2006: 59-77 - [c22]Robert Alexander, Dimitar Kazakov, Tim Kelly:
System of Systems Hazard Analysis Using Simulation and Machine Learning. SAFECOMP 2006: 1-14 - [c21]Martin Hall-May, Tim Kelly:
Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. SAFECOMP 2006: 330-343 - [c20]Rob Weaver, Tim Kelly, Paul Mayo:
Gaining Confidence in Goal-based Safety Cases. SSS 2006: 277-290 - [c19]Georgios Despotou, Martin Hall-May, Tim Kelly:
Eliciting safety policy and balancing with operational fitness in systems of systems. SoSE 2006: 1-6 - 2005
- [c18]Weihang Wu, Tim Kelly:
Failure modelling in software architecture design for safety. WADS@ICSE 2005: 6:1-6:7 - [c17]Thilina Gunasinghe, Tim Kelly:
Establishing a Standard Business Process Execution Architecture for Integrating Web Services. ICWS 2005: 365-372 - [c16]Martin Hall-May, Tim Kelly:
Defining and Decomposing Safety Policy for Systems of Systems. SAFECOMP 2005: 37-51 - [c15]Zeshan Kurd, Tim P. Kelly:
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. SAFECOMP 2005: 136-150 - 2004
- [c14]Fan Ye, Tim Kelly:
Component Failure Mitigation According to Failure Type. COMPSAC 2004: 258-264 - [c13]Weihang Wu, Tim Kelly:
Safety Tactics for Software Architecture Design. COMPSAC 2004: 368-375 - [c12]Fan Ye, Tim Kelly:
COTS Product Selection for Safety-Critical Systems. ICCBSS 2004: 53-62 - [c11]Zeshan Kurd, Tim P. Kelly, Jim Austin:
Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. IDEAL 2004: 266-271 - [c10]Zeshan Kurd, Tim Kelly:
Using Fuzzy Self-Organising Maps for Safety Critical Systems. SAFECOMP 2004: 17-30 - [c9]Fan Ye, Tim Kelly:
Contract-Based Justification for COTS Component within Safety Critical Applications. SCS 2004: 13-22 - 2003
- [c8]Zeshan Kurd, Tim Kelly:
Establishing Safety Criteria for Artificial Neural Networks. KES 2003: 163-169 - [c7]Zeshan Kurd, Tim Kelly:
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. SAFECOMP 2003: 77-91 - [c6]Rob Weaver, Jane Fenn, Tim Kelly:
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. SCS 2003: 57-67 - 2002
- [c5]Iain Bate, Tim Kelly:
Architectural Considerations in the Certification of Modular Systems. SAFECOMP 2002: 321-333 - 2001
- [c4]Karen Allenby, Tim Kelly:
Deriving Safety Requirements Using Scenarios. RE 2001: 228-235 - 1999
- [c3]Tim P. Kelly, John A. McDermid:
A Systematic Approach to Safety Case Maintenance. SAFECOMP 1999: 13-26 - 1997
- [c2]Tim P. Kelly, John A. McDermid:
Safety Case Construction and Reuse Using Patterns. SAFECOMP 1997: 55-69 - 1995
- [c1]Peter Fenelon, Tim P. Kelly, John A. McDermid:
Safety Cases for Software Application Reuse. SAFECOMP 1995: 419-436
Parts in Books or Collections
- 2009
- [p1]Robert Alexander, Martin Hall-May, Georgios Despotou, Tim Kelly:
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems. Safety and Security in Multiagent Systems 2009: 49-66
Editorship
- 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] - [e1]Alejandra Ruiz, Tim Kelly, José Luis de la Vara:
SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. HAL 2013 [contents]
Informal and Other Publications
- 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) - 2021
- [i8]Eric Armengaud, Georg Macher, Alexander Massoner, Sebastian Frager, Rasmus Adler, Daniel Schneider, Simone Longo, Massimiliano Melis, Riccardo Groppo, Federica A. Villa, Pádraig O'Leary, Kevin Bambury, Anita Finnegan, Marc Zeller, Kai Höfig, Yiannis Papadopoulos, Richard Hawkins, Tim Kelly:
DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR abs/2106.01729 (2021) - 2020
- [i7]Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly:
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. CoRR abs/2009.12154 (2020) - [i6]Nikita Johnson, Youcef Gheraibia, Tim Kelly:
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria. CoRR abs/2010.07288 (2020) - 2019
- [i5]Nikita Johnson, Tim Kelly:
An Assurance Framework for Independent Co-assurance of Safety and Security. CoRR abs/1903.01220 (2019) - [i4]Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins:
Model Based System Assurance Using the Structured Assurance Case Metamodel. CoRR abs/1905.02427 (2019) - [i3]Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly:
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. CoRR abs/1905.06192 (2019) - 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) - 2011
- [i1]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011)
Coauthor Index
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.
Reference lists
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.
Citation data
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.
OpenAlex data
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 2024-10-07 22:15 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:
