Tim P. Kelly
List of publications from the DBLP Bibliography Server - FAQ
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 |
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] |