钱俊彦
钱俊彦
首页  钱俊彦

    钱俊彦 教授  

    职称：教授/博导

    研究方向：智能安全；软件漏洞检测；形式化分析与验证；容错算法

    电子邮件：qianjunyan@gxnu.edu.cn

    通信地址：广西桂林市七星区育才路15号广西师范大学计算机科学与工程学院

     

    招收博士和硕士研究生

    招收专业：

        博士生：软件工程；

        学硕：计算机科学与技术、软件工程；

        专硕：计算机技术、软件工程、电子信息

    招生需求：

        1、招收硕士生不强调本科是计算机专业，只要数学或相关工科专业都可；若愿意继续读博或出国深造更佳。

        2、认同中国优秀传统文化，拥有贤善的人格，诚信的品质，无抽烟等不良习惯。

        3、若你具有兼济天下的大志向、或较扎实的数学基础、或较强的英文阅读、或较强的编程能力，将可能取得更好的成绩。

    心得：以德为先、以学为本、以勤为径。


    [个人简介] [科研项目] [代表性成果] [主要教学工作]

    （一）个人简介

    钱俊彦，男，教授/博导，广西师大“漓江学者”，计算机学会理论计算机科学、形式化方法、分布式计算与系统专委会委员,主要研究方向：形式化验证、软件漏洞检测、智能安全、容错算法等。广西“十百千”人才工程第二层次人选，广西高校卓越学者，2013年获广西青年科技奖；2011和2004年分别获广西区自然科学和科技进步三等奖。主持国家自然科学基金、广西自然科学基金等项目20多项。在计算机领域的国际顶级期刊IEEE TSE、IEEE TPDS、IEEE TCAD、ACM TOSEM、IEEE T RELIAB、IEEE TFS，国内一级学报《计算机学报》、《软件学报》、《电子学报》，以及ACM MobiCom等重要国际会议上发表学术论文100多篇。获发明专利11项，实用新型专利1项，软件著作权13项。

    （二）科研项目

    “基于开关结构的VLSI处理器阵列降阶重构技术研究”国家自然科学地区基金，编号：62162004，2022.01-2025.12， 主持

    “基于下推网络的实时并发递归程序可达性分析及增量式验证”，国家自然科学地区基金，编号： 61562015，2016.01-2019.12，主持

    “基于抽象和符号技术的并发软件验证研究”，国家自然科学地区基金，编号：61063002，2011.01-2013.12，主持

    “基于依赖公式抽象的软件模型检测研究”，国家自然科学基金地区项目，编号：60663005，2007.01-2009.12，主持

    （三）代表性成果

    1、论文

    1. Yufei Zhou, Haihua Tang, Longtao Zhu, Hao Ding, Junyan Qian*. Refining code-line-levelbugginess identification: Getting the best of both worlds by fusing syntacticand semantic features. ACM Transactions on Software Engineering and Methodology. 2024, accepted, DOI: DOI: 10.1145/3707456. CCF-A类

    2. JunyanQian, Kunzhu Qiu, Hao Ding*, Huimin Zhang,and Zhongyi Zhai*. An Efficient Bottleneck Planes Exclusion Method forReconfiguring 3D VLSI Arrays. IEEE Transactions on Parallel and DistributedSystems, 2024, 35(2): 250-263. CCF-A类

    3. YangWang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, YutianTang*, Junyan Qian*, Zhi Li*, Yuming Zhou*. Uncovering bugs in code coverage profilers via controlflow constraint solving. IEEE Transactions on Software Engineering, 2023,49(11): 4964-4987. DOI: 10.1109/TSE.2023.3321381 CCF-A类

    4. Hao Ding, Yanlong He, Zhongyi Zhai, Zhi Li, Junyan Qian*, Lingzhong Zhao*.Efficient Three-Dimensional Processor Array Reconfiguration Algorithms Based on Bucket Effect. IEEE Transactions on Computer-Aided Design of Integrated Circuitsand Systems, 2024, 43(4): 1023-1036. DOI: 10.1109/TCAD.2023.3337196. CCF-A类

    5. Junyan Qian, Hao Ding, Hanpeng Xiao, Zhide Zhou,Lingzhong Zhao, and Zhongyi Zhai. Efficient Reconfiguration Algorithm with Flexible Rerouting Schemes for Constructing 3D VLSI Sub-Arrays. IEEETransactions on Computer-Aided Design of Integrated Circuits and Systems(TCAD), 2020, 39(1): 267-271. DOI: 10.1109/TCAD.2019.2891984. CCF-A类

    6. Junyan Qian, Zhide Zhou, Tianlong Gu, LingzhongZhao, Liang Chang. Optimal Reconfiguration of High-Performance VLSI Subarrayswith Network Flow. IEEE Transactions on Parallel and Distributed Systems, 2016, 27(12): 3575-3587. CCF-A类

    7. Zhongyi Zhai, Junyan Qian*, Yuan Tao, Lingzhong Zhao, Bo Cheng. A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks. ACM MobiCom 2018:735-737. CCF-A类

    8. Yuming Zhou, Yibiao Yang, Hongmin Lu, Lin Chen, Yangyang Zhao, Junyan Qian, Baowen Xu. How far we have progressed in the journey? An examination ofcross-project defect prediction. ACM TOSEM, 2018, 27(1):1-51. CCF-A类

    9. Fang Liu, Xiaofu Du, Hao Ding, Junyan Qian*. Towardsrobust neural networks: Exploring counterfactual causality-based repair. Expert Systems with Applications,2024, 257: 125082. DOI: 10.1016/j.eswa.2024.125082 中科院SCI一区/CCF-C类

    10. Junyan Qian, Chuanfang Zhang, Zheng Wu, Hao Ding, Long Li. Efficient Topology Reconfiguration for NoC-Based Multiprocessors: A Greedy-Memetic Algorithm. Journal of Parallel and Distributed Computing, 2024,190: 104904. DOI:  10.1016/j.jpdc.2024.104904  CCF-B类

    11. Hao Ding, Junyan Qian*, Bisheng Huang, Lingzhong Zhao, Zhongyi Zhai. Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting. Journal of Parallel and Distributed Computing, 2021,151:1–12. https://doi.org/10.1016/j.jpdc.2021.01.003. CCF-B类

    12. Hao Ding, Junyan Qian*, Lingzhong Zhao, Zhongyi Zhai. A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting. Journal of Parallel and Distributed Computing, 2021, 158: 176–185. https://doi.org/10.1016/j.jpdc.2021.08.005.CCF-B类

    13. Yufei Zhou, Xutong Liu, Zhaoqiang Guo, Yuming Zhou, Corey Zhang, Junyan Qian*. Deep learning or classical machine learning? An empirical study on line-level software defect prediction. Journal of Software: Evolution and Process, 2024, 36(10): e2696.DOI: 10.1002/smr.2696 CCF-B类

    14. Junyan Qian, Fan Shi, Yong Cai, Haiyu Pan*. Approximate Safety Properties in Metric Transition Systems. IEEE Transactionson Reliability, 2022, 71(1): 221-234. 10.1109/TR.2021.3139616. 中科院SCI二区\CCF-C类

    15. Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yuming Lin. Fuzzy Alternating Refinement Relations Under the Godel Semantics. IEEE Transactions on FuzzySystems. 2021, 29(5): 953-964. DOI: 10.1109/TFUZZ.2020.296586. 中科院SCI一区\CCF-B类

    16. Haiyu Pan, Fu Song, Yongzhi Cao, and Junyan Qian. Fuzzy push down termination games. IEEE Transactions on Fuzzy Systems (TFS), 2019, 27(4): 760-774. 中科院SCI一区\CCF-B类

    17. Zhongyi Zhai, Guibing Lai, Bo Cheng, Junyan Qian*, Lingzhong Zhao*, and JinsongWu. Lightweight Secure Detection Service for Malicious Attacks in WSN with timestamp-based MAC. IEEE Transactions on Network and Service Management, 2022,19(4): 5299–5311. DOI: 10.1109/TNSM.2022.3194205. 中科院SCI二区

    18. Yu Q, Zhu Y, Han H, Zhao Y, Jiang S, Qian J. Evolutionary measures andtheir correlations with the performance of cross-version defect prediction forobject-oriented projects. J Softw Evol Proc. 2023, e2625. https://doi.org/10.1002/smr.2625. CCF-B类

    19. Xutong Liu, Yufei Zhou,Zeyu Lu, Yuanqing Mei, Yibiao Yang, Junyan Qian, Yuming Zhou. Unveilingthe impact of unchanged modules across versions on the evaluation ofwithin-project defect prediction models. Journal of Software: Evolution andProcess, 2024, 36(12), e2715. DOI: 10.1002/smr.2715 CCF-B类

    20. Shujuan Jiang, Jieqiong Chen, Yanmei Zhang, Junyan Qian, Rongcun Wang, Meng Xue.An Evolutionary Approach to Generating Test Data for Data Flow Test. IETSoftware, 2018, 12(4): 318-323(2018). CCF-B类

    21. Lina Gong, Shujuan Jiang, Lili Bo and Li Jiang, Junyan Qian. A Novel Class-Imbalance Learning Approach for both Within-Project and Cross-Project Defect Prediction. IEEE Transactions on Reliability.DOI: 10.1109/TR.2019.2895462. 中科院SCI二区\CCF-C类

    22. YanmeiZhang; Shujuan Jiang*; Yanru Ding; Guan Yuan; Junjie Liu; Dongyu Lu; Junyan Qian*. Generating Optimal Class Integration Test Orders Using Genetic Algorithms. International Journal of Software Engineering and Knowledge Engineering, 2022, 32(6):871-892. CCF-C类

    23. Junyan Qian, Fuhao Mo, Hao Ding, Zhide Zhou,Lingzhong Zhao, Zhongyi Zhai*. An improved algorithm for acceleratingreconfiguration of VLSI array. Integration-the VLSI Journal, 2021, 79: 124-132.https://doi.org/10.1016/j.vlsi.2021.04.005  CCF-C类

    24. HaoDing, Junyan Qian*, Lingzhong Zhao, Zhongyi Zhai. A mathematical programming method for constructing the shortest interconnection VLSI arrays. Integration-the VLSI Journal, 2021, 81:167-174. https://doi.org/10.1016/j.vlsi.2021.07.004  CCF-C类

    25. Chenghua Tang, Yang Xiang, YuWang, Junyan Qian* and Baohua Qiang. Detection and Classification of Anomaly Intrusion Using Hierarchy Clustering and SVM.Security and Communication Networks. 2016, 9: 3401–3411. CCF-C类

    26. 钱俊彦,徐力,古天龙,赵岭忠,蔡国永.基于时间动态下推网络可达性分析.电子学报,2017, 45 (9): 2241-2249.(EI, CCF-中文A类期刊)

    27. 于巧,姜淑娟,张艳梅,王兴亚,高鹏飞,钱俊彦*.分类不平衡对软件缺陷预测模型性能的影响研究.计算机学报,2018,41(4):809-824. (EI, CCF-中文A类期刊)

    28. 钱俊彦,甘鹏程,郭云川,赵岭忠,古天龙.基于时间多栈下推网络的实时系统验证.计算机学报,2016,39(11)：2253-2269.(EI, CCF-中文A类期刊)

    29. 赵岭忠,翟仲毅,钱俊彦*,郭云川.基于Mini-trace和ASP的CSP模型检测.软件学报，2015,26(10): 2521-2544. (EI,CCF-中文A类期刊)

    30. 钱俊彦,赵岭忠,蔡国永.基于完备抽象解释的性质强保留抽象研究.计算机学报,2014,37(8):1754-1767. (EI,CCF-中文A类期刊)

    31. 钱俊彦,贾书贵,赵岭忠,郭云川.基于上下文定界的递归队列并发程序可达性分析.计算机学报.2014, 37(12)：2574-2584.(EI, CCF-中文A类期刊)

    32. 钱俊彦,徐宝文.基于完备抽象解释的模型检验CTL公式研究.计算机学报,2009, 31(5): 101-110. (EI,CCF-中文A类期刊)


    2、发明专利

    1. 钱俊彦,贾书贵,赵岭忠,蔡国永,郭云川.基于上下文定界的队列通信并发递归程序验证方法，专利号：ZL201210450761.8, 申请日：2013.2，授权公告日：2015-8-26

    2. 钱俊彦;曾宇清;赵岭忠;郭云川;李凤英.基于树语义的异步动态下推网络可达性分析方法. 专利号: ZL201410470378.8.申请日：2014-09-16，授权公告日：2017-10-17

    3. 钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的动态转换方法. 专利号: ZL201510581423.1. 申请日：2015-09-14，授权公告日：2018-8-14

    4. 钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的静态转换方法. 专利号: ZL201510581206.2  申请日：2015-09-14，授权公告日：2018-9-25

    5. 钱俊彦;徐力;古天龙;赵岭忠;蔡国永.时间动态下推网络的转换方法. 专利号:  ZL201510581987.5 申请日：2015-09-14，授权公告日：2018-1-30

    6. 钱俊彦,周志德,古天龙,赵岭忠,常亮.一种快速重构高性能目标阵列的方法. 专利号: ZL201610628003.9，申请日：2016-12-14，授权公告日：2019-12-02

    7. 钱俊彦,邵怀禹,翟仲毅,赵岭忠,李杰. 一种基于区块链的隐私数据保护方法.ZL202010948750.7, 授权公告日：2021-6-22       

    8. 钱俊彦;沈荔萍;翟仲毅;赵岭忠;李杰.面向稀有攻击的网络入侵检测方法.ZL202010928410.8, 授权公告日：2022-4-1

    （四）主要教学工作

    程序分析与验证（研究生）

    信息检索（工程硕士）

    数据库原理（本科生）

    数据结构（本科生）

    软件工程（本科生）

    形式语言与自动机（本科生）

    面向对象程序设计（本科生）

    Windows程序设计（本科生）

    Delphi程序设计（本科生）

    数据库应用技术（本科生）



      






  • 地址 ：广西师范大学育才校区育才路15号
  • 邮编：541004
版权所有：广西师范大学计算机科学与工程学院 备案号：桂ICP备05000954号-1