Publications in collaboration with researchers from Shanghai University (8)

2023

  1. A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective

    ACM Transactions on Multimedia Computing, Communications and Applications, Vol. 19, Núm. 1

  2. Guest Editorial Special Issue on Computational Intelligence to Edge AI for Ubiquitous IoT Systems

    IEEE Transactions on Emerging Topics in Computational Intelligence

  3. Guest Editorial Special Issue on Multi-Modal Biomedical Computing-Deep Transfer Learning

    IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 20, Núm. 4, pp. 2363-2366

  4. Guest Editorial: Machine learning applied to quality and security in software systems

    IET Software

  5. TSMAE: A Novel Anomaly Detection Approach for Internet of Things Time Series Data Using Memory-Augmented Autoencoder

    IEEE Transactions on Network Science and Engineering, Vol. 10, Núm. 5, pp. 2978-2990