Tim Kelly

Tim P. Kelly

	2012
38		Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight: Arguing Conformance. IEEE Software 29(3): 50-57 (2012)
	2011
37		Richard Hawkins, Kester Clegg, Robert Alexander, Tim Kelly: Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP 2011: 185-198
36		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)
	2010
35		Ibrahim Habli, Tim Kelly: A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS 2010: 142-160
34		Ibrahim Habli, Richard Hawkins, Tim Kelly: Software safety: relating software assurance and software integrity. IJCCBS 1(4): 364-383 (2010)
	2009
33		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
32		Ibrahim Habli, Tim Kelly: A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. Electr. Notes Theor. Comput. Sci. 238(4): 27-39 (2009)
	2008
31		Ibrahim Habli, Tim Kelly: A Model-Driven Approach to Assuring Process Reliability. ISSRE 2008: 7-16
	2007
30		Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett: Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. APSEC 2007: 175-182
29		Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly: Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops 2007: 306-316
28		Weihang Wu, Tim Kelly: Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. SAFECOMP 2007: 172-186
27		Ibrahim Habli, Tim Kelly: Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202
26		Zeshan Kurd, Tim Kelly, Jim Austin: Developing artificial neural networks for safety critical systems. Neural Computing and Applications 16(1): 11-19 (2007)
25		Zeshan Kurd, Tim P. Kelly: Using fuzzy self-organising maps for safety critical systems. Rel. Eng. & Sys. Safety 92(11): 1563-1583 (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] [37]
2	Karen Allenby	[3]
3	Katrina Attwood	[29]
4	Jim Austin (James Austin)	[10] [26]
5	Iain Bate (I. J. Bate)	[2] [4]
6	Radu Calinescu	[33] [36]
7	John A. Clark (John Andrew Clark)	[23]
8	Kester Clegg	[37]
9	Dave Cliff	[36]
10	Philippa Conmy	[2]
11	Georgios Despotou	[15]
12	Jane Fenn	[5]
13	Patrick J. Graydon	[38]
14	Thilina Gunasinghe	[18]
15	Ibrahim Habli	[27] [29] [31] [32] [34] [35] [38]
16	Martin Hall-May	[16] [20] [22]
17	Richard Hawkins	[34] [37] [38]
18	Dimitar Kazakov	[21]
19	Edmund Kazmierczak	[30]
20	Justin Keen	[36]
21	John C. Knight	[38]
22	Zeshan Kurd	[6] [7] [9] [10] [17] [25] [26] [33]
23	Marta Z. Kwiatkowska	[33] [36]
24	Tariq Mahmood	[30]
25	John A. McDermid	[1] [2] [15] [33] [36]
26	Richard F. Paige	[36]
27	Dennis Plunkett	[30]
28	Fiona A. C. Polack (Fiona Polack)	[23]
29	Ian Sommerville	[36]
30	Thitima Srivatanakul	[23]
31	Rob Weaver	[5] [15]
32	Weihang Wu	[12] [14] [19] [24] [28] [29]
33	Fan Ye	[8] [11] [13]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page