Rongjie Yan

Orcid: 0000-0001-5225-6268

According to our database¹, Rongjie Yan authored at least 54 papers between 2005 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Runtime Monitoring DNN-Based Perception.

[BibT_eX]

[DOI]

Chih-Hong Cheng

Michael Luttenberger

Rongjie Yan

CoRR, 2023

Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods).

[BibT_eX]

[DOI]

Chih-Hong Cheng

Michael Luttenberger

Rongjie Yan

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Simulation-Based Validation for Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Test case prioritization with neuron valuation based pattern.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

ExcePy: A Python Benchmark for Bugs with Python Built-in Types.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2022

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Layer-Specific Repair of Neural Network Classifiers.

[BibT_eX]

[DOI]

Shuo Sun

Jun Yan

Rongjie Yan

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2022, 2022

2021

Expected Energy Optimization for Real-Time Multiprocessor SoCs Running Periodic Tasks with Uncertain Execution Time.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2021

Efficient testing of GUI applications by event sequence reduction.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

Stability evaluation for text localization systems via metamorphic testing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Continuous Safety Verification of Neural Networks.

[BibT_eX]

[DOI]

Chih-Hong Cheng

Rongjie Yan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Testing Autonomous Systems with Believed Equivalence Refinement.

[BibT_eX]

[DOI]

Chih-Hong Cheng

Rongjie Yan

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

Neuron Activation Frequency Based Test Case Prioritization.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs (Student Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Architecting Dependable Learning-enabled Autonomous Systems: A Survey.

[BibT_eX]

[DOI]

Chih-Hong Cheng

Dhiraj Gulati

Rongjie Yan

CoRR, 2019

Fine-Grained Communication-Aware Task Scheduling Approach for Acyclic and Cyclic Applications on MPSoCs.

[BibT_eX]

[DOI]

IEEE Access, 2019

SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Energy-Efficient Fault-Tolerant Mapping and Scheduling on Heterogeneous Multiprocessor Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Access, 2018

Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Component-based verification using incremental design and invariants.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2016

2015

Functional Testbench Qualification by Mutation Analysis.

[BibT_eX]

[DOI]

VLSI Design, 2015

Communication Optimizations for Multithreaded Code Generation from Simulink Models.

[BibT_eX]

[DOI]

Lisane B. de Brisolara

Ahmed Amine Jerraya

Jiong Feng

ACM Trans. Embed. Comput. Syst., 2015

基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform).

[BibT_eX]

[DOI]

计算机科学, 2015

基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction).

[BibT_eX]

[DOI]

计算机科学, 2015

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.

[BibT_eX]

[DOI]

Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Formal consistency checking over specifications in natural languages.

[BibT_eX]

[DOI]

Rongjie Yan

Chih-Hong Cheng

Yesheng Chai

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net.

[BibT_eX]

[DOI]

J. Comput., 2014

Communication-oriented performance optimisation during code generation from Simulink models.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2014

ILP Based Multithreaded Code Generation for Simulink Model.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2014

Formal Consistency Checking over Specifications in Natural Languages.

[BibT_eX]

[DOI]

CoRR, 2014

Formal Throughput and Response Time Analysis of MARTE Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Annotation and analysis combined cache modeling for native simulation.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Performance Estimation Techniques With MPSoC Transaction-Accurate Models.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

High throughput VLSI architecture for H.264/AVC context-based adaptive binary arithmetic coding (CABAC) decoding.

[BibT_eX]

[DOI]

J. Zhejiang Univ. Sci. C, 2013

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.

[BibT_eX]

[DOI]

CoRR, 2013

Communication Pipelining for Code Generation from Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Trust, 2013

2012

Distributed Priority Synthesis

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Distributed priority synthesis using knowledge.

[BibT_eX]

[DOI]

Proceedings of the 2nd edition on Programming systems, 2012

2011

Distributed Priority Synthesis and its Applications

[BibT_eX]

[DOI]

CoRR, 2011

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 10th International Conference, 2011

Model Construction and Priority Synthesis for Simple Interaction Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

D-Finder 2: Towards Efficient Correctness of Incremental Design.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Algorithms for Synthesizing Priorities in Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Incremental Invariant Generation for Compositional Design.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Refinement Checking Method of Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Incremental component-based construction and verification using invariants.

[BibT_eX]

[DOI]

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2007

Improvements for the Symbolic Verification of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2005

Symbolic Model Checking of Finite Precision Timed Automata.

[BibT_eX]

[DOI]

Rongjie Yan

Guangyuan Li

Zhisong Tang

Proceedings of the Theoretical Aspects of Computing, 2005

Rongjie Yan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...