Tim Kelly

Identifiers

• name variant Tim Kelly 0.60 · backfill

Papers (5)

1. ACCESS: Assurance Case Centric Engineering of Safety-critical Systems cs.SE · 2024 · author #9
2. Mechanised Assurance Cases with Integrated Formal Methods in Isabelle cs.LO · 2019 · author #4
3. An Assurance Framework for Independent Co-assurance of Safety and Security cs.SE · 2019 · author #2
4. Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems cs.SE · 2017 · author #2
5. Large-scale Complex IT Systems cs.SE · 2011 · author #5

Mentions

• 2403.15236 #9 · arxiv_oai · confidence 0.70 Tim Kelly
• 1710.03394 #2 · arxiv_oai · confidence 0.70 Tim Kelly
• 1109.3444 #5 · backfill · confidence 0.70 Tim Kelly

Frequent Coauthors

• Simon Foster 2 shared papers
• Yakoub Nemouchi 2 shared papers
• Chris Leong 1 shared papers
• Colin O'Halloran 1 shared papers
• Dave Cliff 1 shared papers
• Fang Yan 1 shared papers
• Haitao Mei 1 shared papers
• Ian Sommerville 1 shared papers
• Ibrahim Habli 1 shared papers
• John McDermid 1 shared papers
• Justin Keen 1 shared papers
• Mario Gleirscher 1 shared papers
• Marta Kwiatkowska 1 shared papers
• Nick Tudor 1 shared papers
• Nikita Johnson 1 shared papers
• Radu Calinescu 1 shared papers
• Ran Wei 1 shared papers
• Richard Paige 1 shared papers
• Rob Alexander 1 shared papers
• Ruizhe Yang 1 shared papers