Search Results - "Zhao, Xiangfu"

MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck.

Authors: Fei, Jiajia Chen, Xiaohan Zhao, Xiangfu

Source: Applied Sciences (2076-3417); Feb2023, Vol. 13 Issue 3, p1733, 16p

Ring-Overlap: A Storage Scaling Mechanism for Hyperledger Fabric.

Authors: Liu, Wenxuan Zhang, Donghong Mu, Chunxiao et al.

Source: Applied Sciences (2076-3417); Oct2022, Vol. 12 Issue 19, p9568, 17p

FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution.

Authors: Gou, Naixiang Zhao, Xiangfu Wang, Shiji et al.

Source: Security & Privacy. Mar/Apr2025, Vol. 8 Issue 2, p1-18. 18p.

ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution.

Authors: He, Long Zhao, Xiangfu Wang, Yichen

Source: ICSE: International Conference on Software Engineering; 2024, p272-273, 2p

CSAFuzzer: Fuzzing smart contracts combining with static analysis.

Authors: Yang, Jiahui Zhao, Xiangfu Zhang, Hanfeng et al.

Source: Empirical Software Engineering; Jun2025, Vol. 30 Issue 3, p1-29, 29p

Contractsentry: a static analysis tool for smart contract vulnerability detection.

Authors: Wang, Shiji Zhao, Xiangfu

Source: Automated Software Engineering; Jun2025, Vol. 32 Issue 1, p1-31, 31p

SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods.

Authors: Chen, Haiyue Zhao, Xiangfu Wang, Yichen et al.

Source: Security & Privacy. Sep/Oct2024, Vol. 7 Issue 5, p1-25. 25p.

ScenGDL: Smart contract vulnerability detection and location based on temporal Scenarios and Graph convolution networks.

Authors: Shen, Xinyi Zhao, Xiangfu Su, Kaile et al.

Source: Journal of Systems & Software; Sep2026, Vol. 239, pN.PAG-N.PAG, 1p

TMF-Net: Multimodal smart contract vulnerability detection based on multiscale transformer fusion.

Authors: Wang, Tengfei Zhao, Xiangfu Zhang, Jiarui

Source: Information Fusion; Oct2025, Vol. 122, pN.PAG-N.PAG, 1p

Model-based diagnosis with low-cost fault identification.

Authors: Ouyang, Jihong Huang, Sen Zhang, Liming et al.

Source: Frontiers of Computer Science; May2025, Vol. 19 Issue 5, p1-2, 2p

TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis.

Authors: Zhao, Xiangfu Tong, Xiangrong Ouyang, Dantong et al.

Source: IEEE Transactions on Reliability; Dec2021, Vol. 70 Issue 4, p1596-1610, 15p

Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata.

Authors: Zhao, Xiangfu Lamperti, Gianfranco Ouyang, Dantong et al.

Source: Complexity. 2/18/2020, p1-17. 17p.

An Efficient Outsourced Oblivious Transfer Extension Protocol and Its Applications.

Authors: Zhao, Shengnan Song, Xiangfu Jiang, Han et al.

Source: Security & Communication Networks; 12/5/2020, p1-12, 12p

Reasoning on partially-ordered observations in online diagnosis of DESs.

Authors: Zhao, Xiangfu Ouyang, Dantong Zhang, Liming et al.

Source: AI Communications; 2012, Vol. 25 Issue 4, p285-294, 10p

Heterogeneous graphs neural networks based on neighbor relationship filtering.

Authors: Liu, Zhaowei Wang, Yixian Wang, Shenqiang et al.

Source: Expert Systems with Applications; Apr2024, Vol. 239, pN.PAG-N.PAG, 1p

DA-GNN: A smart contract vulnerability detection method based on Dual Attention Graph Neural Network.

Authors: Zhen, Zixian Zhao, Xiangfu Zhang, Jinkai et al.

Source: Computer Networks; Apr2024, Vol. 242, pN.PAG-N.PAG, 1p

Twin‐engined diagnosis of discrete‐event systems.

Authors: Bertoglio, Nicola Lamperti, Gianfranco Zanella, Marina et al.

Source: Engineering Reports; Nov2019, Vol. 1 Issue 4, pN.PAG-N.PAG, 1p

胰岛素制剂导致过敏及胰岛素自身免疫综合征一例诊治分析和文献复习.

Authors: 卫永丽 原海燕

Source: Pharmaceutial Care & Research. Aug2018, Vol. 18 Issue 4, p315-318. 4p.

Differential diagnosis of eczema and psoriasis using routine clinical data and machine learning: development of a web-based tool in a multicenter outpatient cohort.

Authors: Ding N Li Y Zhao Z et al.

Source: Frontiers in medicine [Front Med (Lausanne)] 2025 Oct 17; Vol. 12, pp. 1667794. Date of Electronic Publication: 2025 Oct 17 (Print Publication: 2025).

Publication Type: Journal Article

Journal Info: Publisher: Frontiers Media S.A Country of Publication: Switzerland NLM ID: 101648047 Publication Model: eCollection Cited Medium: Print ISSN: 2296-858X (Print) Linking ISSN: 2296858X NLM ISO Abbreviation: Front Med (Lausanne) Subsets: PubMed not MEDLINE

Vehicle, Mechatronics and Information Technologies II

Authors: X.D. Yu M.Y. Zhang M.Q. Zhu et al.

Resource Type: eBook.

Subjects: Mechatronics--Congresses, Motor vehicles--Design and construction--Congresses

Categories: TECHNOLOGY & ENGINEERING / General