Haitao Mei

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2024

Automated Model-Based Assurance Case Management Using Constrained Natural Language.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., January, 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
J. Syst. Softw., 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
CoRR, 2024


2022
Designing critical systems with iterative automated safety analysis.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022


  Loading...