( en | de | ru )

 

Disambiguation of "Yan, Rongjie"

Author of the publication

copydeleteadd this publication to your clipboard
Improvements for the Symbolic Verification of Timed Automata.

, , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 196-210. Springer, (2007)

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 Zhang

 

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)ExcePy: A Python Benchmark for Bugs with Python Built-in Types., , , , , and . SANER, page 856-866. IEEE, (2022)Runtime Monitoring DNN-Based Perception., , and . CoRR, (2023)Expected Energy Optimization for Real-Time Multiprocessor SoCs Running Periodic Tasks with Uncertain Execution Time., , , , , , and . IEEE Trans. Sustain. Comput., 6 (3): 398-411 (2021)Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions., , , and . IROS, page 6688-6693. IEEE, (2021)A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs., , , , , , and . ICTAI, page 701-708. IEEE Computer Society, (2017)基于异构多核平台的同步数据流图帕累托优化与调度 (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)Simulation-Based Validation for Autonomous Driving Systems., , , , and . ISSTA, page 842-853. ACM, (2023)