Research output per year
Research output per year
Search results
-
2023
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL
Yan, F., Foster, S. D. & Habli, I., 16 Mar 2023, (Accepted/In press) 27th International Conference on Engineering of Complex Computer Systems. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2022
Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases
Yan, F., Foster, S. D., Habli, I. & Wei, R., 6 Feb 2022, 10th International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 252-263 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2021
Generation and Verification of Executable Assurance Case by Model-based Engineering
Yan, F., 27 Aug 2021, (Accepted/In press) 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Safety Case Generation by Model-based Engineering: State of the Art and a Proposal
Yan, F., Foster, S. & Habli, I., 18 Apr 2021, The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. International Academy, Research, and Industry Association , p. 4-7 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile