( en | de | ru )

 

Disambiguation of "Yan, Rongjie"

Author of the publication

copydeleteadd this publication to your clipboard
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods.

, , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 294-311. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rongjie Song

Yan Yan

Shanshan Yan

Americanization in China: an analysis of General Motors and its strategies in China. Uni Mainz, (2009)

Yan Xu

Untersuchungen zur Verleimung von Holz und Holzspanplatten mit UF-Leimharzen und PMDI. TU Braunschweig, (2009)

Yan Liu

 

Other publications of authors with the same name

Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net., , , , , and . J. Comput., 9 (2): 499-505 (2014)Performance Estimation Techniques With MPSoC Transaction-Accurate Models., , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (12): 1920-1933 (2013)Improvements for the Symbolic Verification of Timed Automata., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 196-210. Springer, (2007)ExcePy: A Python Benchmark for Bugs with Python Built-in Types., , , , , and . SANER, page 856-866. IEEE, (2022)Communication Optimizations for Multithreaded Code Generation from Simulink Models., , , , , , , and . ACM Trans. Embed. Comput. Syst., 14 (3): 59:1-59:26 (2015)基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction)., , , and . 计算机科学, 42 (12): 82-86 (2015)基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform)., , , and . 计算机科学, 42 (11): 43-47 (2015)Testing Autonomous Systems with Believed Equivalence Refinement., and . AITest, page 49-56. IEEE, (2021)Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods)., , and . RV, volume 14245 of Lecture Notes in Computer Science, page 428-446. Springer, (2023)Neuron Activation Frequency Based Test Case Prioritization., , , , , and . TASE, page 81-88. IEEE, (2020)