Rongjie Yan

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 33

Top Topics

Natural Language

Consistency Checking

Top Venues

Publications

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