Publications in collaboration with researchers from University of Technology Sydney (8)


  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. 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