Tim Kelly - RankMe

108 papers A* 3A 5B 22C 6Journal 30Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees. IMBSA Luís Nascimento, André Luíz de Oliveira, Regina Villela, Hiago Fonseca, Kalinka R. L. J. Castelo Branco, Ran Wei, Richard Hawkins, Tim Kelly
2025	—	`conf`	Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. AINA (8) Luís Nascimento, André Luíz de Oliveira, Regina Villela, Edelberto Franco Silva, Ran Wei, Richard Hawkins, Tim Kelly
2024	J	`jnl`	ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly
2024	J	`jnl`	ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
2024	J	`jnl`	Automated Model-Based Assurance Case Management Using Constrained Natural Language. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang
2024	J	`jnl`	DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ran Wei, Zhe Jiang, Xiaoran Guo, Ruizhe Yang, Haitao Mei, Athanasios Zolotas, Tim Kelly
2024	—	`conf`	From Fault Tree Analysis to Runtime Model-Based Assurance Cases. AINA (2) Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly
2023	—	`conf`	Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. AINA (1) Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly
2022	A*	`conf`	Designing critical systems with iterative automated safety analysis. DAC Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly
2021	J	`jnl`	DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR 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
2021	J	`jnl`	Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects Comput. Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
2020	B	`conf`	Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. SAFECOMP Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz
2020	J	`jnl`	Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria. CoRR Nikita Johnson, Youcef Gheraibia, Tim Kelly
2020	J	`jnl`	Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. CoRR Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
2019	J	`jnl`	An Assurance Framework for Independent Co-assurance of Safety and Security. CoRR Nikita Johnson, Tim Kelly
2019	B	`conf`	Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. SAFECOMP Nikita Johnson, Tim Kelly
2019	B	`conf`	Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. IFM Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
2019	J	`jnl`	Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. CoRR Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
2019	—	`conf`	Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance. SAFECOMP Workshops Nikita Johnson, Tim Kelly
2019	J	`jnl`	Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, David Parker, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2018	C	`conf`	Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs. FUSION Erik Blasch, Robert Cruise, Sriraam Natarajan, Ali K. Raz, Tim Kelly
2018	A*	`conf`	ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	—	`conf`	On the Transition from Design Time to Runtime Model-Based Assurance Cases. MoDELS (Workshops) Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou
2018	—	`conf`	The visual inheritance structure to support the design of visual notations. MoDELS (Workshops) Nungki Selviandro, Tim Kelly, Richard Hawkins
2018	B	`conf`	Variability Management in Safety-Critical Software Product Line Engineering. ICSR André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2017	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
2017	—	`conf`	Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. ISSRE Workshops Mark Douthwaite, Tim Kelly
2017	—	`conf`	Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. CREST Chris Leong, Tim Kelly, Robert Alexander
2017	B	`conf`	Integration of the 4+1 Software Safety Assurance Principles with Scrum. EuroSPI Osama Doss, Tim Kelly, Tor Stålhane, Børge Haugset, Mark Dixon
2016	—	`conf`	Addressing the 4+1 Software Safety Assurance Principles within Scrum. XP Workshops Osama Doss, Tim Kelly
2016	J	`jnl`	Model-based safety analysis of software product lines. Int. J. Embed. Syst. André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2016	J	`jnl`	Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel. Inf. Softw. Technol. 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
2016	—	`conf`	Safe Multi-objective Planning with a Posteriori Preferences. HASE Ralph Eastwood, Robert Alexander, Tim Kelly
2016	B	`conf`	Using Process Models in System Assurance. SAFECOMP Richard Hawkins, Thomas Richardson, Tim Kelly
2015	A	`conf`	An evidential reasoning approach for assessing confidence in safety evidence. ISSRE Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara
2015	—	`conf`	Automatically Detecting Fallacies in System Safety Arguments. PRIMA Workshops Tangming Yuan, Suresh Manandhar, Tim Kelly, Simon Wells
2015	J	`jnl`	Computer-assisted safety argument review - a dialectics approach. Argument Comput. Tangming Yuan, Tim Kelly, Tianhua Xu
2015	—	`conf`	Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC Richard Hawkins, Tim Kelly, Ibrahim Habli
2015	—	`conf`	Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2015	A	`conf`	Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach. DATE Alejandra Ruiz, Alberto Melzi, Tim Kelly
2015	—	`conf`	Weaving an Assurance Case from Design: A Model-Based Approach. HASE Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly
2014	—	`conf`	A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2014	B	`conf`	Assurance Cases for Block-Configurable Software. SAFECOMP Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands
2014	—	`conf`	Certifiably safe software-dependent systems: challenges and directions. FOSE John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones
2014	—	`conf`	Deviation based Safety Analysis and Justification of Clinical Services. ICIMTH Georgios Despotou, Richard W. Jones, Andrew Rae, Sean White, Mark Ryan, Tim Kelly
2014	J	`jnl`	Evolving robust networks for systems-of-systems: is it viable for large networks? Empir. Softw. Eng. Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding
2014	—	`conf`	Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel
2014	—	`conf`	Introduction to SASSUR 2014. SAFECOMP Workshops Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara
2014	—	`conf`	Key Issues on Assuring the Safe Operation of Heath IT Systems. ICIMTH Georgios Despotou, Richard W. Jones, Sean White, Mark Ryan, Tim Kelly
2014	—	`conf`	Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. SAFECOMP Workshops Sunil Nair, Neil Walkinshaw, Tim Kelly
2014	—	`conf`	Rethinking of Strategy for Safety Argument Development. SAFECOMP Workshops Linling Sun, Nuno Silva, Tim Kelly
2013	A*	`conf`	1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
2013	—	`conf`	Principled Construction of Software Safety Cases. SASSUR@SAFECOMP Richard Hawkins, Ibrahim Habli, Tim Kelly
2013	—	`ed.`	Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013 ASSURE@ICSE Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai
2013	—	`ed.`	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 SASSUR@SAFECOMP Alejandra Ruiz, Tim Kelly, José Luis de la Vara
2013	J	`jnl`	Safety cases for medical devices and health information technology: Involving health-care organisations in the assurance of safety. Health Informatics J. Mark-Alexander Sujan, Floor Koornneef, Nick Chozos, Simone Pozzi, Tim Kelly
2013	—	`conf`	Towards a multi-view point safety contract. SASSUR@SAFECOMP Alejandra Ruiz, Tim Kelly, Huáscar Espinoza
2012	J	`jnl`	Arguing Conformance. IEEE Softw. Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
2012	J	`jnl`	Argument-based approach to computer system safety engineering. Int. J. Crit. Comput. Based Syst. Tangming Yuan, Tim Kelly
2012	B	`conf`	Evolving Robust Networks for Systems-of-Systems. SSBSE Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding
2012	—	`conf`	Introducing safety cases for health IT. SEHC@ICSE Georgios Despotou, Sean White, Tim Kelly, Mark Ryan
2012	J	`jnl`	Large-scale complex IT systems. Commun. ACM Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2011	J	`jnl`	Large-scale Complex IT Systems CoRR Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2011	B	`conf`	Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly
2010	—	`conf`	A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS Ibrahim Habli, Tim Kelly
2010	—	`conf`	A case for dynamic risk assessment in NEC systems of systems. SoSE Jonathan M. Aitken, Robert Alexander, Tim Kelly
2010	C	`conf`	An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly
2010	J	`jnl`	Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. Ibrahim Habli, Richard Hawkins, Tim Kelly
2009	B	`conf`	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska
2009	—	`ch.`	Towards Using Simulation to Evaluate Safety Policy for Systems of Systems. Safety and Security in Multiagent Systems Robert Alexander, Martin Hall-May, Georgios Despotou, Tim Kelly
2008	—	`conf`	A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. SafeCert@ETAPS Ibrahim Habli, Tim Kelly
2008	A	`conf`	A Model-Driven Approach to Assuring Process Reliability. ISSRE Ibrahim Habli, Tim Kelly
2008	J	`jnl`	ITU-T initiatives on climate change. IEEE Commun. Mag. Tim Kelly, Martin Adolph
2007	C	`conf`	Achieving Integrated Process and Product Safety Arguments. SSS Ibrahim Habli, Tim Kelly
2007	—	`conf`	Capturing and Replaying Architectural Knowledge through Derivational Analogy. SHARK/ADI@ICSE Ibrahim Habli, Tim Kelly
2007	B	`conf`	Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC Ibrahim Habli, Tim Kelly
2007	B	`conf`	Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. SAFECOMP Weihang Wu, Tim Kelly
2007	J	`jnl`	Developing artificial neural networks for safety critical systems. Neural Comput. Appl. Zeshan Kurd, Tim Kelly, Jim Austin
2007	—	`conf`	Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly
2007	C	`conf`	Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. APSEC Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett
2007	C	`conf`	Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly
2006	—	`conf`	Deviational Analyses for Validating Regulations on Real Systems. ReMo2V Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark
2006	—	`conf`	Eliciting safety policy and balancing with operational fitness in systems of systems. SoSE Georgios Despotou, Martin Hall-May, Tim Kelly
2006	C	`conf`	Gaining Confidence in Goal-based Safety Cases. SSS Rob Weaver, Tim Kelly, Paul Mayo
2006	—	`conf`	Managing Architectural Design Decisions for Safety-Critical Software Systems. QoSA Weihang Wu, Tim Kelly
2006	J	`jnl`	Process and product certification arguments: getting the balance right. SIGBED Rev. Ibrahim Habli, Tim Kelly
2006	—	`conf`	Structuring Safety Policy Decomposition. ReMo2V Martin Hall-May, Tim Kelly
2006	B	`conf`	System of Systems Hazard Analysis Using Simulation and Machine Learning. SAFECOMP Robert Alexander, Dimitar Kazakov, Tim Kelly
2006	B	`conf`	Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. WADS Weihang Wu, Tim Kelly
2006	B	`conf`	Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. SAFECOMP Martin Hall-May, Tim Kelly
2005	J	`jnl`	Combining software evidence: arguments and assurance. ACM SIGSOFT Softw. Eng. Notes Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid
2005	B	`conf`	Defining and Decomposing Safety Policy for Systems of Systems. SAFECOMP Martin Hall-May, Tim Kelly
2005	A	`conf`	Establishing a Standard Business Process Execution Architecture for Integrating Web Services. ICWS Thilina Gunasinghe, Tim Kelly
2005	—	`conf`	Failure modelling in software architecture design for safety. WADS@ICSE Weihang Wu, Tim Kelly
2005	J	`jnl`	Failure modelling in software architecture design for safety. ACM SIGSOFT Softw. Eng. Notes Weihang Wu, Tim Kelly
2004	—	`conf`	COTS Product Selection for Safety-Critical Systems. ICCBSS Fan Ye, Tim Kelly
2004	B	`conf`	Component Failure Mitigation According to Failure Type. COMPSAC Fan Ye, Tim Kelly
2004	—	`conf`	Contract-Based Justification for COTS Component within Safety Critical Applications. SCS Fan Ye, Tim Kelly
2004	B	`conf`	Safety Tactics for Software Architecture Design. COMPSAC Weihang Wu, Tim Kelly
2004	B	`conf`	Using Fuzzy Self-Organising Maps for Safety Critical Systems. SAFECOMP Zeshan Kurd, Tim Kelly
2003	—	`conf`	A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. SCS Rob Weaver, Jane Fenn, Tim Kelly
2003	J	`jnl`	Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. Iain Bate, Tim Kelly
2003	B	`conf`	Establishing Safety Criteria for Artificial Neural Networks. KES Zeshan Kurd, Tim Kelly
2003	B	`conf`	Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. SAFECOMP Zeshan Kurd, Tim Kelly
2002	B	`conf`	Architectural Considerations in the Certification of Modular Systems. SAFECOMP Iain Bate, Tim Kelly
2001	A	`conf`	Deriving Safety Requirements Using Scenarios. RE Karen Allenby, Tim Kelly
2001	J	`jnl`	Use of Modern Processors in Safety-Critical Applications. Comput. J. Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid