Shaoying Liu - Publications, H-index & Citations

Shaoying Liu

Hosei University

23H指数

298论文数

2.6K被引数

收录论文 35

发表时间

Automated formal-specification-to-code trace links recovery using multi-dimensional similarity measures

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2025-04-19

PREAI

Li, Jiandong; Liu, Shaoying; Jin, Zhi

ID-SR: Privacy-Preserving Social Recommendation Based on Infinite Divisibility for Trustworthy AI

ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA

IF4.8

2024-06-19

OAAI

Cui, Jingyi; Xu, Guangquan; Liu, Jian; Feng, Shicheng; Wang, Jianli; Peng, Hao; Fu, Shihui; Zheng, Zhaohua; Zheng, Xi; Liu, Shaoying

OFEI: A Semi-Black-Box Android Adversarial Sample Attack Framework Against DLaaS

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2024-04-01

OAAI

Xu, Guangquan; Xin, Guohua; Jiao, Litao; Liu, Jian; Liu, Shaoying; Feng, Meiqi; Zheng, Xi

Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters 通过识别相关配置参数进行多次误配置诊断

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-10-01

OAAI

Zhou, Yingnan; Hu, Xue; Xu, Sihan; Jia, Yan; Liu, Yuhao; Wang, Junyong; Xu, Guangquan; Wang, Wei; Liu, Shaoying; Baker, Thar

GenDroid: A query-efficient black-box android adversarial attack framework GenDroid: 一种高效查询的黑盒android对抗攻击框架

COMPUTERS & SECURITY

IF5.4

2023-09-01

PREAI

Xu, Guangquan; Shao, Hongfei; Cui, Jingyi; Bai, Hongpeng; Li, Jiliang; Bai, Guangdong; Liu, Shaoying; Meng, Weizhi; Zheng, Xi

ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2023-03-01

PREAI

Xu, Guangquan; Han, Zhengbo; Gong, Lixiao; Jiao, Litao; Bai, Hongpeng; Liu, Shaoying; Zheng, Xi

A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain 一种基于区块链的隐私保护医疗数据共享方案

IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS

IF6.8

2023-02-01

PREAI

Xu, Guangquan; Qi, Chen; Dong, Wenyu; Gong, Lixiao; Liu, Shaoying; Chen, Si; Liu, Jian; Zheng, Xi

Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages 通过处理软件包中的操作来增强基于测试的形式验证的能力

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-01-01

PREAI

Liu, Ai; Liu, Shaoying

CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2022-10-01

PREAI

Wang, Jinyan; Xu, Guangquan; Lei, Wenqing; Gong, Lixiao; Zheng, Xi; Liu, Shaoying

DevFemOps: enhancing maintainability based on microservices using formal engineering methods

CONNECTION SCIENCE

IF3.4

2022-08-08

PREAI

Fukuzaki, Tetsuo; Liu, Shaoying; Butler, Michael

Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2022-06-01

PREAI

Fang, Dingbang; Liu, Shaoying; Liu, Ai

SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2022-06-01

128

PREAI

Xu, Guangquan; Bai, Hongpeng; Xing, Jun; Luo, Tao; Xiong, Neal N.; Cheng, Xiaochun; Liu, Shaoying; Zheng, Xi

Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing 基于一致性测试正式规范中的功能场景自动生成测试用例和测试Oracle

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-02-01

PREAI

Liu, Shaoying; Nakajima, Shin

Mining Python fix patterns via analyzing fine-grained source code changes

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2022-01-28

PREAI

Yang, Yilin; He, Tianxing; Feng, Yang; Liu, Shaoying; Xu, Baowen

An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement

IEEE ACCESS

IF3.6

2022-01-01

OAAI

Rao, Lei; Liu, Shaoying; Peng, Han

TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning

IEEE ACCESS

IF3.6

2022-01-01

OAAI

Liu, Haiyi; Liu, Shaoying; Wen, Chenglong; Wong, W. Eric

SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2021-09-01

OAAI

Wang, Rong; Liu, Shaoying; Sato, Yuji

A formal specification animation method for operation validation

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2021-08-01

PREAI

Liu, Shaoying; Miao, Weikai

A three-step hybrid specification approach to error prevention

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2021-08-01

PREAI

Liu, Shaoying

Rigorous code review by reverse engineering

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2021-05-01

PREAI

Liu, Shaoying; Li, Honghui; Jiang, Zhouxian; Li, Xiuru; Liu, Feng; Zhong, Yan

研究方向