Items where authors include "Yan, Fang"

Conference or Workshop Item

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 Assurance Case Process of RoboChart Supported by Formal Verification. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

Proceedings Paper

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (2023) Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. In: 27th International Conference on Engineering of Complex Computer Systems. the 27th International Conference on Engineering of Complex Computer Systems, 14-16 Jun 2023. IEEE , FRA . (In Press)

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (1 more author) (2022) Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases. In: 10th International Conference on Model-Driven Engineering and Software Development. UNSPECIFIED. SciTePress , pp. 252-263.

Yan, Fang (2021) Generation and Verification of Executable Assurance Case by Model-based Engineering. In: 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). UNSPECIFIED. . (In Press)

Yan, Fang, Foster, Simon orcid.org/0000-0002-9889-9514 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (2021) Safety Case Generation by Model-based Engineering : State of the Art and a Proposal. In: The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, 18-22 Apr 2021. International Academy, Research, and Industry Association , PRT , pp. 4-7.