Tim P. Kelly
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
1995–2012
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SAFECOMP | Assessing Software Interference Management When Modifying Safety-Related Software. | Patrick J. Graydon, Tim P. Kelly |
| 2012 | SAFECOMP | Introduction to Sassur 2012. | Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele |
| 2005 | SAFECOMP | Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. | Zeshan Kurd, Tim P. Kelly |
| 2004 | IDEAL | Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. | Zeshan Kurd, Tim P. Kelly, Jim Austin |
| 1999 | SAFECOMP | A Systematic Approach to Safety Case Maintenance. | Tim P. Kelly, John A. McDermid |
| 1997 | SAFECOMP | Safety Case Construction and Reuse Using Patterns. | Tim P. Kelly, John A. McDermid |
| 1995 | SAFECOMP | Safety Cases for Software Application Reuse. | Peter Fenelon, Tim P. Kelly, John A. McDermid |