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

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.

J. Feng, W. Miao, H. Zheng, Y. Huang, J. Li, Z. Wang, T. Su, B. Gu, G. Pu, M. Yang, and J. He. CoRR, (2023)

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.

Josef Huang

Pa Huang

Feiqing Huang

Haishi Huang

Zhida Huang

Other publications of authors with the same name

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations.L. Sun, F. Juefei-Xu, Y. Huang, Q. Guo, J. Zhu, J. Feng, Y. Liu, and G. Pu. CoRR, (2022)AdvBokeh: Learning to Adversarially Defocus Blur.Y. Huang, F. Juefei-Xu, Q. Guo, W. Miao, Y. Liu, and G. Pu. CoRR, (2021)FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.Y. Huang, F. Juefei-Xu, R. Wang, X. Xie, L. Ma, J. Li, W. Miao, Y. Liu, and G. Pu. CoRR, (2020)RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness.T. Li, Y. Cao, J. Zhang, S. Zhao, Y. Huang, A. Liu, Q. Guo, and Y. Liu. ICSE, page 9:1-9:13. ACM, (2024)ALA: Naturalness-aware Adversarial Lightness Attack.Y. Huang, L. Sun, Q. Guo, F. Juefei-Xu, J. Zhu, J. Feng, Y. Liu, and G. Pu. ACM Multimedia, page 2418-2426. ACM, (2023)CosalPure: Learning Concept from Group Images for Robust Co-Saliency Detection.J. Zhu, Q. Guo, F. Juefei-Xu, Y. Huang, Y. Liu, and G. Pu. CoRR, (2024)FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.Y. Huang, F. Juefei-Xu, R. Wang, Q. Guo, L. Ma, X. Xie, J. Li, W. Miao, Y. Liu, and G. Pu. ACM Multimedia, page 1217-1226. ACM, (2020)Amora: Black-box Adversarial Morphing Attack.R. Wang, F. Juefei-Xu, Q. Guo, Y. Huang, X. Xie, L. Ma, and Y. Liu. ACM Multimedia, page 1376-1385. ACM, (2020)FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.J. Feng, W. Miao, H. Zheng, Y. Huang, J. Li, Z. Wang, T. Su, B. Gu, G. Pu, M. Yang and 1 other author(s). ESEC/SIGSOFT FSE, page 1376-1386. ACM, (2020)Zero-Day Backdoor Attack against Text-to-Image Diffusion Models via Personalization.Y. Huang, Q. Guo, and F. Juefei-Xu. CoRR, (2023)

BibSonomy

Disambiguation of "Huang, Yihao"

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

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.

Please choose a person to relate this publication to

Josef Huang

Pa Huang

Feiqing Huang

Haishi Huang

Zhida Huang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Huang, Yihao"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.

Please choose a person to relate this publication to

Josef Huang

Pa Huang

Feiqing Huang

Haishi Huang

Zhida Huang

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

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.