| Homomorphic cloud computing scheme based on hybrid homomorphic encryption X Song, Y Wang 2017 3rd IEEE International Conference on Computer and Communications (ICCC …, 2017 | 46 | 2017 |
| Verifying quantized neural networks using SMT-based model checking L Sena, X Song, E Alves, I Bessa, E Manino, L Cordeiro arXiv preprint arXiv:2106.05997, 2021 | 8 | 2021 |
| QNNVerifier: A tool for verifying neural networks using SMT-based model checking X Song, E Manino, L Sena, E Alves, I Bessa, M Lujan, L Cordeiro arXiv preprint arXiv:2111.13110, 2021 | 5 | 2021 |
| Airepair: A repair platform for neural networks X Song, Y Sun, MA Mustafa, LC Cordeiro 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 2 | 2023 |
| CEG4N: Counter-example guided neural network quantization refinement JBP Matos Jr, I Bessa, E Manino, X Song, LC Cordeiro International Workshop on Numerical Software Verification, 29-45, 2022 | 2 | 2022 |
| QNNRepair: Quantized Neural Network Repair X Song, Y Sun, MA Mustafa, LC Cordeiro International Conference on Software Engineering and Formal Methods, 320-339, 2023 | 1 | 2023 |
| Counterexample Guided Neural Network Quantization Refinement JBP Matos, EB de Lima Filho, I Bessa, E Manino, X Song, LC Cordeiro IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | | 2023 |
| CEG4N: Counter-Example Guided Neural Network Quantization Refinement JBPM Júnior, I Bessa, E Manino, X Song, LC Cordeiro EasyChair, 2022 | | 2022 |
| Counter-Example Guided Neural Network Compression Refinement (CEG4N) JBPM Junior, E Manino, X Song, IV Bessa, LC Cordeiro 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), 2022 | | 2022 |
| EnnCore: end-to-end conceptual guarding of neural architectures E Manino, D Carvalho, Y Dong, J Rozanova, X Song, MA Mustafa, ... CEUR, 2022 | | 2022 |
