基本信息
views: 277
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
主要研究兴趣包括计算机科学、软件工程、网络空间安全、程序设计语言与建模语言,人工智能,智能软件分析和验证等,及其在航空航天、信息安全、物联网等领域的应用。主持国家自然科学基金3项、参与3项。作为第一作者在SPE、COMPJ、IPL、FUIN、TSMJ、SL等著名国际学术期刊和ICSE、ISSTA、TACAS、SPIN、COMPSAC、ICFEM、TASE等著名国际会议和国内核心期刊发表了40余篇研究论文,获得2019年ACM SIGSOFT Distinguished Paper Award。
Research Interests
Papers共 308 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Formal Methods in System Designpp.1-37, (2024)
ACM Trans. Softw. Eng. Methodol.no. 4 (2024): 89:1-89:47
IEEE Open Journal of Antennas and Propagation (2023): 111-117
2023 IEEE MTT-S International Microwave Workshop Series on Advanced Materials and Processes for RF and THz Applications (IMWS-AMP)pp.01-03, (2023)
IEEE Trans. Instrum. Meas. (2023): 1-4
PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023pp.816-828, (2023)
IEEE Transactions on Software Engineeringno. 4 (2023): 2107-2127
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn