| A survey on security verification of blockchain smart contracts J Liu, Z Liu IEEE Access 7, 77894-77904, 2019 | 261 | 2019 |
| Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models Z Liu, J Liu 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019 | 56 | 2019 |
| Software rejuvenation based fault tolerance scheme for cloud applications J Liu, J Zhou, R Buyya 2015 IEEE 8th International Conference on Cloud Computing, 1115-1118, 2015 | 54 | 2015 |
| Security verification of 802.11 i 4-way handshake protocol J Liu, X Ye, J Zhang, J Li 2008 IEEE International Conference on Communications, 1642-1647, 2008 | 47 | 2008 |
| CSSAP: Software Aging Prediction for Cloud Services Based on ARIMA-LSTM Hybrid Model J Liu, X Tan, Y Wang 2019 IEEE International Conference on Web Services (ICWS), 283-290, 2019 | 34 | 2019 |
| Integrating artificial bee colony algorithm and BP neural network for software aging prediction in IoT environment J Liu, L Meng IEEE Access 7, 32941-32948, 2019 | 29 | 2019 |
| McTAR: A Multi-trigger Checkpointing Tactic for Fast Task Recovery in MapReduce J Liu, P Wang, J Zhou, K Li IEEE Transactions on Services Computing 14 (6), 1895-1907, 2021 | 22 | 2021 |
| Colored Petri nets model based conformance test generation J Liu, X Ye, J Li 2011 IEEE Symposium on Computers and Communications (ISCC), 967-970, 2011 | 17 | 2011 |
| I/O conformance test generation with colored Petri nets J Liu, X Ye, J Zhou, X Song Applied Mathematics & Information Sciences 8 (6), 2695, 2014 | 11 | 2014 |
| Modeling, design, and implementation of a cloud workflow engine based on aneka J Zhou, C Sun, W Fu, J Liu, L Jia, H Tan Journal of Applied Mathematics 2014, 2014 | 10 | 2014 |
| Towards Formal Modeling and Analysis of BitTorrent using Colored Petri Nets J Liu, XM Ye, T Sun Proc. of the 10th Workshop and Tutorial on Practical Use of Coloured Petri …, 2009 | 9 | 2009 |
| FEMCRA: Fine-grained elasticity measurement for cloud resources allocation J Liu, J Qiao, J Zhao 2018 IEEE 11th International Conference on Cloud Computing (CLOUD), 732-739, 2018 | 8 | 2018 |
| Blockchain based Secure Data Sharing Model S Wang, J Liu 2021 IEEE 24th International Conference on Computer Supported Cooperative …, 2021 | 7 | 2021 |
| Optimized Test Data Generation for RESTful Web Service J Liu, W Chen 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 683-688, 2017 | 7 | 2017 |
| A QoS evolutionary method of cloud service based on user utility model Y Wang, J Zhou, J Liu, T Au, X Song 2016 IEEE International Conference on Services Computing (SCC), 571-576, 2016 | 7 | 2016 |
| ACLM: Software Aging Prediction of Virtual Machine Monitor Based on Attention Mechanism of CNN-LSTM Model X Tan, J Liu 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 6 | 2021 |
| Efficient Bus Arrival Time Prediction Based on Spark Streaming Platform J Liu, G Xiao 2019 IEEE 23rd International Conference on Computer Supported Cooperative …, 2019 | 6 | 2019 |
| HARRD: Real-time software rejuvenation decision based on hierarchical analysis under weibull distribution S Wang, J Liu 2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020 | 4 | 2020 |
| Providing proactive fault tolerance as a service for cloud applications J Liu, J Zhao 2016 IEEE World Congress on Services (SERVICES), 126-127, 2016 | 4 | 2016 |
| Analyzing performance for complex protocol using validated CP-nets models J Liu, X Ye, J Li 2010 10th IEEE International Conference on Computer and Information …, 2010 | 4 | 2010 |
