( en | de | ru )

 

Disambiguation of "Yan, Rongjie"

Author of the publication

copydeleteadd this publication to your clipboard
Component-based verification using incremental design and invariants.

, , , , , and . Softw. Syst. Model., 15 (2): 427-451 (2016)

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 Xu

 

Other publications of authors with the same name

Improvements for the Symbolic Verification of Timed Automata., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 196-210. Springer, (2007)Performance Estimation Techniques With MPSoC Transaction-Accurate Models., , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (12): 1920-1933 (2013)Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net., , , , , and . J. Comput., 9 (2): 499-505 (2014)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)Stability evaluation for text localization systems via metamorphic testing., , , , and . J. Syst. Softw., (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)Testing Autonomous Systems with Believed Equivalence Refinement., and . AITest, page 49-56. IEEE, (2021)