Xidan Song

Xidan Song

University of Manchester - Manchester / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 5720117
person_outline Xidan Song's MOST POPULAR ARTICLES
1-) Homomorphic cloud computing scheme based on hybrid homomorphic encryptionX Song, Y Wang2017 3rd IEEE International Conference on Computer and Communications (ICCC …, 2017492017
2-) Verifying quantized neural networks using SMT-based model checkingL Sena, X Song, E Alves, I Bessa, E Manino, L CordeiroarXiv preprint arXiv:2106.05997, 202182021
3-) QNNVerifier: A tool for verifying neural networks using SMT-based model checkingX Song, E Manino, L Sena, E Alves, I Bessa, M Lujan, L CordeiroarXiv preprint arXiv:2111.13110, 202152021
4-) Counterexample Guided Neural Network Quantization RefinementJBP Matos, EB de Lima Filho, I Bessa, E Manino, X Song, LC CordeiroIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 202342023
5-) QNNRepair: Quantized Neural Network RepairX Song, Y Sun, MA Mustafa, LC CordeiroInternational Conference on Software Engineering and Formal Methods, 320-339, 202332023