Items where Author is "Mei, Haitao"

Wei, Ran and Foster, Simon and Mei, Haitao and Yan, Fang and Yang, Ruizhe and Habli, Ibrahim and O’Halloran, Colin and Tudor, Nick and Kelly, Tim and Nemouchi, Yakoub (2024) ACCESS: Assurance Case Centric Engineering of Safety–critical Systems. Journal of Systems and Software, 213: 112034. ISSN 0164-1212

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Yang, Ruizhe and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2024) DECISIVE : Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (5). pp. 1346-1359. ISSN 0278-0070

Wei, Ran and Jiang, Zhe and Mei, Haitao and Barmpis, Konstantinos and Foster, Simon and Kelly, Tim and Zhuang, Yan (2024) Automated model based assurance case management using constrained natural language. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (1). pp. 291-304. ISSN 0278-0070

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2022) Designing critical systems with iterative automated safety analysis. In: 59th ACM/IEEE Design Automation Conference :. ACM, pp. 181-186.