Rongjie Yan

71 papers A* 3A 6B 7C 5Misc 5Journal 32Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Runtime Monitoring Abnormalities in Object Detection With Spatial and Temporal Abstractions.
Softw. Pract. Exp.
Rongjie Yan, Chengye Li, Rui Zheng, Chih-Hong Cheng
2026 J jnl
Validating Generalist Robots with Situation Calculus and STL Falsification.
CoRR
Changwen Li, Rongjie Yan, Chih-Hong Cheng, Jian Zhang
2025 J jnl
A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard.
CoRR
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2025 — conf
CCTest: Critical Configuration Testing for Autonomous Driving Systems.
SIGSOFT FSE Companion
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2025 — conf
Def-VAE: Identifying Adversarial Inputs with Robust Latent Representations.
Internetware
Chengye Li, Changshun Wu, Rongjie Yan
2025 C conf
Formalizing Requirements into Dafny Specifications with LLMs.
ICFEM
Yi-Han Lu, Xue-Yang Zhu, Wenhui Zhang, Rongjie Yan
2025 J jnl
Testing Autonomous Driving Systems - What Really Matters and What Doesn't.
CoRR
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2025 C conf
Testing Autonomous Driving Systems with Irregular Junctions Extracted from OpenStreetMap.
QRS
Tiantian Sun, Changwen Li, Rongjie Yan, Yan Cai
2024 Misc conf
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems.
TASE
Siqi Wang, Changwen Li, Tiantian Sun, Fuqi Jia, Rongjie Yan, Jun Yan
2024 J jnl
Rigorous Simulation-based Testing for Autonomous Driving Systems - Targeting the Achilles' Heel of Four Open Autopilots.
CoRR
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2024 Misc conf
Slicing Assisted Program Verification: An Empirical Study.
TASE
Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang
2023 B conf
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods).
RV
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
2023 J jnl
Runtime Monitoring DNN-Based Perception.
CoRR
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
2023 A conf
Simulation-Based Validation for Autonomous Driving Systems.
ISSTA
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2023 J jnl
Simulation-based Validation for Autonomous Driving Systems.
CoRR
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2022 A* conf
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems.
ICRA
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan
2022 A conf
ExcePy: A Python Benchmark for Bugs with Python Built-in Types.
SANER
Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang
2022 — conf
Layer-Specific Repair of Neural Network Classifiers.
ICANN (1)
Shuo Sun, Jun Yan, Rongjie Yan
2022 J jnl
Test case prioritization with neuron valuation based pattern.
Sci. Comput. Program.
Rongjie Yan, Yuhang Chen, Hongyu Gao, Jun Yan
2021 J jnl
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems.
CoRR
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan
2021 A conf
Continuous Safety Verification of Neural Networks.
DATE
Chih-Hong Cheng, Rongjie Yan
2021 J jnl
Efficient testing of GUI applications by event sequence reduction.
Sci. Comput. Program.
Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian Zhang
2021 J jnl
Expected Energy Optimization for Real-Time Multiprocessor SoCs Running Periodic Tasks with Uncertain Execution Time.
IEEE Trans. Sustain. Comput.
Kai Huang, Ke Wang, Dandan Zheng, Xiaowen Jiang, Xiaomeng Zhang, Rongjie Yan, Xiaolang Yan
2021 A conf
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions.
IROS
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan
2021 J jnl
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions.
CoRR
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan
2021 J jnl
Stability evaluation for text localization systems via metamorphic testing.
J. Syst. Softw.
Rongjie Yan, Siqi Wang, Yixuan Yan, Hongyu Gao, Jun Yan
2021 — conf
Testing Autonomous Systems with Believed Equivalence Refinement.
AITest
Chih-Hong Cheng, Rongjie Yan
2021 J jnl
Testing Autonomous Systems with Believed Equivalence Refinement.
CoRR
Chih-Hong Cheng, Rongjie Yan
2020 A* conf
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs (Student Abstract).
AAAI
Yupeng Zhou, Rongjie Yan, Anyu Cai, Yige Yan, Minghao Yin
2020 A* conf
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs.
ICAPS
Rongjie Yan, Yupeng Zhou, Anyu Cai, Changwen Li, Yige Yan, Minghao Yin
2020 J jnl
Continuous Safety Verification of Neural Networks.
CoRR
Chih-Hong Cheng, Rongjie Yan
2020 Misc conf
Neuron Activation Frequency Based Test Case Prioritization.
TASE
Kai Zhang, Yongtai Zhang, Liwei Zhang, Hongyu Gao, Rongjie Yan, Jun Yan
2019 J jnl
Architecting Dependable Learning-enabled Autonomous Systems: A Survey.
CoRR
Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan
2019 J jnl
Fine-Grained Communication-Aware Task Scheduling Approach for Acyclic and Cyclic Applications on MPSoCs.
IEEE Access
Kai Huang, Xiaowen Jiang, Haitian Jiang, Xiaomeng Zhang, Min Yu, Rongjie Yan, Xiaolang Yan
2019 Misc conf
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications.
TASE
Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan
2018 B conf
Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems.
ICECCS
Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang
2018 J jnl
Energy-Efficient Fault-Tolerant Mapping and Scheduling on Heterogeneous Multiprocessor Real-Time Systems.
IEEE Access
Kai Huang, Xiaowen Jiang, Xiaomeng Zhang, Rongjie Yan, Ke Wang, Dongliang Xiong, Xiaolang Yan
2018 B conf
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods.
FM
Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang
2017 B conf
A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs.
ICTAI
Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin, Min Yu, Feifei Ma, Kai Huang
2017 — conf
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.
COMPSAC (1)
Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang
2016 J jnl
Component-based verification using incremental design and invariants.
Softw. Syst. Model.
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2015 — conf
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.
HRI (Extended Abstracts)
Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem
2015 J jnl
Communication Optimizations for Multithreaded Code Generation from Simulink Models.
ACM Trans. Embed. Comput. Syst.
Kai Huang, Min Yu, Rongjie Yan, Xiaomeng Zhang, Xiaolang Yan, Lisane B. de Brisolara, Ahmed Amine Jerraya, Jiong Feng
2015 A conf
Formal consistency checking over specifications in natural languages.
DATE
Rongjie Yan, Chih-Hong Cheng, Yesheng Chai
2015 J jnl
Functional Testbench Qualification by Mutation Analysis.
VLSI Design
Kai Huang, Peng Zhu, Rongjie Yan, Xiaolang Yan
2015 B conf
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.
FM
Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
2015 J jnl
基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction).
计算机科学
Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang
2015 J jnl
基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform).
计算机科学
Yu-Lei Gu, Xueyang Zhu, Rongjie Yan, Guangquan Zhang
2014 — conf
Annotation and analysis combined cache modeling for native simulation.
ASP-DAC
Rongjie Yan, De Ma, Kai Huang, Xiaoxu Zhang, Siwen Xiu
2014 J jnl
Communication-oriented performance optimisation during code generation from Simulink models.
Int. J. Embed. Syst.
Rongjie Yan, Min Yu, Kai Huang, Xiaomeng Zhang
2014 J jnl
Formal Consistency Checking over Specifications in Natural Languages.
CoRR
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai
2014 C conf
Formal Throughput and Response Time Analysis of MARTE Models.
ICFEM
Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li
2014 J jnl
ILP Based Multithreaded Code Generation for Simulink Model.
IEICE Trans. Inf. Syst.
Kai Huang, Min Yu, Xiaomeng Zhang, Dandan Zheng, Siwen Xiu, Rongjie Yan, Kai Huang, Zhili Liu, Xiaolang Yan
2014 J jnl
Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net.
J. Comput.
Guangquan Zhang, Mingtai Zhang, Rongjie Yan, Mingcai Chen, Chengkai Xu, Yejing Li
2013 J jnl
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.
CoRR
Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan
2013 — conf
Communication Pipelining for Code Generation from Simulink Models.
TrustCom/ISPA/IUCC
Rongjie Yan, Kai Huang, Min Yu, Xiaomeng Zhang
2013 J jnl
High throughput VLSI architecture for H.264/AVC context-based adaptive binary arithmetic coding (CABAC) decoding.
J. Zhejiang Univ. Sci. C
Kai Huang, De Ma, Rongjie Yan, Haitong Ge, Xiaolang Yan
2013 J jnl
Performance Estimation Techniques With MPSoC Transaction-Accurate Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
De Ma, Rongjie Yan, Kai Huang, Min Yu, Siwen Xiu, Haitong Ge, Xiaolang Yan, Ahmed Amine Jerraya
2012 — conf
Distributed Priority Synthesis
SSV
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
2012 — conf
Distributed priority synthesis using knowledge.
AGERE!@SPLASH
Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem
2011 A conf
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.
SC
Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
2011 B conf
Algorithms for Synthesizing Priorities in Component-Based Systems.
ATVA
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2011 J jnl
Algorithms for Synthesizing Priorities in Component-based Systems
CoRR
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
2011 — conf
D-Finder 2: Towards Efficient Correctness of Incremental Design.
NASA Formal Methods
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2011 J jnl
Distributed Priority Synthesis and its Applications
CoRR
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess
2011 — conf
Model Construction and Priority Synthesis for Simple Interaction Systems.
NASA Formal Methods
Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess
2010 — conf
A Refinement Checking Method of Web Services Composition.
SOSE
Guangquan Zhang, Mei Rong, Yali He, Xueyang Zhu, Rongjie Yan
2010 Misc conf
Incremental Invariant Generation for Compositional Design.
TASE
Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010 B conf
Incremental component-based construction and verification using invariants.
FMCAD
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2007 C conf
Improvements for the Symbolic Verification of Timed Automata.
FORTE
Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng
2005 C conf
Symbolic Model Checking of Finite Precision Timed Automata.
ICTAC
Rongjie Yan, Guangyuan Li, Zhisong Tang