dblp.uni-trier.dewww.uni-trier.de

Tim Kelly

Tim P. Kelly

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)