Fang Yan

According to our database, Fang Yan authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software.

Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, Jim Woodcock

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

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

2021

Generation and Verification of Executable Assurance Case by Model-based Engineering.

Fang Yan

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021