Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models.
CoRR, 2023
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Research on Multiple-Degree-of-Freedom Manipulator.
Proceedings of the Cyber Security Intelligence and Analytics, 2019