From Industry 4.0 to Agriculture 4.0: Current Status, Enabling Technologies, and Research Challenges[J] IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2021(17) Liu, Ye Ma, Xiaoyuan Shu, Lei Hancke, Gerhard Petrus Abu-Mahfouz, Adnan M.
Blockchain Consensus Mechanism for Distributed Energy Transactions[J] WIRELESS COMMUNICATIONS & MOBILE COMPUTING 2022(2022) Wu, Jiangyao Liu, Ye Cai, Jiefei Su, Shuhui
A Unified Specification Mining Framework for Smart Contracts[C] PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022 2022 Liu, Ye
Identifying Solidity Smart Contract API Documentation Errors[C] PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022 2022 Zhu, Chenguang Liu, Ye Wu, Xiuheng Li, Yi
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts[C] PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022 2022 Liu, Ye Li, Yi
