制服诱惑

[1]. Model checking spatial reachability specifications of public transport networks[J]. Simulation Modelling Practice and Theory, 2025, 138:1-15.

[2]. InsProg: Supporting Teaching Through Visual Analysis of Students’ Programming Processes[C]//Proceedings of the 2024 International Conference on Advanced Visual Interfaces. 2024: 1-5.

[3]. Identify spatio-temporal properties of network traffic by model checking. The Journal of Supercomputing,2023, 79:18886–18909.

[4]. Enhancing source code summarization from structure and semantics. International Joint Conference on Neural Networks (IJCNN), Gold Coast, Australia, 2023, pp：1-7.

[5]. Spatial properties verification approach of wireless sensor networks using model checking. International Journal of Sensor Networks, 2022, 40(3):175-189.

[6]. 基于Petri网可达分析的代码搜索方法.计算机研究与发展, 2022, 59(1): 236-250.

[7]. API Usage Pattern Search Based on Model Checking // International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, Cham, 2021: 299-319.

[8]. 基于模型检测的微服务组合平台QoS验证.计算机应用,2020, 40(11):3267-3272.

[1] 宁波市重点研发计划项目，工业软件可信代码生成， 2025.5-2028.4，负责人(宁大)；

[2] 嵌入式与服务计算教育部重点实验室开放课题，基于Model checking 的物联网空间拓扑性质研究方法，主持，2023.8-2025.7；

[3] 浙江省科技厅公益技术应用研究项目，物联网中基于信任模型的分布式中间件技术，主持，2014. 7-2018- 6；

[4] 浙江省自然科学基金面上项目，基于模型检测的功能性能统一验证方法研究，主持，2015.1-2018.12；

[5] 宁波市自然科学基金项目，基于时态逻辑的智慧公交系统空间拓扑演变及串车预警研究，主持，2020.1-2021.12；

[6] 嵌入式与服务计算教育部重点实验室开放课题，物联网行为的风险分析及可信保证方法研究，主持，2020.1-2021.12；

1. 2012年，宁波市，宁波市领军与拔尖人才(第三层次)

2. 2011年，宁波市，宁波市自然科学优秀论文(三等奖)