Tim P. Kelly
List of publications from the
| 2007 |
|---|
| 27 | EE | Tariq Mahmood,
Edmund Kazmierczak,
Tim Kelly,
Dennis Plunkett:
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.
APSEC 2007: 175-182 |
| 26 | EE | Ibrahim Habli,
Weihang Wu,
Katrina Attwood,
Tim Kelly:
Extending Argumentation to Goal-Oriented Requirements Engineering.
ER Workshops 2007: 306-316 |
| 25 | EE | Weihang Wu,
Tim Kelly:
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.
SAFECOMP 2007: 172-186 |
| 24 | EE | Ibrahim Habli,
Tim Kelly:
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System.
SPLC 2007: 193-202 |
| 23 | 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 |
|---|
| 22 | EE | Weihang Wu,
Tim Kelly:
Managing Architectural Design Decisions for Safety-Critical Software Systems.
QoSA 2006: 59-77 |
| 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 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 |
