Zobrazeno 1 - 10
of 150
pro vyhledávání: '"Wu, Tianwei"'
Autor:
Rashid, Syed Md Mukit, Wu, Tianwei, Tu, Kai, Ishtiaq, Abdullah Al, Tanvir, Ridwanul Hasan, Dong, Yilu, Chowdhury, Omar, Hussain, Syed Rafiul
This paper proposes Proteus, a protocol state machine, property-guided, and budget-aware automated testing approach for discovering logical vulnerabilities in wireless protocol implementations. Proteus maintains its budget awareness by generating tes
Externí odkaz:
http://arxiv.org/abs/2409.02905
Autor:
Ishtiaq, Abdullah Al, Das, Sarkar Snigdha Sarathi, Rashid, Syed Md Mukit, Ranjbar, Ali, Tu, Kai, Wu, Tianwei, Song, Zhezheng, Wang, Weixuan, Akon, Mujtahid, Zhang, Rui, Hussain, Syed Rafiul
In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural constituency parser, NEUTREX, to process transition-relevant texts and
Externí odkaz:
http://arxiv.org/abs/2310.04381
Publikováno v:
In Composites Science and Technology 10 November 2024 258
Publikováno v:
In Composites Part A February 2025 189
Publikováno v:
In Engineering Fracture Mechanics 9 February 2024 296
Publikováno v:
In Composites Science and Technology 10 November 2023 244
Publikováno v:
In Composite Structures 1 November 2023 323
Autor:
Chen, Jiahe, Tian, Jiaqing, Chen, Yan, Wu, Tianwei, Sun, Huijun, Xie, Junyao, You, Xueqiu, Chen, Zhong
Publikováno v:
In Microchemical Journal October 2023 193
Publikováno v:
In Composites Science and Technology 28 July 2023 240
Publikováno v:
In Energy 15 January 2023 263 Part A