Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

X. Chen, L. Han, J. Liu, and H. Sun. RE Workshops, page 296-303. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Haiying Lu

Haiying Yu

Haiying Jin

Haiying Qi

Haiying Guo

Other publications of authors with the same name

HSD: Hybrid MARTE Sequence Diagram.L. Yao, J. Liu, Y. Zhang, Y. Wang, H. Sun, Q. Wang, D. Du, and X. Chen. QRS, page 189-194. IEEE, (2015)STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.T. Li, J. Liu, J. Kang, H. Sun, W. Yin, X. Chen, and H. Wang. QRS, page 309-319. IEEE, (2020)DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.R. Wang, J. Kang, W. Yin, H. Wang, H. Sun, X. Chen, Z. Gao, S. Wang, and J. Liu. TrustCom, page 188-195. IEEE, (2021)Safe Reinforcement Learning for CPSs via Formal Modeling and Verification.C. Yang, J. Liu, H. Sun, J. Sun, X. Chen, and L. Zhang. IJCNN, page 1-8. IEEE, (2021)Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.H. Liu, J. Liu, H. Sun, T. Li, and J. Zhang. QRS, page 549-560. IEEE, (2022)Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.X. Chen, X. Wu, M. Zhao, and H. Sun. TASE, page 248-255. IEEE, (2019)Understanding the Reproducibility Issues of Monkey for GUI Testing.H. Liu, Q. Kong, J. Wang, T. Su, and H. Sun. SETTA, volume 14464 of Lecture Notes in Computer Science, page 132-151. Springer, (2023)Dependable Reinforcement Learning via Timed Differential Dynamic Logic.R. Wang, Y. Zhang, H. Sun, and J. Liu. ISCC, page 1-6. IEEE, (2021)A Simple Transform Method in the Field of Image Processing.Y. Ma, C. Liu, and H. Sun. ISDA (2), page 429-432. IEEE Computer Society, (2006)Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism.H. Wang, J. Liu, J. Kang, W. Yin, H. Sun, and H. Wang. ISPA/BDCloud/SocialCom/SustainCom, page 448-457. IEEE, (2020)

BibSonomy

Disambiguation of "Sun, Haiying"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

Please choose a person to relate this publication to

Haiying Lu

Haiying Yu

Haiying Jin

Haiying Qi

Haiying Guo

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Sun, Haiying"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

Please choose a person to relate this publication to

Haiying Lu

Haiying Yu

Haiying Jin

Haiying Qi

Haiying Guo

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.