Haitao Mei
Papers
2
Total Citations
18
H-Index
2
About
Haitao Mei is a leading researcher in the engineering of safety-critical systems, with a focus on assurance case development and model-based systems engineering. His work addresses the critical challenge of communicating and assessing confidence in system properties like safety and security—areas where failure can have catastrophic consequences. Mei’s major contributions include pioneering automated, model-based approaches to assurance case management, moving beyond traditional, manually created documents that are prone to error and inefficiency. His 2024 paper, "ACCESS: Assurance Case Centric Engineering of Safety–critical Systems," has already garnered 10 citations, highlighting its immediate impact on the field. In his 2023 work, "Automated Model-Based Assurance Case Management Using Constrained Natural Language," he introduced methods to streamline validation processes, reducing the lengthy and error-prone manual reviews that have historically plagued system assurance. With 8 citations, this paper underscores his role in advancing practical, scalable solutions for engineers. Mei’s research is instrumental in making safety-critical systems—from autonomous vehicles to medical devices—more reliable and verifiable, earning him recognition as a key innovator in assurance case automation.
Research Focus
Key Achievements
Top Papers
- 1ACCESS: Assurance Case Centric Engineering of Safety–critical Systems10 citations · 2024
- 2