The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Tim Kelly: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Weihang Wu, Tim Kelly
    Safety Tactics for Software Architecture Design. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:368-375 [Conf]
  2. Fan Ye, Tim Kelly
    Component Failure Mitigation According to Failure Type. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:258-264 [Conf]
  3. Fan Ye, Tim Kelly
    COTS Product Selection for Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2004, pp:53-62 [Conf]
  4. Thilina Gunasinghe, Tim Kelly
    Establishing a Standard Business Process Execution Architecture for Integrating Web Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:365-372 [Conf]
  5. Zeshan Kurd, Tim Kelly
    Establishing Safety Criteria for Artificial Neural Networks. [Citation Graph (0, 0)][DBLP]
    KES, 2003, pp:163-169 [Conf]
  6. Karen Allenby, Tim Kelly
    Deriving Safety Requirements Using Scenarios. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:228-235 [Conf]
  7. Robert Alexander, Dimitar Kazakov, Tim Kelly
    System of Systems Hazard Analysis Using Simulation and Machine Learning. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2006, pp:1-14 [Conf]
  8. Iain Bate, Tim Kelly
    Architectural Considerations in the Certification of Modular Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:321-333 [Conf]
  9. Martin Hall-May, Tim Kelly
    Defining and Decomposing Safety Policy for Systems of Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:37-51 [Conf]
  10. Martin Hall-May, Tim Kelly
    Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2006, pp:330-343 [Conf]
  11. Zeshan Kurd, Tim Kelly
    Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:77-91 [Conf]
  12. Zeshan Kurd, Tim Kelly
    Using Fuzzy Self-Organising Maps for Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2004, pp:17-30 [Conf]
  13. Rob Weaver, Jane Fenn, Tim Kelly
    A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. [Citation Graph (0, 0)][DBLP]
    SCS, 2003, pp:57-67 [Conf]
  14. Fan Ye, Tim Kelly
    Contract-Based Justification for COTS Component within Safety Critical Applications. [Citation Graph (0, 0)][DBLP]
    SCS, 2004, pp:13-22 [Conf]
  15. Weihang Wu, Tim Kelly
    Managing Architectural Design Decisions for Safety-Critical Software Systems. [Citation Graph (0, 0)][DBLP]
    QoSA, 2006, pp:59-77 [Conf]
  16. Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid
    Use of Modern Processors in Safety-Critical Applications. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:6, pp:531-543 [Journal]
  17. Zeshan Kurd, Tim Kelly, Jim Austin
    Developing artificial neural networks for safety critical systems. [Citation Graph (0, 0)][DBLP]
    Neural Computing and Applications, 2007, v:16, n:1, pp:11-19 [Journal]
  18. Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly
    Extending Argumentation to Goal-Oriented Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    ER Workshops, 2007, pp:306-316 [Conf]
  19. Weihang Wu, Tim Kelly
    Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. [Citation Graph (0, 0)][DBLP]
    WADS, 2006, pp:383-408 [Conf]
  20. Weihang Wu, Tim Kelly
    Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:172-186 [Conf]

  21. Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. [Citation Graph (, )][DBLP]


  22. Structuring Safety Policy Decomposition. [Citation Graph (, )][DBLP]


  23. Deviational Analyses for Validating Regulations on Real Systems. [Citation Graph (, )][DBLP]


  24. A Model-Driven Approach to Assuring Process Reliability. [Citation Graph (, )][DBLP]


  25. Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. [Citation Graph (, )][DBLP]


  26. Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. [Citation Graph (, )][DBLP]


  27. A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. [Citation Graph (, )][DBLP]


  28. A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.304secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002