083500-软件工程
081202-计算机软件与理论

软件工程，软件过程工程，知识工程
过程建模，形式化方法，系统仿真

2003-09--2010-04 中国科学院软件研究所 工学博士
1999-09--2003-09 北京大学 经济学学士
1999-09--2003-09 北京大学 理学学士

   

2013-12--今 中国科学院软件研究所 高级工程师
2012-06--2013-06 美国马萨诸塞大学阿莫斯特分校 访问学者
2010-04--2013-12 中国科学院软件研究所 助理研究员

   

[1] 李彦峰, 潘远明, 杨秋松, 武延军, 翟健, 杜栓柱, 刘立宇. 一种在多任务环境下防止死锁的互斥信号量管理方法. 中国: CN102567096A, 2012-07-11.
[2] 李彦峰, 潘远明, 杨秋松, 武延军, 翟健, 杜栓柱, 刘立宇. 一种增强实时性能的任务管理方法. 中国: CN102541642A, 2012-07-04.
[3] 翟健, 张备, 杨秋松, 肖俊超, 杨叶, 李明树. 一种针对返工预测软件开发成本和执行时间的方法. 中国: CN102103501A, 2011-06-22.

   

[1] 赵姗, 郝春亮, 翟健, 李明树. S-Bridge：性能非对称多核处理器下负载均衡代理机制. 软件学报[J]. 2020, 2965-2979, http://lib.cqvip.com/Qikan/Article/Detail?id=00002FGKK9987JP0MPDO0JP167R.
[2] Tianlin Huo, Xiaoni Meng, Wenhao Wang, Chunliang Hao, Pei Zhao, Jian Zhai, Mingshu Li. Bluethunder: A 2-level Directional Predictor Based Side-Channel Attack against SGX. Transactions on Cryptographic Hardware and Embedded Systems[J]. 2019, https://doaj.org/article/34eabc83705e4ab5910b652180bd2a07.
[3] Gao, Weiyi, Cao, Wenlong, Zhai, Jian, Rui, Jianwu, Zeng, B, Huang, Q, ElSaddik, A, Li, H, Jiang, S, Fan, X. StairsNet: Mixed Multi-scale Network for Object Detection. ADVANCES IN MULTIMEDIA INFORMATION PROCESSING - PCM 2017, PT Inull. 2018, 10735: 303-314, [4] Li, Yingling, Shi, Lin, Hu, Jun, Wang, Qing, Zhai, Jian, Lv, J, Zhang, H, Hinchey, M, Liu, X. An Empirical Study To Revisit Productivity Across Different Programming Languages. 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017)null. 2017, 526-533, [5] 张晓媛, 张珩, 翟健. 基于邻域的大规模图数据动态分割算法. 计算机系统应用. 2016, 193-199, http://lib.cqvip.com/Qikan/Article/Detail?id=670083724.
[6] 翟健. 基于邻域的动态度分割算法研究. 计算机系统应用. 2016, [7] 安思锦, 翟健. 软件众包参与度影响因素分析及预测模型. 计算机系统应用. 2015, 24(10): 9-16, http://lib.cqvip.com/Qikan/Article/Detail?id=666161833.
[8] Xie, Miao, Yang, Qiusong, Zhai, Jian, Wang, Qing. A vertex centric parallel algorithm for linear temporal logic model checking in Pregel. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING[J]. 2014, 74(11): 3161-3174, http://dx.doi.org/10.1016/j.jpdc.2014.07.009.
[9] 李伟亨, 谢淼, 翟健, 杨秋松. 带时间和资源约束的实例化过程模型验证方法. 计算机系统应用. 2014, 23(10): 172-177, http://lib.cqvip.com/Qikan/Article/Detail?id=662825648.
[10] 董佳梁, 李彦峰, 杨秋松, 翟健. 面向航天系统的嵌入式操作系统实时性评测. 计算机工程与设计. 2013, 34(1): 114-120, http://lib.cqvip.com/Qikan/Article/Detail?id=44644796.
[11] 张备, 翟健, 杨秋松. GSim：支持GPU加速软件过程仿真框架. Computer Engineering and Design[J]. 2012, 33(2): 754-759,820, http://lib.cqvip.com/Qikan/Article/Detail?id=40841965.
[12] 张备, 翟健, 杨秋松. GSim：支持GPU加速软件过程仿真框架. Computer Engineering and Design[J]. 2012, 33(2): 754-759,820, http://lib.cqvip.com/Qikan/Article/Detail?id=40841965.
[13] Dong, Xin, Yang, QiuSong, Wang, Qing, Zhai, Jian, Ruhe, Gunther, Thu, TD, Leung, K. Value-Risk Trade-off Analysis for Iteration Planning in eXtreme Programming. 2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011)null. 2011, 397-404, [14] 翟健, 杨秋松, 肖俊超, 李明树. 一种形式化的组件化软件过程建模方法. Journal of Software[J]. 2011, 22(1): 1-16, http://lib.cqvip.com/Qikan/Article/Detail?id=36367776.
[15] 翟健, 杨秋松, 肖俊超, 李明树. 一种形式化的组件化软件过程建模方法. Journal of Software[J]. 2011, 22(1): 1-16, http://lib.cqvip.com/Qikan/Article/Detail?id=36367776.
[16] Huang Hui, Yang Qiusong, Xiao Junchao, Zhai Jian. Automatic mining of change set size information from repository for precise productivity estimation. Proceedings - International Conference on Software Engineeringnull. 2011, 72-80, http://124.16.136.157/handle/311060/14355.
[17] 杨秋松. Simulation Modeling for Quality Enhanced Software Process Based on Rework Analysis. The 2011 International Conference on Modeling, Simulation and Visualization Methods. 2011, [18] 杨秋松. Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph. Fundamentals of Software Engineering - 4th IPM International Conference. 2011, [19] 翟健. 组件化软件过程建模与分析方法研究. 2010, http://124.16.136.157/handle/311060/653.
[20] 苏峰, 翟健, 杨秋松. 基于过程模型随机仿真的TDD模块选取建模方法研究. 计算机应用研究. 2010, 2948-2952, http://lib.cqvip.com/Qikan/Article/Detail?id=34809780.
[21] Zhai Jian, Yang Qiusong, Yang Ye, Xiao Junchao, Wang Qing, Li Mingshu, Berkling K, Joseph M, Meyer B, Nordio M. Automated Process Quality Assurance for Distributed Software Development. SOFTWARE ENGINEERING APPROACHES FOR OFFSHORE AND OUTSOURCED DEVELOPMENTnull. 2009, 16: 196-210, [22] Zhai Jian, Yang Qiusong, Su Feng, Xiao Junchao, Wang Qing, Li Mingshu. Stochastic process algebra based software process simulation modeling. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)null. 2009, 136-147, [23] 李明树, 杨秋松, 翟健. 软件过程建模方法研究. 软件学报. 2009, 524-545, http://lib.cqvip.com/Qikan/Article/Detail?id=29684968.
[24] 杨国伟, 杨秋松, 翟健, 袁峰. 基于代数的软件过程建模系统的设计与实现. 计算机工程与设计. 2008, 29(3): 530-534, http://lib.cqvip.com/Qikan/Article/Detail?id=26585116.

   

（1） 安全可靠桌面计算机操作系统，参与，国家级，2014-01--2016-12
（2） 面向时间约束的动态社交网络影响力最大化问题研究，主持，国家级，2014-01--2016-12