Tim Kelly

Tim P. Kelly

	2009
31		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
30		Ibrahim Habli, Tim Kelly: A Model-Driven Approach to Assuring Process Reliability. ISSRE 2008: 7-16
	2007
29		Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett: Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. APSEC 2007: 175-182
28		Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly: Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops 2007: 306-316
27		Weihang Wu, Tim Kelly: Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. SAFECOMP 2007: 172-186
26		Ibrahim Habli, Tim Kelly: Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202
25		Zeshan Kurd, Tim Kelly, Jim Austin: Developing artificial neural networks for safety critical systems. Neural Computing and Applications 16(1): 11-19 (2007)
	2006
24		Weihang Wu, Tim Kelly: Managing Architectural Design Decisions for Safety-Critical Software Systems. QoSA 2006: 59-77
23		Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006
22		Martin Hall-May, Tim Kelly: Structuring Safety Policy Decomposition. ReMo2V 2006
21		Robert Alexander, Dimitar Kazakov, Tim Kelly: System of Systems Hazard Analysis Using Simulation and Machine Learning. SAFECOMP 2006: 1-14
20		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
19		Weihang Wu, Tim Kelly: Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. WADS 2006: 383-408
	2005
18		Thilina Gunasinghe, Tim Kelly: Establishing a Standard Business Process Execution Architecture for Integrating Web Services. ICWS 2005: 365-372
17		Zeshan Kurd, Tim P. Kelly: Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. SAFECOMP 2005: 136-150
16		Martin Hall-May, Tim Kelly: Defining and Decomposing Safety Policy for Systems of Systems. SAFECOMP 2005: 37-51
15		Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid: Combining software evidence: arguments and assurance. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
14		Weihang Wu, Tim Kelly: Failure modelling in software architecture design for safety. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
	2004
13		Fan Ye, Tim Kelly: Component Failure Mitigation According to Failure Type. COMPSAC 2004: 258-264
12		Weihang Wu, Tim Kelly: Safety Tactics for Software Architecture Design. COMPSAC 2004: 368-375
11		Fan Ye, Tim Kelly: COTS Product Selection for Safety-Critical Systems. ICCBSS 2004: 53-62
10		Zeshan Kurd, Tim P. Kelly, Jim Austin: Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. IDEAL 2004: 266-271
9		Zeshan Kurd, Tim Kelly: Using Fuzzy Self-Organising Maps for Safety Critical Systems. SAFECOMP 2004: 17-30
8		Fan Ye, Tim Kelly: Contract-Based Justification for COTS Component within Safety Critical Applications. SCS 2004: 13-22
	2003
7		Zeshan Kurd, Tim Kelly: Establishing Safety Criteria for Artificial Neural Networks. KES 2003: 163-169
6		Zeshan Kurd, Tim Kelly: Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. SAFECOMP 2003: 77-91
5		Rob Weaver, Jane Fenn, Tim Kelly: A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. SCS 2003: 57-67
	2002
4		Iain Bate, Tim Kelly: Architectural Considerations in the Certification of Modular Systems. SAFECOMP 2002: 321-333
	2001
3		Karen Allenby, Tim Kelly: Deriving Safety Requirements Using Scenarios. RE 2001: 228-235
2		Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001)
	1999
1		Tim P. Kelly, John A. McDermid: A Systematic Approach to Safety Case Maintenance. SAFECOMP 1999: 13-26

Coauthor Index

1	Robert Alexander	[21]
2	Karen Allenby	[3]
3	Katrina Attwood	[28]
4	Jim Austin (James Austin)	[10] [25]
5	Iain Bate (I. J. Bate)	[2] [4]
6	Radu Calinescu	[31]
7	John A. Clark (John Andrew Clark)	[23]
8	Philippa Conmy	[2]
9	Georgios Despotou	[15]
10	Jane Fenn	[5]
11	Thilina Gunasinghe	[18]
12	Ibrahim Habli	[26] [28] [30]
13	Martin Hall-May	[16] [20] [22]
14	Dimitar Kazakov	[21]
15	Edmund Kazmierczak	[29]
16	Zeshan Kurd	[6] [7] [9] [10] [17] [25] [31]
17	Marta Z. Kwiatkowska	[31]
18	Tariq Mahmood	[29]
19	John A. McDermid	[1] [2] [15] [31]
20	Dennis Plunkett	[29]
21	Fiona Polack	[23]
22	Thitima Srivatanakul	[23]
23	Rob Weaver	[5] [15]
24	Weihang Wu	[12] [14] [19] [24] [27] [28]
25	Fan Ye	[8] [11] [13]

Colors in the list of coauthors