Generation and Verification of Executable Assurance Case by Model-based Engineering. - Fang Yan 004 (ISSRE Workshops, 2021)

Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. - Fang Yan 004; Simon Foster 001; Ibrahim Habli; Ran Wei (MODELSWARD, 2022)

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. - Fang Yan 004; Simon Foster 001; Ibrahim Habli (ICECCS, 2023)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. - Ran Wei; Simon Foster 001; Haitao Mei; Fang Yan 004; Ruizhe Yang; Ibrahim Habli; Colin O'Halloran; Nick Tudor; Tim Kelly (CoRR, 2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. - Ran Wei; Simon Foster 001; Haitao Mei; Fang Yan 004; Ruizhe Yang; Ibrahim Habli; Colin O'Halloran; Nick Tudor; Tim Kelly; Yakoub Nemouchi (J. Syst. Softw., 2024)

Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software. - Ziggy Attala; Fang Yan 004; Simon Foster 001; Ana Cavalcanti 001; Jim Woodcock 001 (NFM, 2025)