晏荣杰
副研究员
硕士生导师
嵌入式系统分析与验证，智能系统
论文
2024
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems
TASE 2024CCF CSiqi WangChangwen LiTiantian SunFuqi JiaRongjie YanJun Yan
2023
Runtime Monitoring DNN-Based Perception
RV 2023Chih-Hong ChengMichael LuttenbergerRongjie YanSimulation-Based Validation for Autonomous Driving Systems
ISSTA 2023CCF AChangwen LiJoseph SifakisQiang WangRongjie YanJian Zhang
2022
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
ICRA 2022CCF BChangwen LiChih-Hong ChengTiantian SunYuhang ChenRongjie YanTest case prioritization with neuron valuation based pattern
SCP 2022CCF BRongjie YanYuhang ChenHongyu GaoJun Yan
2021
Continuous Safety Verification of Neural Networks
DATE 2021CCF BChih-Hong ChengRongjie YanEfficient testing of GUI applications by event sequence reduction
SCP 2021CCF BJiwei YanHao ZhouXi DengPing WangRongjie YanJun YanJian ZhangMonitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
IROS 2021CCF CYuhang ChenChih-Hong ChengJun YanRongjie YanStability evaluation for text localization systems via metamorphic testing
JSS 2021CCF BRongjie YanSiqi WangYixuan YanHongyu GaoJun YanTesting Autonomous Systems with Believed Equivalence Refinement
AITest 2021Chih-Hong ChengRongjie Yan
2020
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs
ICAPS 2020CCF BRongjie YanYupeng ZhouAnyu CaiChangwen LiYige YanMinghao YinNeuron Activation Frequency Based Test Case Prioritization
TASE 2020CCF CKai ZhangYongtai ZhangLiwei ZhangHongyu GaoRongjie YanJun Yan
2019
- IEEE Access 2019Kai HuangXiaowen JiangHaitian JiangXiaomeng ZhangMin YuRongjie YanXiaolang Yan
2018
Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems
ICECCS 2018CCF CRongjie YanJunjie YangDi ZhuKai Huang- IEEE Access 2018Kai HuangXiaowen JiangXiaomeng ZhangRongjie YanKe WangDongliang XiongXiaolang Yan
- Electronics 2018Xiaowen JiangKai HuangXiaomeng ZhangRongjie YanKe WangDongliang XiongXiaolang Yan
Formal Collision Avoidance Analysis for Rigorous Building of Autonomous Marine Vehicles
ESTC 2017Rongjie YanXiangtong YaoJunjie YangKai Huang
2017
- ICTAI 2017CCF CRongjie YanYupeng ZhouYige YanMinghao YinMin YuFeifei MaKai Huang
2016
Component-based verification using incremental design and invariants
SoSyM 2016CCF BSaddek BensalemMarius BozgaAxel LegayThanh-Hung NguyenJoseph SifakisRongjie Yan
2015
Communication Optimizations for Multithreaded Code Generation from Simulink Models
TECS 2015CCF BKai HuangMin YuRongjie YanXiaomeng ZhangXiaolang YanLisane BrisolaraAhmed Amine JerrayaJiong FengFormal consistency checking over specifications in natural languages
DATE 2015CCF BRongjie YanChih-Hong ChengYesheng Chai- ETRI J 2015Kai HuangSiwen XiuMin YuXiaomeng ZhangRongjie YanXiaolang YanZhili Liu
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
FM 2015CCF AXue-Yang ZhuRongjie YanYu-Lei GuJian ZhangWenhui ZhangGuangquan Zhang
2014
ILP Based Multithreaded Code Generation for Simulink Model
IEICE Trans. Inf. Syst. 2014Kai HUANGMin YUXiaomeng ZHANGDandan ZHENGSiwen XIURongjie YANKai HUANGZhili LIUXiaolang YANModeling and Verifying of CPS Component Services Based on Hybrid Automata
IJMUE 2014Jianning ZhangGuanquan ZhangRongjie YanYi ZhuXingjun Qi
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。