Sign in
Haitao Mei
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Nuclear Power Plant
Natural Language
Semi Automated
Dialogue System
Top Venues
DAC
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Ran Wei
,
Zhe Jiang
,
Haitao Mei
,
Konstantinos Barmpis
,
Simon Foster
,
Tim Kelly
,
Yan Zhuang
Automated Model-Based Assurance Case Management Using Constrained Natural Language.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
43 (1) (2024)
Ran Wei
,
Zhe Jiang
,
Xiaoran Guo
,
Haitao Mei
,
Athanasios Zolotas
,
Tim Kelly
Designing critical systems with iterative automated safety analysis.
DAC
(2022)