Author of the publication

A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.

, , , , , and . ICSE (Companion Volume), page 109-111. IEEE Computer Society, (2017)

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.

 

Other publications of authors with the same name

Analysis and design of a MMC based wind power converter for offshore dc grids., , , and . IECON, page 1363-1368. IEEE, (2015)基于用户间动态信任关系的推荐算法研究 (Recommender Algorithm Based on Dynamical Trust Relationship between Users)., and . 计算机科学, 42 (9): 230-234 (2015)A Novel Maximin-Based Multi-Objective Evolutionary Algorithm Using One-by-One Update Scheme for Multi-Robot Scheduling Optimization., , , , , , and . IEEE Access, (2021)A Spatio-Temporal Video Denoising Co-Processor With Adaptive Codec., , , , , , , and . IEEE Trans. Circuits Syst. I Regul. Pap., 70 (11): 4223-4234 (November 2023)DAHT-Net: Deformable Attention-Guided Hierarchical Transformer Network Based on Remote Sensing Image Change Detection., , , and . IEEE Access, (2023)Zipper Stack: Shadow Stacks Without Shadow., , , , , , and . CoRR, (2019)An uncertain SEIR rumor model., , and . J. Intell. Fuzzy Syst., 41 (1): 399-412 (2021)A 400-V Half Bridge Gate Driver for Normally-Off GaN HEMTs With Effective Dv/Dt Control and High Dv/Dt Immunity., , , , , , , , , and . IEEE Trans. Ind. Electron., 70 (1): 741-751 (2023)Lightweight Hot-Spot Fault Detection Model of Photovoltaic Panels in UAV Remote-Sensing Image., , , , , and . Sensors, 22 (12): 4617 (2022)A VMD-EWT-LSTM-based multi-step prediction approach for shield tunneling machine cutterhead torque., , , and . Knowl. Based Syst., (2021)