From post

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

ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis

D. Zhan, X. Yu, H. Zhang, и L. Ye. IEEE Transactions on Software Engineering, (2022)
DOI: 10.1109/TSE.2022.3160155

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.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matchingM. Zhang. TU München, (2009)

Yue Zhang

Ning Zhang

Gang Zhang

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

The Improved AC High-Performance Pattern-Matching Algorithm for Intrusion Detection.D. Xu, H. Zhang, и M. Hou. APWeb Workshophs, том 8710 из Lecture Notes in Computer Science, стр. 200-213. Springer, (2014)LPPS: Location privacy protection for smartphones.H. Zhang, Z. Xu, X. Yu, и X. Du. ICC, стр. 1-6. IEEE, (2016)Verifying cloud Service Level Agreement.L. Ye, H. Zhang, J. Shi, и X. Du. GLOBECOM, стр. 777-782. IEEE, (2012)EDCleaner: Data Cleaning for Entity Information in Social Network.J. Wang, H. Zhang, B. Fang, X. Wang, G. Yin, и X. Yu. ICC, стр. 1-7. IEEE, (2019)RnnTd: An Approach Based on LSTM and Tensor Decomposition for Classification of Crimes in Legal Cases.X. Guo, H. Zhang, L. Ye, и S. Li. DSC, стр. 16-22. IEEE, (2019)lpRide: Lightweight and Privacy-Preserving Ride Matching Over Road Networks in Online Ride Hailing Systems.H. Yu, J. Shu, X. Jia, H. Zhang, и X. Yu. IEEE Trans. Vehicular Technology, 68 (11): 10418-10428 (2019)The Practice of I/O Optimizations for Out-of-Core Computation.J. Tang, B. Fang, M. Hu, и H. Zhang. PDCAT, том 3320 из Lecture Notes in Computer Science, стр. 81-85. Springer, (2004)Understanding the formation of interdisciplinary research from the perspective of keyword evolution: a case study on joint attention.J. Xu, Y. Bu, Y. Ding, S. Yang, H. Zhang, C. Yu, и L. Sun. Scientometrics, 117 (2): 973-995 (2018)Feature Evaluation for Early Stage Internet Traffic Identification.L. Peng, H. Zhang, B. Yang, и Y. Chen. ICA3PP (1), том 8630 из Lecture Notes in Computer Science, стр. 511-525. Springer, (2014)SAVM: A practical secure external approach for automated in-VM management.D. Zhan, L. Ye, B. Fang, и H. Zhang. Concurr. Comput. Pract. Exp., (2019)

BibSonomy

Disambiguation