Rongjie Yan
Associate Professor
Master Supervisor
Analysis and Verification of Embedded, Intelligent Systems
Publications
34 publications
Clear all filters2024
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems
TASE 2024Siqi 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 2023Changwen LiJoseph SifakisQiang WangRongjie YanJian Zhang
2022
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
ICRA 2022Changwen LiChih-Hong ChengTiantian SunYuhang ChenRongjie YanTest case prioritization with neuron valuation based pattern
SCP 2022Rongjie YanYuhang ChenHongyu GaoJun Yan
2021
Continuous Safety Verification of Neural Networks
DATE 2021Chih-Hong ChengRongjie YanEfficient testing of GUI applications by event sequence reduction
SCP 2021Jiwei YanHao ZhouXi DengPing WangRongjie YanJun YanJian ZhangMonitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
IROS 2021Yuhang ChenChih-Hong ChengJun YanRongjie YanStability evaluation for text localization systems via metamorphic testing
JSS 2021Rongjie 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 2020Rongjie YanYupeng ZhouAnyu CaiChangwen LiYige YanMinghao YinNeuron Activation Frequency Based Test Case Prioritization
TASE 2020Kai 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 2018Rongjie 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 2017Rongjie YanYupeng ZhouYige YanMinghao YinMin YuFeifei MaKai Huang
2016
Component-based verification using incremental design and invariants
SoSyM 2016Saddek BensalemMarius BozgaAxel LegayThanh-Hung NguyenJoseph SifakisRongjie Yan
2015
Communication Optimizations for Multithreaded Code Generation from Simulink Models
TECS 2015Kai HuangMin YuRongjie YanXiaomeng ZhangXiaolang YanLisane BrisolaraAhmed Amine JerrayaJiong FengFormal consistency checking over specifications in natural languages
DATE 2015Rongjie 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 2015Xue-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