The York Research Database
- » Research
- » York Research Database
- » Researchers
- » Prof Tim Kelly
- » Activities
Prof. Tim Kelly
(Former)
- 2014
International Journal of Critical Computer-Based Systems (Journal)
Tim Kelly (Editorial board member)
2014Activity: Publication peer-review and editorial work › Editorial board
- 2013
Modular Certification
Tim Kelly (Participant)
Nov 2013Activity: Other › Public engagement and outreach (general)
1st International Workshop on Argument for Agreement and Assurance
Tim Kelly (Invited speaker)
2013Activity: Participating in or organising an event › Seminar/workshop/course
5th International Workshop on Software Engineering in Health Care (SEHC), ICSE 2013
Tim Kelly (Keynote/plenary speaker)
2013Activity: Participating in or organising an event › Seminar/workshop/course
- 2012
Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), SafeComp 2012
Tim Kelly (Keynote/plenary speaker)
2012Activity: Participating in or organising an event › Seminar/workshop/course
THE HEALTH FOUNDATION (External organisation)
Tim Kelly (Member)
2012Activity: Membership › Working group
- 2011
IET Safety Community (External organisation)
Tim Kelly (Member)
2011 → …Activity: Membership › Committee
IET Safety Community (External organisation)
Tim Kelly (Member)
2011 → …Activity: Membership › Working group
Summer Software Symposium on Assurance Cases: New Techniques and New Guidance
Tim Kelly (Keynote/plenary speaker)
2011Activity: Talk or presentation › Symposium
- 2010
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2010
Tim Kelly (Keynote/plenary speaker)
25 Mar 2010Activity: Talk or presentation › Invited talk
Networked Systems Safety
Tim Kelly (Participant)
2010Activity: Other › Public engagement and outreach (general)
Software Safety Classes
Tim Kelly (Participant)
2010Activity: Other › Public engagement and outreach (general)
Systems and Software Assurance Engineering Team talk
Tim Kelly (Participant)
2010Activity: Other › Public engagement and outreach (general)
- 2009
- 2008
Summer Software Symposium: Assuring Confidence in Predictable Quality of Complex Medical Devices
Tim Kelly (Invited speaker)
16 Jul 2008Activity: Participating in or organising an event › Conference participation
Taught Course External Examinership
Tim Kelly (Examiner (external))
2008 → 2011Activity: Examination › Masters
- 2007
IET Functional Safety Professional Network (External organisation)
Tim Kelly (Chair)
2007 → 2010Activity: Membership › Committee
- 2001
IET Safety Critical Systems School (External organisation)
Tim Kelly (Member)
2001 → …Activity: Membership › Committee