From post

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.

 

Другие публикации лиц с тем же именем

Improvements for the Symbolic Verification of Timed Automata., , , и . FORTE, том 4574 из Lecture Notes in Computer Science, стр. 196-210. Springer, (2007)ExcePy: A Python Benchmark for Bugs with Python Built-in Types., , , , , и . SANER, стр. 856-866. IEEE, (2022)Expected Energy Optimization for Real-Time Multiprocessor SoCs Running Periodic Tasks with Uncertain Execution Time., , , , , , и . IEEE Trans. Sustain. Comput., 6 (3): 398-411 (2021)Runtime Monitoring DNN-Based Perception., , и . CoRR, (2023)Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions., , , и . IROS, стр. 6688-6693. IEEE, (2021)A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs., , , , , , и . ICTAI, стр. 701-708. IEEE Computer Society, (2017)基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform)., , , и . 计算机科学, 42 (11): 43-47 (2015)Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods)., , и . RV, том 14245 из Lecture Notes in Computer Science, стр. 428-446. Springer, (2023)Testing Autonomous Systems with Believed Equivalence Refinement., и . AITest, стр. 49-56. IEEE, (2021)Simulation-Based Validation for Autonomous Driving Systems., , , , и . ISSTA, стр. 842-853. ACM, (2023)