Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verifying simulink stateflow model: timed automata approach.

Y. Yang, Y. Jiang, M. Gu, and J. Sun. ASE, page 852-857. ACM, (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.

Yixiao Yun

Yang Yang

Other publications of authors with the same name

CMB AI Lab at SemEval-2022 Task 11: A Two-Stage Approach for Complex Named Entity Recognition via Span Boundary Detection and Span Classification.K. Pu, H. Liu, Y. Yang, J. Ji, W. Lv, and Y. He. SemEval@NAACL, page 1603-1607. Association for Computational Linguistics, (2022)Improve Language Modelling for Code Completion by Tree Language Model with Tree Encoding of Context (S).Y. Yang, and C. Xiang. SEKE, page 675-777. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)Verifying simulink stateflow model: timed automata approach.Y. Yang, Y. Jiang, M. Gu, and J. Sun. ASE, page 852-857. ACM, (2016)HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis.Z. Su, Z. Yu, D. Wang, Y. Yang, Y. Jiang, R. Wang, W. Chang, and J. Sun. DAC, page 1033-1038. ACM, (2022)Financial Event Extraction of NEC Dataset Based on Pointer Network.K. Pu, H. Liu, Y. Yang, Y. He, and J. Li. CCKS (Evaluation Track), volume 1711 of Communications in Computer and Information Science, page 87-97. Springer, (2022)Single-Shot Phase Retrieval From a Fractional Fourier Transform Perspective.Y. Yang, R. Tao, K. Wei, and J. Shi. IEEE Trans. Signal Process., (2024)MDD: A Unified Model-Driven Design Framework for Embedded Control Software.Z. Su, D. Wang, Y. Yang, Z. Yu, W. Chang, W. Li, A. Cui, Y. Jiang, and J. Sun. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (10): 3252-3265 (2022)Improving the Robustness to Data Inconsistency between Training and Testing for Code Completion by Hierarchical Language Model.Y. Yang. CoRR, (2020)Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis.Y. Yang, C. Gao, Z. Li, Y. Wang, and R. Wang. SETTA, volume 14464 of Lecture Notes in Computer Science, page 351-367. Springer, (2023)Attention-Based Multi-level Network for Text Matching with Feature Fusion.Y. Yang, and C. Zhang. ACAI, page 86:1-86:7. ACM, (2021)

BibSonomy

Disambiguation of "Yang, Yixiao"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verifying simulink stateflow model: timed automata approach.

Please choose a person to relate this publication to

Yixiao Yun

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Yang, Yixiao"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verifying simulink stateflow model: timed automata approach.

Please choose a person to relate this publication to

Yixiao Yun

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verifying simulink stateflow model: timed automata approach.