Tim Kelly

Tim P. Kelly

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

Colors in the list of coauthors