Barroso, Ramon J Duran

< Back to all Authors
Group by: Item type | Date
Jump to:
Article
Number of items: 2.

Article

Gao, Honghao, Dai, Baobin, Miao, Huaikou, Yang, Xiaoxian, Barroso, Ramon J Duran and Hussain, Walayat ORCID: 0000-0003-0610-4006 (2023) A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective. ACM Transactions on Multimedia Computing, Communications, and Applications. pp. 1-23. ISSN 1551-6857

Gao, H ORCID: 0000-0001-6861-9684, Qin, X, Barroso, Ramon J Duran ORCID: 0000-0003-1423-1646, Hussain, Walayat ORCID: 0000-0003-0610-4006, Xu, Y ORCID: 0000-0001-7210-0543 and Yin, Y ORCID: 0000-0001-7565-4111 (2022) Collaborative Learning-Based Industrial IoT API Recommendation for Software-Defined Devices: The Implicit Knowledge Discovery Perspective. IEEE Transactions on Emerging Topics in Computational Intelligence, 6 (1). pp. 66-76. ISSN 2471-285X