Fang Yan

According to our database, Fang Yan authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi

J. Syst. Softw., 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly

CoRR, 2024

2023

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.

Fang Yan, Simon Foster, Ibrahim Habli

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.

Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022