| 2025 | ICFEM | Formalizing Requirements into Dafny Specifications with LLMs. | Yi-Han Lu, Xue-Yang Zhu, Wenhui Zhang, Rongjie Yan |
| 2025 | QRS | Testing Autonomous Driving Systems with Irregular Junctions Extracted from OpenStreetMap. | Tiantian Sun, Changwen Li, Rongjie Yan, Yan Cai |
| 2024 | TASE | Slicing Assisted Program Verification: An Empirical Study. | Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang |
| 2024 | TASE | Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems. | Siqi Wang, Changwen Li, Tiantian Sun, Fuqi Jia, Rongjie Yan, Jun Yan |
| 2023 | ISSTA | Simulation-Based Validation for Autonomous Driving Systems. | Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang |
| 2023 | RV | Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). | Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan |
| 2022 | ICANN | Layer-Specific Repair of Neural Network Classifiers. | Shuo Sun, Jun Yan, Rongjie Yan |
| 2022 | ICRA | ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. | Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan |
| 2021 | DATE | Continuous Safety Verification of Neural Networks. | Chih-Hong Cheng, Rongjie Yan |
| 2021 | IROS | Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. | Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan |
| 2020 | AAAI | Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs (Student Abstract). | Yupeng Zhou, Rongjie Yan, Anyu Cai, Yige Yan, Minghao Yin |
| 2020 | TASE | Neuron Activation Frequency Based Test Case Prioritization. | Kai Zhang, Yongtai Zhang, Liwei Zhang, Hongyu Gao, Rongjie Yan, Jun Yan |
| 2019 | TASE | SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. | Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan |
| 2018 | FM | Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. | Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang |
| 2018 | ICECCS | Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems. | Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang |
| 2017 | COMPSAC | Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. | Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang |
| 2017 | ICTAI | A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs. | Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin, Min Yu, Feifei Ma, Kai Huang |
| 2015 | DATE | Formal consistency checking over specifications in natural languages. | Rongjie Yan, Chih-Hong Cheng, Yesheng Chai |
| 2015 | FM | Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. | Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang |
| 2015 | HRI | A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. | Lavindra de Silva, Rongjie Yan, Flix Ingrand, Rachid Alami, Saddek Bensalem |
| 2014 | ASPDAC | Annotation and analysis combined cache modeling for native simulation. | Rongjie Yan, De Ma, Kai Huang, Xiaoxu Zhang, Siwen Xiu |
| 2014 | ICFEM | Formal Throughput and Response Time Analysis of MARTE Models. | Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li |
| 2013 | TrustCom | Communication Pipelining for Code Generation from Simulink Models. | Rongjie Yan, Kai Huang, Min Yu, Xiaomeng Zhang |
| 2011 | ATVA | Algorithms for Synthesizing Priorities in Component-Based Systems. | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2010 | FMCAD | Incremental component-based construction and verification using invariants. | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2010 | TASE | Incremental Invariant Generation for Compositional Design. | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2007 | FORTE | Improvements for the Symbolic Verification of Timed Automata. | Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng |
| 2005 | ICTAC | Symbolic Model Checking of Finite Precision Timed Automata. | Rongjie Yan, Guangyuan Li, Zhisong Tang |