导师姓名：钱俊彦
性别：
人气指数：868

所属院校：桂林电子科技大学
所属院系：计算机与信息安全学院
职称：教授
导师类型：硕导
招生专业：软件工程（学术型）、计算机科学与技术（学术型）
研究领域： 软件工程；软件分析、验证与测试；信息安全；VLSI容错技术
研究领域： 软件工程；软件分析、验证与测试；信息安全；VLSI容错技术 [收起]




通讯方式 :
电子邮件：qjy2000@guet.edu.cn


个人简述 :
钱俊彦，男，教授，1973年生。主持国家自然科学基金、国防项目、广西自然科学重点基金在内项目20多项。在计算机领域国际顶级期刊IEEE TPDS、ACM TOSEM，国际权威期刊WWWJ、DKE、SQJ、SCN，国内一级学报《计算机学报》、《软件学报》、《电子学报》、《计算机研究与发展》，以及FORTE、APLAS、PRICAI、TASE等重要国际会议上发表及录用学术论文100余篇，其中SCI、EI收录60多篇。同时注重把科技转化为应用，服务于国防事业、政府机关，致力于公共事业的信息化改造，获得发明专利3项，实用新型专利1项、软件著作权11项， 广西“十百千”人才工程第二层次人选；“可信软件”广西高等学校高水平创新团队及卓越学者资助；广西青年科技奖；“软件系统的模型抽象与安全性验证”获广西区自然科学奖三等奖；“广西高等学校优秀人才资助计划”人选；“广西区物价收费管理系统”获广西区科技进步三等奖；桂电科研先进个人；首届优秀研究生指导教师.

科研工作 :
Junyan Qian, Zhide Zhou, Tianlong Gu, Lingzhong Zhao, Liang Chang. Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. IEEE Transactions on Parallel and Distributed Systems, 2016,27(12):3575-3587.钱俊彦,徐力,古天龙,赵岭忠,蔡国永. 基于时间动态下推网络可达性分析. 电子学报, 2017, 45 (9): 2241-2249Junyan Qian, Zhangshun Bai,Zhide Zhou, Lingzhong Zhao,Liang Chang. Effcient Abstraction Algorithms for Accelerating Reconfiguration of VLSI Arrays. IEEJ Transactions on Electrical and Electronic Engineering. 2017, 12(5): 759–769.Junyan Qian, Cong Chen, Lingzhong Zhao, Yunchuan Guo. An Efficient Method for Reconfiguring Power Efficient VLSI Array with Maximum Satisfiability. IEEJ Transactions on Electrical and Electronic Engineering. Accepted.Junyan Qian, Yiping Wang, Liang Chang, Zhide Zhou, Lingzhong Zhao. A mathematical model for reconfiguring VLSI subarrays under row and column rerouting. IEEE Access, 2017, 5: 23912 – 23919.钱俊彦,甘鹏程,郭云川,赵岭忠,古天龙. 基于时间多栈下推网络的实时系统验证. 计算机学报,2016, 39(11)：2253-2269.Chenghua Tang, Yang Xiang, Yu Wang, Junyan Qian* and Baohua Qiang. Detection and Classification of Anomaly Intrusion Using Hierarchy Clustering and SVM. Security and Communication Networks. 2016,9:3401–3411.Junyan Qian, Wei Cao, Jia Hu, Jingwei Zhang, Zhoubo Xu, Zhide Zhou. Satisfiability-Based Method for Reconfiguring Power Efficient VLSI Array. IEICE Electronics Express, 2016,13(23):1-11.Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu, Liang Chang. An Integer programming method for constructing tightly coupled VLSI subarrays. IEICE Electronics Express, 13(11): 1-9.QIAN Jun-Yan, YAO Guo-Qing, CHEN Guang-Xi, ZHAO Ling-Zhong. Linearizability Proof of Stack Data. The 16th International Conference on Computational Science and Its Applications (ICCSA 2016), Part IV, LNCS 9787, 2016.Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu. An Improved Reconfiguration Algorithm for VLSI Arrays with A-star. The 16th International Conference on Computational Science and Its Applications (ICCSA 2016), Part II, LNCS 9787, 2016.姜淑娟,韩寒,史娇娇,张艳梅,鞠小林,钱俊彦.基于分支相关性分析的不可达路径检测方法.计算机研究与发展,2016, 53(5):1072-1085.张 ,钱俊彦,李舟军,马殿富. 基于抽象不变式的程序安全性验.清华大学学报（自然科学版），2016, 56(7): 777-784.孙晋永,古天龙,闻立杰,钱俊彦.用于面向过程的基于实例推理的语义工作流相似性算法.计算机集成制造系统，2016,22(2):381-394.许碧欢,钱俊彦,张迎周,陈蕾.一种基于余代数单子的Web服务形式化模型.南京航空航天大学学报, 2016,48(5): 668-676.赵岭忠,翟仲毅,钱俊彦*,郭云川.基于Mini-trace 和ASP 的CSP 模型检测. 软件学报，2015, 26(10): 2521-2544.李文杰,姜淑娟,钱俊彦,王兴亚,鞠小林.基于对象引用关系的Java程序内存行为分析方法.电子学报, 2015, 43(7): 1336-1343钱俊彦,赵岭忠,蔡国永.基于完备抽象解释的性质强保留抽象研究.计算机学报, 2014,37(8):1754-1767.钱俊彦,贾书贵,赵岭忠,郭云川.基于上下文定界的递归队列并发程序可达性分析.计算机学报. 2014, 37(12)：2574-2584H. ZHANG, Z. SHOU, J. ZHANG, Q. HE AND J. QIAN. Building Reputation for Service-Oriented Ami: Modeling, Algorithms, And Analysis. IJST, Transactions of Electrical Engineering, 2014, 38(E1): 99-109.Qian Junyan, Wu Juan, Zhao Lingzhong, Guo Yunchuan. SUMMARIZATION OF BOOLEAN SATISFIABILITY VERIFICATION. Journal of Electronics (China),2014,31(3):232-245钱俊彦,贾书贵,蔡国永,赵岭忠.基于上下文定界的Fork/Join并行性的并发程序可达性分析.计算机工程与科学, 2013,35(2):1-6.邓薇,何锫,钱俊彦.深度优先的多基因表达式程序设计.模式识别与人工智能, 26(9), pp 819-828, 2013.钱俊彦,黄国旺,赵岭忠.基于答案集的Web服务组合验证.计算机科学, 2011,38(12): 131-134Lingzhong Zhao, Junyan Qian, Liang Chang, and Guoyong Cai. Using ASP for Knowledge Management with User Authorization. Data & Knowledge Engineering, 2010, 69(8): 737-762. Lingzhong Zhao, Xuesong Wang, Junyan Qian, and Tianlong Gu. Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning, Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2010), LNAI, 6230, pp.384-396.钱俊彦,徐宝文. 基于完备抽象解释的模型检验CTL公式研究.计算机学报, 2009,31(5):101-110.Lingzhong Zhao, Tianlong Gu, Junyan Qian. Test Frames Updating in CPM Testing of Prolog Programs. Software Quality Journal, 2008, 16(2): 277-298.Junyan Qian, Lingzhong Zhao, Tianlong Gu and Guoyong Cai. Formula-dependent abstraction for CTL model checking. Proceedings of the ICCSA 2008, Lecture Notes in Computer Science 5073, July, 2008, pp.1035-1048.Junyan Qian, Guoyong Cai, Tianlong Gu and Lingzhong Zhao. Abstract Model Checking for Web Services. Wuhan University Journal of Natural Science.2008,13(4):466-470.Junyan Qian and Baowen Xu. Formal Verification for C Program. Informatica, 18(2), 289-304, 2007.Zhao lingzhong, Gu Tianlong, Qian Junyan and Cai Guoyong. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. Proceedings of the APLAS 2007,LNCS 4807, pp.105-121, 2007.Zhao lingzhong, Gu Tianlong and Qian Junyan. Constraint-based Correct Partial Answer Semantics for the Analysis of Prolog Programs. Proceedings of the TASE 2007, pp.261-270, 2007.Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. Designing Prolog Semantics for a Class of Observables. Proceedings of Ninth Pacific Rim International Conference on Artificial Intelligence (PRICAI’06), Lecture Notes in Artificial Intelligence, 2006, 4099: 1052-1057.Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. On the New Application of Call Patterns to CPM Testing of Prolog Programs. The 19th ACS Australian Joint Conference on Artificial Intelligence (AI’06), Lecture Notes in Artificial Intelligence, 4304: 1265-1270.Junyan Qian and Baowen Xu. Model Checking for Timed Statecharts. Proceedings of the 25th FORTE, Lecture Notes in Computer Science 3731, Oct. 2005, pp.261-274. 国家自然科学基金“基于下推网络的实时并发递归程序可达性分析及增量式验证”(No.**)国家自然科学基金“基于抽象和符号技术的并发软件验证研究”(No.**) 国家自然科学基金“基于依赖公式抽象的软件模型检测研究”(No.**) 中国博士后基金“基于抽象解释的限界模型检验研究”(No. **)广西自然科学重点基金"基于下推系统的实时复杂系统抽象验证" (2015GXNSFDA139038)广西自然科学基金“基于抽象的并发软件安全性验证研究”(No. 2011GXNSFA018164)广西自然科学青年基金“UML Statecharts及其时间扩展的模型检验技术研究”(No. **) 桂林市科学研究与技术开发项目“桂林市车辆驾驶员档案数字影像管理系统” (No.**-2)项目“桂林市交警支队C分标（包括机动车辆远程审验系统、车辆驾驶员档案数字影像管理系统、评价系统）”