嵌入式、自治系统的分析与设计

   

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

嵌入式系统分析与设计

2003-09--2007-06   中国科学院软件研究所   博士
1999-09--2002-04   华北电力大学   硕士
1995-09--1999-06   华北电力大学   学士

   

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

理论计算机科学基础

   

[1] 张健, 马菲菲, 晏荣杰, 黄沛, 苏静. 一种神经网络的鲁棒性评估方法. CN: CN113139645A, 2021-07-20.
[2] 张凯, 张永泰, 严俊, 晏荣杰, 高红雨, 苏航. 基于神经元激活频率分析的测试用例优先级排序方法. CN: CN111061626A, 2020-04-24.

   

[1] Cheng, ChihHong, Yan, Rongjie. Continuous Safety Verification of Neural Networks. DATEnull. 2021, http://arxiv.org/abs/2010.05689.
[2] Cheng, ChihHong, Yan, Rongjie. Testing Autonomous Systems with Believed Equivalence Refinement. AI Testnull. 2021, http://arxiv.org/abs/2103.04578.
[3] 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, 181: http://dx.doi.org/10.1016/j.jss.2021.111040.
[4] 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, 201: http://dx.doi.org/10.1016/j.scico.2020.102522.
[5] Chen, Yuhang, Cheng, ChihHong, Yan, Jun, Yan, Rongjie. Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. IROSnull. 2021, http://arxiv.org/abs/2103.15456.
[6] 晏荣杰. Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs. ICAPS. 2020, [7] 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)null. 2020, 81-88, [8] 严俊. SMT-based multi-objective optimization for scheduling of MPSoC applications. TASE. 2019, [9] 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 METHODSnull. 2018, 10951: 294-311, [10] 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)null. 2018, 170-179, http://dx.doi.org/10.1109/ICECCS2018.2018.00026.
[11] 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)null. 2017, 701-708, [12] 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 1null. 2017, 67-74, [13] 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, 15(2): 427-451, https://www.webofscience.com/wos/woscc/full-record/WOS:000374567800008.
[14] Yan Rongjie, Cheng ChihHong, Chai Yesheng, IEEE. Formal Consistency Checking over Specifications in Natural Languages. 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE)null. 2015, 1677-1682, [15] 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, 14(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000355679800021.
[16] 顾玉磊, 朱雪阳, 晏荣杰, 张广泉. 基于异构多核平台的同步数据流图帕累托优化与调度. 计算机科学. 2015, 42(11): 43-47, http://lib.cqvip.com/Qikan/Article/Detail?id=666686709.
[17] 柴叶生, 朱雪阳, 晏荣杰, 张广泉. 基于MARTE模型的系统可靠性预测. 计算机科学. 2015, 42(12): 82-86, http://lib.cqvip.com/Qikan/Article/Detail?id=667748630.
[18] 修思文, 李彦哲, 黄凯, 马德, 晏荣杰, 严晓浪. 面向MPSoC性能评估的高速缓存建模技术. 浙江大学学报：工学版[J]. 2015, 1367-1375, http://lib.cqvip.com/Qikan/Article/Detail?id=665617386.
[19] 张广泉, 狄浩军, 石慧娟, 晏荣杰, 朱雪阳. 基于扩展自动机的服务组合静态与动态验证方法. 通信学报. 2012, 1-8, http://lib.cqvip.com/Qikan/Article/Detail?id=1003429516.
[20] 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 2007null. 2007, 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

（1）Resource-aware design for reliable autonomous applications with multiple periods   2018-07-17
（2）Formal collision avoidance analysis for rigorous building of autonomous marine vehicles   2017-11-17
（3）Annotation and analysis combined cache modeling for native simulation   2014-01-20