MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tim Kelly" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

30 documents found, showing 1 through 10. Next 10 →

ATOM

COTS & CBS (Cont’d)
by Fan Ye, Tim Kelly
…COTS Product Selection for Safety-Critical Applications Fan Ye, Tim Kelly Department of Computer…
Add To MetaCart

Architectural Considerations in the Certification of Modular Systems
by Iain Bate, Tim Kelly — 2003 — in Proceedings of the 21 st International Conference on Computer Safety, Reliability and Security (SAFECOMP'02
…Architectural considerations in the certification of modular systems Iain Bate*, Tim Kelly…
Cited by 9 (4 self) – Add To MetaCart

Supporting the use of cots in safety critical applications
by Steven Dawkins, Tim Kelly — 1997 — IEE Seminar Digests
…SUPPORTING THE USE OF COTS IN SAFETY CRITICAL APPLICATIONS Steven Dawkins 1 , Tim Kelly 2 High…
Cited by 2 (0 self) – Add To MetaCart

Safety Tactics for Software Architecture Design
by Weihang Wu, Tim Kelly — 2004 — in Proceedings of the 28th Annual International Computer Software and Applications Conference, (Hong Kong, 2004), IEEE Computer Society
…Safety Tactics for Software Architecture Design Weihang Wu Tim Kelly Department of Computer…
Cited by 4 (2 self) – Add To MetaCart

The need for flexible requirements in dependable systems
by Georgios Despotou, Tim Kelly — 2005 — In proceedings of the 4th International Workshop on Requirements for High Assurance Systems (RHAS), Paris, Software Engineering Institute
…The Need for Flexible Requirements in Dependable Systems Georgios Despotou, Tim Kelly Department…
Cited by 3 (2 self) – Add To MetaCart

Establishing Safety Criteria for Artificial Neural Networks
by Zeshan Kurd, Tim Kelly — 2003 — In Seventh International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES’03
…Establishing Safety Criteria for Artificial Neural Networks Zeshan Kurd, Tim Kelly Department…
Cited by 3 (3 self) – Add To MetaCart

Using Agent-based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems
by Martin Hall-may, Tim Kelly — 2006 — Proceedings of the 25th International Conference on Computer Safety, Reliability and Security (SAFECOMP ’06
… of Systems Martin Hall-May and Tim Kelly Department of Computer Science University of York, York, YO10 5DD…
Cited by 4 (4 self) – Add To MetaCart

Defining and decomposing safety policy for systems of systems
by Martin Hall-may, Tim Kelly — 2005 — In: Proceedings of the 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP ’05). Volume 3688 of LNCS., Fredrikstad
…Defining and Decomposing Safety Policy for Systems of Systems Martin Hall-May and Tim Kelly…
Cited by 6 (4 self) – Add To MetaCart

Failure Modelling in Software Architecture Design for Safety
by Weihang Wu, Tim Kelly — 2005 — ACM SIGSOFT Software Engineering Notes
…Failure Modelling in Software Architecture Design for Safety Weihang Wu Tim Kelly High Integrity…
Cited by 1 (1 self) – Add To MetaCart

COTS Product Selection for Safety-Critical Systems
by Fan Ye, Tim Kelly — 2004 — In Proceedings of 3 rd International Conference on COTS-Based Software System (ICCBSS’04), R. Kazman and D. Port (Eds.), LNCS 2959
…COTS Product Selection for Safety-Critical Systems Fan Ye, Tim Kelly High Integrity Systems…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB