陈博

时间:2023-12-21

陈博,男,本科毕业于吉林大学,硕士毕业于大连理工大学,在2022年获得中科大软件工程工学博士学位。2008年进入中国科学技术大学苏州研究院工作。主要研究方向为嵌入式软件开发方法,信息物理系统建模等。主讲《设备驱动程序设计》《系统建模与分析》等课程。作为负责人,主持华为创新基金、苏州市应用基础研究各一项。参与多项横向课题。作为主要参与人,重点参与国家自然科学基金《安全关键的信息物理系统中时序可预测性问题的研究》,相关成果获得TimeSquare国际官网推荐。学术成果以第一作者在《计算机研究与发展》、JSAUIC等期刊/会议发表10余篇。获得谷歌奖教金,苏州市CCF科学技术二等奖等奖项。




主要学术论文:


1. 陈博, 李曦, 周学海. 安全关键的信息物理系统中时序行为的组合与精化[J]. 计算机研究与发展, 2023, 60(8): 1895-1911

2. 陈博,刘翀,陈辉等.信息物理系统中组件的时间行为可组合研究综述[J].小型微型计算机系统,2022,43(12):2657-2666

3. Bo Chen, Xi Li, Xuehai Zhou. Model Checking of MARTE/CCSL Time Behaviors Using Timed I/O Automata[J]. Journal of Systems Architecture, 2018, v88, p.120-125.

4. Bo Chen, Xi Li, Xuehai Zhou, Zongwei Zhu. Delayed Wake-Up Mechanism Under Suspend Mode of Smartphone[C] 14th International Conference on Collaborative Computing: Networking, Applications and Worksharing(Collaboratecom). Springer, 2018, p.346-355.

5. Bo Chen, Xi Li, Xuehai Zhou. PowerSensor: A method for power optimization of smartphone through sensing wakelock application," The 9th International Conference on Wireless Communications and Signal Processing (WCSP), 2017, p. 1-6.

6. Bo Chen; Jing Xi; Yuli Zhang. A Low-power transmission approach of WiFi network in smartphone, IET International Conference on Wireless, Mobile & Multimedia Networks (IET, ICWMMN), 2017

7. 陈博,李曦,周学海,朱宗卫,《移动智能终端下3G网络低功耗延迟唤醒策略》,中国科学院大学学报,2015.

8. Bo Chen, Xi Li, Xuehai Zhou, Tengfu Liu, Zongwei Zhu, Towards Energy Optimization Based on Delay-Sensitive Traffic for WiFi Network, 2014 IEEE 11th International Conference on Ubiquitous Intelligence and ComputingUIC), 2014, p. 252-259.