From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.

Y. Dong, X. Zhang, Y. Xu, C. Cai, Y. Chen, W. Miao, J. Li, и G. Pu. ESEC/SIGSOFT FSE, стр. 1914-1925. ACM, (2023)

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.

Jianmin Miao

Xiaodan Miao

Bingqi Miao

Jinsong Miao

Miao Zhang

Другие публикации лиц с тем же именем

Fine-Grained Neural Network Abstraction for Efficient Formal Verification.Z. Wen, W. Miao, и M. Zhang. SEKE, стр. 144-149. KSI Research Inc., (2021)Agent based ServiceBSP Model with Superstep Service for Grid Computing.W. Miao, и W. Tong. GCC, стр. 255-260. IEEE Computer Society, (2007)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.J. Feng, W. Miao, H. Zheng, Y. Huang, J. Li, Z. Wang, T. Su, B. Gu, G. Pu, M. Yang и 1 other автор(ы). CoRR, (2023)Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models.Y. Xu, J. Feng, и W. Miao. QRS, стр. 204-215. IEEE, (2024)Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.H. Zheng, J. Feng, W. Miao, и G. Pu. TASE, стр. 183-190. IEEE, (2021)A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software.W. Miao, Q. Yan, Y. Huang, J. Feng, и H. Zheng. APSEC, стр. 15-22. IEEE, (2019)Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.Y. Huang, J. Feng, H. Zheng, J. Zhu, S. Wang, S. Jiang, W. Miao, и G. Pu. ASE, стр. 1166-1169. IEEE, (2019)A Formal Specification-Based Testing Approach to Accurate Web Service Selection.W. Miao, и S. Liu. APSCC, стр. 259-266. IEEE Computer Society, (2011)A Formal Engineering Approach to Product Family Modeling.X. Wang, R. Khédri, и W. Miao. TASE, стр. 87-94. IEEE, (2021)FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.Y. Huang, F. Juefei-Xu, R. Wang, Q. Guo, L. Ma, X. Xie, J. Li, W. Miao, Y. Liu, и G. Pu. ACM Multimedia, стр. 1217-1226. ACM, (2020)

BibSonomy

Disambiguation