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

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.

Y. Chen, C. Poskitt, and J. Sun. CoRR, (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.

Yuqi Zhang

Chen Chen

Shih Chen Chen

Other publications of authors with the same name

Importance Measure of Equipment Task Based on Operational Dependency of SoS.T. Xu, Y. Chen, C. Lu, H. Li, and J. Lv. IEEE Access, (2021)Experimental Demonstration of OAM Spatial Field Digital Modulation Communication System.Y. Chen, S. Zheng, X. Xiong, Z. Zhu, B. Pan, C. Ren, X. Hui, X. Jin, X. Yu, and X. Zhang. IEEE Commun. Lett., 26 (10): 2470-2474 (2022)Contrast and Clustering: Learning Neighborhood Pair Representation for Source-free Domain Adaptation.Y. Chen, X. Zhu, Y. Li, Y. Li, Y. Wei, and H. Fang. CoRR, (2023)I-assistant: An Intelligent Teaching Assistant System for Classroom Teaching.X. Zhang, J. Geng, Y. Chen, S. Hu, and T. Huang. ICEIT, page 1-5. IEEE, (2023)FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning.S. Zhang, S. Liu, J. Sun, Y. Chen, W. Huang, J. Liu, J. Liu, and J. Hao. ASE, page 555-567. IEEE, (2021)Finding Causally Different Tests for an Industrial Control System.C. Poskitt, Y. Chen, J. Sun, and Y. Jiang. ICSE, page 2578-2590. IEEE, (2023)Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.J. Inoue, Y. Yamagata, Y. Chen, C. Poskitt, and J. Sun. ICDM Workshops, page 1058-1065. IEEE Computer Society, (2017)Automatic optic disc detection using low-rank representation based semi-supervised extreme learning machine.W. Zhou, S. Qiao, Y. Yi, N. Han, Y. Chen, and G. Lei. Int. J. Machine Learning & Cybernetics, 11 (1): 55-69 (2020)Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences.Y. Chen, C. Poskitt, J. Sun, S. Adepu, and F. Zhang. ASE, page 962-973. IEEE, (2019)Task-oriented information value measurement based on space-time prisms.Y. Hu, K. Janowicz, and Y. Chen. Int. J. Geogr. Inf. Sci., 30 (6): 1228-1249 (2016)

BibSonomy

Disambiguation of "Chen, Yuqi"

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

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.

Please choose a person to relate this publication to

Yuqi Zhang

Yuqi Zhang

Chen Chen

Chen Chen

Shih Chen Chen

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Chen, Yuqi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.

Please choose a person to relate this publication to

Yuqi Zhang

Yuqi Zhang

Chen Chen

Chen Chen

Shih Chen Chen

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

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.