嵌入式、智能系统的分析与验证

   

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

嵌入式、智能系统的分析与验证

   

2011-01~现在, 中国科学院软件研究所, 助理研究员，副研究员
2008-10~2010-12,法国乔治傅立叶大学, 博士后研究员
2007-07~2008-09,中国科学院软件研究所, 助理研究员

理论计算机科学基础(习题课）
理论计算机科学基础

   

（1） 2021 IEEE Autonomous Driving AI Test Challenge 冠军, 一等奖, 其他, 2021

（ 1 ） 一种面向自动驾驶系统的仿真测试场景生成方法, 发明专利, 2022, 第 1 作者, 专利号: 202210644626

（ 2 ） 基于标签统计和结果后处理的目标检测系统运行时监测方法, 发明专利, 2022, 第 2 作者, 专利号: CN113888599A

（ 3 ） 基于神经元激活频率分析的测试用例优先级排序方法, 发明专利, 2020, 第 4 作者, 专利号: CN111061626A

（ 4 ） 基于汽车开放架构系统到统一软硬件表示的形式化系统模型转 换和可靠性分析方法, 发明专利, 2020, 第 1 作者, 专利号: 202010160806

   

[1] ArxiV preprint. 2024, 第 3 作者  通讯作者  
[2] 李昌文, 晏荣杰, 张健. AdvSce：面向自动驾驶系统的安全关键场景生成工具. 中国科学:信息科学[J]. 2023, 第 2 作者  通讯作者  53(04期): 815-820, 
[3] Changen Li, Sifakis, Joseph, Qiang Wang, 晏荣杰, Jian Zhang. Simulation-based Validation for Autonomous Driving Systems. ISSTA. 2023, 第 4 作者  通讯作者  
[4] Chih-Hong Cheng, Michael Luttenberger, 晏荣杰. Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). Runtime Verification - 23rd International Conference. 2023, 第 3 作者
[5] Yan, Rongjie, Chen, Yuhang, Gao, Hongyu, Yan, Jun. Test case prioritization with neuron valuation based pattern. SCIENCE OF COMPUTER PROGRAMMING[J]. 2022, 第 1 作者215: http://dx.doi.org/10.1016/j.scico.2021.102761.
[6] 章新, 晏荣杰, 燕季薇, 崔保全, 严俊, 张健. ExcePy: A Python Benchmark for Bugs with Python Built-in Types. SANER. 2022, 第 2 作者
[7] 孙朔, 严俊, 晏荣杰. Layer-Specific Repair of Neural Network Classifiers. ICANN. 2022, 第 3 作者
[8] Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, 晏荣杰. ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. ICRA. 2022, 第 5 作者  通讯作者  
[9] Cheng, ChihHong, Yan, Rongjie. Continuous Safety Verification of Neural Networks. DATE. 2021, 第 2 作者  通讯作者  http://arxiv.org/abs/2010.05689.
[10] Cheng, ChihHong, Yan, Rongjie. Testing Autonomous Systems with Believed Equivalence Refinement. AI Test. 2021, 第 2 作者http://arxiv.org/abs/2103.04578.
[11] Yan, Rongjie, Wang, Siqi, Yan, Yixuan, Gao, Hongyu, Yan, Jun. Stability evaluation for text localization systems via metamorphic testing. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2021, 第 1 作者181: http://dx.doi.org/10.1016/j.jss.2021.111040.
[12] yan, Jiwei, Zhou, Hao, Deng, Xi, Wang, Ping, Yan, Rongjie, Yan, Jun, Zhang, Jian. Efficient testing of GUI applications by event sequence reduction. SCIENCE OF COMPUTER PROGRAMMING[J]. 2021, 第 5 作者201: http://dx.doi.org/10.1016/j.scico.2020.102522.
[13] Chen, Yuhang, Cheng, ChihHong, Yan, Jun, Yan, Rongjie. Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. IROS. 2021, 第 4 作者  通讯作者  http://arxiv.org/abs/2103.15456.
[14] 晏荣杰, yupeng zhou, Anyu Cai, Changwen Li, Yige Yan, Minghao Yin. Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs. ICAPS[J]. 2020, 第 1 作者
[15] Zhang, Kai, Zhang, Yongtai, Zhang, Liwei, Gao, Hongyu, Yan, Rongjie, Yan, Jun, Aoki, T, Li, Q. Neuron Activation Frequency Based Test Case Prioritization. 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020). 2020, 第 11 作者81-88, 
[16] 严俊. SMT-based multi-objective optimization for scheduling of MPSoC applications. TASE. 2019, 
[17] Huang, Kai, Jiang, Xiaowen, Jiang, Haitian, Zhang, Xiaomeng, Yu, Min, Yan, Rongjie, Yan, Xiaolang. Fine-Grained Communication-Aware Task Scheduling Approach for Acyclic and Cyclic Applications on MPSoCs. IEEE ACCESS[J]. 2019, 第 6 作者7: 54372-54389, https://doaj.org/article/553a3aed245841569ec19cc780a6d062.
[18] Huang, Kai, Jiang, Xiaowen, Zhang, Xiaomeng, Yan, Rongjie, Wang, Ke, Xiong, Dongliang, Yan, Xiaolang. Energy-Efficient Fault-Tolerant Mapping and Scheduling on Heterogeneous Multiprocessor Real-Time Systems. IEEE ACCESS[J]. 2018, 第 4 作者6: 57614-57630, https://doaj.org/article/0a9f53da484a4bbb9f3ab13931d5a7ed.
[19] Yan, Rongjie, Zhu, Di, Zhang, Fan, Lv, Yiqi, Yang, Junjie, Huang, Kai, Havelund, K, Peleska, J, Roscoe, B, DeVink, E. Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. FORMAL METHODS. 2018, 第 1 作者10951: 294-311, 
[20] Jiang, Xiaowen, Huang, Kai, Zhang, Xiaomeng, Yan, Rongjie, Wang, Ke, Xiong, Dongliang, Yan, Xiaolang. Energy-Efficient Scheduling of Periodic Applications on Safety-Critical Time-Triggered Multiprocessor Systems. ELECTRONICS[J]. 2018, 第 4 作者7(6): https://doaj.org/article/a1fcd684f304452eab56fcaa8a12f3a5.
[21] Yan Rongjie, Yao Xiangtong, Yang Junjie, Huang Kai, Bi Y, Chen G, Deng Q, Wang Y. Formal Collision Avoidance Analysis for Rigorous Building of Autonomous Marine Vehicles. EMBEDDED SYSTEMS TECHNOLOGY, ESTC 2017. 2018, 第 1 作者857: 118-127, 
[22] Yan Rongjie, Yang Junjie, Zhu Di, Huang Kai, IEEE. Design Verification and Validation for Reliable Safety-critical Autonomous Control Systems. 2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS). 2018, 第 1 作者170-179, http://dx.doi.org/10.1109/ICECCS2018.2018.00026.
[23] Yan Rongjie, Zhou Yupeng, Yan Yige, Yin Minghao, Yu Min, Ma Feifei, Huang Kai, IEEE. A Hybrid Multi-Objective Evolutionary Algorithm for Energy-aware Allocation and Scheduling Optimization of MPSoCs. 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017). 2017, 第 1 作者701-708, 
[24] Yan Dong, Pan Linjie, Yan Rongjie, Yan Jun, Zhang Jian, Reisman S, Ahamed SI, Demartini C, Conte T, Liu L, Claycomb W, Nakamura M, Tovar E, Cimato S, Lung CH, Takakura H, Yang JJ, Akiyama T, Zhang Z, Hasan K. Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1. 2017, 第 11 作者67-74, 
[25] Bensalem, Saddek, Bozga, Marius, Legay, Axel, ThanhHung Nguyen, Sifakis, Joseph, Yan, Rongjie. Component-based verification using incremental design and invariants. SOFTWARE AND SYSTEMS MODELING[J]. 2016, 第 6 作者  通讯作者  15(2): 427-451, https://www.webofscience.com/wos/woscc/full-record/WOS:000374567800008.
[26] Yan Rongjie, Cheng ChihHong, Chai Yesheng, IEEE. Formal Consistency Checking over Specifications in Natural Languages. 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE). 2015, 第 11 作者1677-1682, 
[27] Huang, Kai, Yu, Min, Yan, Rongjie, Zhang, Xiaomeng, Yan, Xiaolang, Brisolara, Lisane, Jerraya, Ahmed Amine, Feng, Jiong. Communication Optimizations for Multithreaded Code Generation from Simulink Models. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS[J]. 2015, 第 3 作者  通讯作者  14(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000355679800021.
[28] 顾玉磊, 朱雪阳, 晏荣杰, 张广泉. 基于异构多核平台的同步数据流图帕累托优化与调度. 计算机科学[J]. 2015, 第 3 作者42(11): 43-47, http://lib.cqvip.com/Qikan/Article/Detail?id=666686709.
[29] Huang, Kai, Xiu, Siwen, Yu, Min, Zhang, Xiaomeng, Yan, Rongjie, Yan, Xiaolang, Liu, Zhili. Software Pipeline-Based Partitioning Method with Trade-Off between Workload Balance and Communication Optimization. ETRI JOURNAL[J]. 2015, 第 5 作者37(3): 562-572, https://www.webofscience.com/wos/woscc/full-record/WOS:000356117700013.
[30] 柴叶生, 朱雪阳, 晏荣杰, 张广泉. 基于MARTE模型的系统可靠性预测. 计算机科学[J]. 2015, 第 3 作者42(12): 82-86, http://lib.cqvip.com/Qikan/Article/Detail?id=667748630.
[31] 修思文, 李彦哲, 黄凯, 马德, 晏荣杰, 严晓浪. 面向MPSoC性能评估的高速缓存建模技术. 浙江大学学报：工学版[J]. 2015, 第 5 作者1367-1375, http://lib.cqvip.com/Qikan/Article/Detail?id=665617386.
[32] Qi Xingjun, Zhu Yi, Yan Rongjie, Zhang Guanquan, Zhang Jianning. Modeling and verifying of CPS component services based on hybrid automata. INTERNATIONAL JOURNAL OF MULTIMEDIA AND UBIQUITOUS ENGINEERING[J]. 2014, 第 3 作者9(6): 49-57, 
[33] Huang, Kai, Yu, Min, Zhang, Xiaomeng, Zheng, Dandan, Xiu, Siwen, Yan, Rongjie, Huang, Kai, Liu, Zhili, Yan, Xiaolang. ILP Based Multithreaded Code Generation for Simulink Model. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS[J]. 2014, 第 6 作者E97D(12): 3072-3082, https://www.webofscience.com/wos/woscc/full-record/WOS:000348141600011.
[34] Huang, Kai, Ma, De, Yan, Rongjie, Ge, Haitong, Yan, Xiaolang. High throughput VLSI architecture for H.264/AVC context-based adaptive binary arithmetic coding (CABAC) decoding. JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS[J]. 2013, 第 3 作者  通讯作者  14(6): 449-463, https://www.webofscience.com/wos/woscc/full-record/WOS:000320740100006.
[35] Yan, Rongjie, Huang, Kai, Yu, Min, Zhang, Xiaomeng, IEEE. Communication pipelining for Code Generation from Simulink Models. 2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013). 2013, 第 11 作者1893-1900, 
[36] 张广泉, 狄浩军, 石慧娟, 晏荣杰, 朱雪阳. 基于扩展自动机的服务组合静态与动态验证方法. 通信学报[J]. 2012, 第 4 作者1-8, http://lib.cqvip.com/Qikan/Article/Detail?id=1003429516.
[37] Cheng ChihHong, Bensalem Saddek, Jobstmann Barbara, Yan Rongjie, Knoll Alois, Ruess Harald. Model construction and priority synthesis for simple interaction systems. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2011, 第 4 作者466-471, http://ir.iscas.ac.cn/handle/311060/16238.
[38] Yan Rongjie, Li Guangyuan, Zhang Wenliang, Peng Yunquan. Improvements for the symbolic verification of timed automata. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2007, 第 1 作者196-210, http://ir.iscas.ac.cn/handle/311060/10842.
[39] Yan Rongjie, Li Guangyuan, Zhang Wenliang, Peng Yunquan, Derrick J, Vain J. Improvements for the symbolic verification of timed automata. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007. 2007, 第 11 作者4574: 196-+, http://ir.iscas.ac.cn/handle/311060/10842.

   

（ 1 ） 大规模软件的自动化分析与测试, 参与, 中国科学院计划, 2017-05--2022-05
（ 2 ） 验证、交互和证明, 参与, 中国科学院计划, 2017-09--2020-08
（ 3 ） 智能计算系统功能测试, 参与, 国家任务, 2018-06--2020-06
（ 4 ） 电力系统终端嵌入式组件和控制单元安全防护技术, 参与, 国家任务, 2018-07--2021-06
（ 5 ） 面向形式化验证的可信编译和程序分析, 参与, 国家任务, 2022-01--2026-12