default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRongjie Yan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c35]Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang:
Slicing Assisted Program Verification: An Empirical Study. TASE 2024: 38-57- [c34]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: 410-427 - [i12]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 abs/2405.16914 (2024) - 2023
- [c33]Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
Simulation-Based Validation for Autonomous Driving Systems. ISSTA 2023: 842-853 - [c32]Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan:
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). RV 2023: 428-446 - [i11]Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
Simulation-based Validation for Autonomous Driving Systems. CoRR abs/2301.03941 (2023) - [i10]Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan:
Runtime Monitoring DNN-Based Perception. CoRR abs/2310.03999 (2023) - 2022
- [j16]Rongjie Yan
, Yuhang Chen, Hongyu Gao, Jun Yan:
Test case prioritization with neuron valuation based pattern. Sci. Comput. Program. 215: 102761 (2022) - [c31]Shuo Sun, Jun Yan, Rongjie Yan:
Layer-Specific Repair of Neural Network Classifiers. ICANN (1) 2022: 550-561 - [c30]Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan:
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. ICRA 2022: 7738-7744 - [c29]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: 856-866 - 2021
- [j15]Rongjie Yan, Siqi Wang, Yixuan Yan, Hongyu Gao, Jun Yan:
Stability evaluation for text localization systems via metamorphic testing. J. Syst. Softw. 181: 111040 (2021) - [j14]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: 102522 (2021) - [j13]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): 398-411 (2021) - [c28]Chih-Hong Cheng, Rongjie Yan:
Testing Autonomous Systems with Believed Equivalence Refinement. AITest 2021: 49-56 - [c27]Chih-Hong Cheng, Rongjie Yan:
Continuous Safety Verification of Neural Networks. DATE 2021: 1478-1483 - [c26]Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan:
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. IROS 2021: 6688-6693 - [i9]Chih-Hong Cheng, Rongjie Yan:
Testing Autonomous Systems with Believed Equivalence Refinement. CoRR abs/2103.04578 (2021) - [i8]Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan:
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. CoRR abs/2103.15456 (2021) - [i7]Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan:
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. CoRR abs/2110.00761 (2021) - 2020
- [c25]Yupeng Zhou, Rongjie Yan, Anyu Cai, Yige Yan, Minghao Yin:
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs (Student Abstract). AAAI 2020: 13995-13996 - [c24]Rongjie Yan, Yupeng Zhou, Anyu Cai, Changwen Li, Yige Yan, Minghao Yin:
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs. ICAPS 2020: 305-313 - [c23]Kai Zhang, Yongtai Zhang, Liwei Zhang, Hongyu Gao, Rongjie Yan, Jun Yan:
Neuron Activation Frequency Based Test Case Prioritization. TASE 2020: 81-88 - [i6]Chih-Hong Cheng, Rongjie Yan:
Continuous Safety Verification of Neural Networks. CoRR abs/2010.05689 (2020)
2010 – 2019
- 2019
- [j12]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: 54372-54389 (2019) - [c22]Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan:
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. TASE 2019: 160-167 - [i5]Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan:
Architecting Dependable Learning-enabled Autonomous Systems: A Survey. CoRR abs/1902.10590 (2019) - 2018
- [j11]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: 57614-57630 (2018) - [c21]Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang:
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. FM 2018: 294-311 - [c20]Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang:
Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems. ICECCS 2018: 170-179 - 2017
- [c19]Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang:
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. COMPSAC (1) 2017: 67-74 - [c18]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: 701-708 - 2016
- [j10]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): 427-451 (2016) - 2015
- [j9]Yu-Lei Gu, Xueyang Zhu, Rongjie Yan, Guangquan Zhang:
基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform). 计算机科学 42(11): 43-47 (2015) - [j8]Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang:
基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). 计算机科学 42(12): 82-86 (2015) - [j7]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): 59:1-59:26 (2015) - [j6]Kai Huang, Peng Zhu, Rongjie Yan, Xiaolang Yan:
Functional Testbench Qualification by Mutation Analysis. VLSI Design 2015: 256474:1-256474:9 (2015) - [c17]Rongjie Yan, Chih-Hong Cheng, Yesheng Chai:
Formal consistency checking over specifications in natural languages. DATE 2015: 1677-1682 - [c16]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: 551-569 - [c15]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: 281 - 2014
- [j5]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. 97-D(12): 3072-3082 (2014) - [j4]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): 124-134 (2014) - [j3]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): 499-505 (2014) - [c14]Rongjie Yan, De Ma, Kai Huang, Xiaoxu Zhang, Siwen Xiu:
Annotation and analysis combined cache modeling for native simulation. ASP-DAC 2014: 406-411 - [c13]Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li:
Formal Throughput and Response Time Analysis of MARTE Models. ICFEM 2014: 430-445 - [i4]Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai:
Formal Consistency Checking over Specifications in Natural Languages. CoRR abs/1405.5003 (2014) - 2013
- [j2]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): 449-463 (2013) - [j1]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): 1920-1933 (2013) - [c12]Rongjie Yan, Kai Huang, Min Yu, Xiaomeng Zhang:
Communication Pipelining for Code Generation from Simulink Models. TrustCom/ISPA/IUCC 2013: 1893-1900 - [i3]Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan:
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR abs/1309.0442 (2013) - 2012
- [c11]Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem:
Distributed priority synthesis using knowledge. AGERE!@SPLASH 2012: 129-132 - [c10]Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess:
Distributed Priority Synthesis. SSV 2012: 57-72 - 2011
- [c9]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: 150-167 - [c8]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: 453-458 - [c7]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: 466-471 - [c6]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: 116-132 - [i2]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 abs/1107.1383 (2011) - [i1]Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess:
Distributed Priority Synthesis and its Applications. CoRR abs/1112.1783 (2011) - 2010
- [c5]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256 - [c4]Guangquan Zhang, Mei Rong, Yali He, Xueyang Zhu, Rongjie Yan:
A Refinement Checking Method of Web Services Composition. SOSE 2010: 103-106 - [c3]Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167
2000 – 2009
- 2007
- [c2]Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng:
Improvements for the Symbolic Verification of Timed Automata. FORTE 2007: 196-210 - 2005
- [c1]Rongjie Yan, Guangyuan Li, Zhisong Tang:
Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-29 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
