Xiangfu Zhao

56 papers A* 4A 3B 6C 2Journal 26Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
A novel efficient model for testing diagnosability of discrete event systems under sensor attacks.
Frontiers Comput. Sci.
Qifei Li, Dantong Ouyang, Xiangfu Zhao, Luyu Jiang, Ran Tai, Liming Zhang
2026 J jnl
Effective Fault Identification Approach for Model-Based Diagnosis.
IEEE Trans. Syst. Man Cybern. Syst.
Jihong Ouyang, Sen Huang, Jinjin Chi, Liming Zhang, Xiangfu Zhao
2025 J jnl
CSAFuzzer: Fuzzing smart contracts combining with static analysis.
Empir. Softw. Eng.
Jiahui Yang, Xiangfu Zhao, Hanfeng Zhang, Long He, Shiji Wang, Naixiang Gou
2025 J jnl
Contractsentry: a static analysis tool for smart contract vulnerability detection.
Autom. Softw. Eng.
Shiji Wang, Xiangfu Zhao
2025 J jnl
Model-based diagnosis with low-cost fault identification.
Frontiers Comput. Sci.
Jihong Ouyang, Sen Huang, Liming Zhang, Xiangfu Zhao
2025 J jnl
Phishing Detection on Ethereum via Graph Neural Architecture Search of Transaction Subgraph.
IEEE Trans. Comput. Soc. Syst.
Zhaowei Liu, Haitao Yang, Zhizhong Liu, Xiangfu Zhao, Jindong Zhao, Dong Yang, Yao Shan
2025 J jnl
ReenSAT: Reentrancy Vulnerability Detection in Smart Contracts Using Semantic-Enhanced SAT Evaluation.
IEEE Trans. Reliab.
Long He, Xiangfu Zhao, Yichen Wang
2025 J jnl
TMF-Net: Multimodal smart contract vulnerability detection based on multiscale transformer fusion.
Inf. Fusion
Tengfei Wang, Xiangfu Zhao, Jiarui Zhang
2024 J jnl
ContractGNN: Ethereum Smart Contract Vulnerability Detection Based on Vulnerability Sub-Graphs and Graph Neural Networks.
IEEE Trans. Netw. Sci. Eng.
Yichen Wang, Xiangfu Zhao, Long He, Zixian Zhen, Haiyue Chen
2024 J jnl
DA-GNN: A smart contract vulnerability detection method based on Dual Attention Graph Neural Network.
Comput. Networks
Zixian Zhen, Xiangfu Zhao, Jinkai Zhang, Yichen Wang, Haiyue Chen
2024 J jnl
Heterogeneous graphs neural networks based on neighbor relationship filtering.
Expert Syst. Appl.
Zhaowei Liu, Yixian Wang, Shenqiang Wang, Xiangfu Zhao, Haiyang Wang, Haoyu Yin
2024 — conf
ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution.
ICSE Companion
Long He, Xiangfu Zhao, Yichen Wang
2024 J jnl
SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods.
Secur. Priv.
Haiyue Chen, Xiangfu Zhao, Yichen Wang, Zixian Zhen
2024 B conf
Smart Diagnosis of Active Systems.
KES
Gianfranco Lamperti, Xiangfu Zhao
2024 C conf
Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract).
DX
Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
2023 A conf
GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis.
ECAI
Long He, Xiangfu Zhao, Yichen Wang, Jiahui Yang, Xuelei Sun
2023 J jnl
Sequence-Oriented Diagnosis of Discrete-Event Systems.
J. Artif. Intell. Res.
Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
2022 J jnl
Fault Diagnosis of Discrete-Event Systems from Abstract Observations.
Comput. Informatics
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2022 A* conf
Two Compacted Models for Efficient Model-Based Diagnosis.
AAAI
Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang
2021 — conf
Diagnosis of Active Systems with Abstract Observability.
KES-IDT
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2021 A* conf
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge.
KR
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2021 J jnl
TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis.
IEEE Trans. Reliab.
Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, Yanzhi Hou
2020 — ed.
13th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2020, Chengdu, China, October 17-19, 2020
CISP-BMEI
Qiang Zheng, Xiaopeng Zheng, Xiangfu Zhao, Weiqing Yan, Nan Zhang, Lipo Wang
2020 — conf
An Incremental Boolean Algorithm for Computing Minimal Hitting Sets.
CISP-BMEI
Sen Huang, Xiangfu Zhao, Xiangrong Tong
2020 J jnl
Diagnosis of Deep Discrete-Event Systems.
J. Artif. Intell. Res.
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 A conf
Diagnosis of Temporal Faults in Discrete-Event Systems.
ECAI
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 A* conf
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.
KR
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 — conf
Explanatory Monitoring of Discrete-Event Systems.
KES-IDT
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2020 J jnl
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata.
Complex.
Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong
2020 B conf
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems.
KES
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2019 — conf
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems.
IntelliSys (2)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2018 A* conf
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge.
KR
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2018 J jnl
Computing all minimal hitting sets by subset recombination.
Appl. Intell.
Xiangfu Zhao, Dantong Ouyang, Liming Zhang
2018 — book
Introduction to Diagnosis of Active Systems
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2018 C conf
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems.
CD-MAKE
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
2018 J jnl
LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure.
Eng. Appl. Artif. Intell.
Xiangfu Zhao
2017 — conf
Decremental Subset Construction.
KES-IDT (1)
Gianfranco Lamperti, Xiangfu Zhao
2017 J jnl
Exploration of baking temperature effects on 28 nm BEOL reliability.
Microelectron. Reliab.
Xiangfu Zhao, Wei-Ting Kary Chien
2017 — conf
The DAO attack paradoxes in propositional logic.
ICSAI
Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, Changbing Tang
2016 — conf
Deriving all minimal hitting-sets by merging.
ICIA
Xiangfu Zhao, Dantong Ouyang
2016 — conf
Diagnosis of Complex Active Systems with Uncertain Temporal Observations.
CD-ARES
Gianfranco Lamperti, Xiangfu Zhao
2016 J jnl
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.
Eng. Appl. Artif. Intell.
Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao
2016 B conf
Viable diagnosis of complex active systems.
SMC
Gianfranco Lamperti, Xiangfu Zhao
2015 J jnl
Deriving All Minimal Hitting Sets Based on Join Relation.
IEEE Trans. Syst. Man Cybern. Syst.
Xiangfu Zhao, Dantong Ouyang
2014 J jnl
A Fast Simple Optical Flow Computation Approach Based on the 3-D Gradient.
IEEE Trans. Circuits Syst. Video Technol.
Yuanwei Li, En Zhu, Jianmin Zhao, Jianping Yin, Xiangfu Zhao
2014 J jnl
Diagnosis of Active Systems by Semantic Patterns.
IEEE Trans. Syst. Man Cybern. Syst.
Gianfranco Lamperti, Xiangfu Zhao
2013 — conf
Diagnosis of Higher-Order Discrete-Event Systems.
CD-ARES
Gianfranco Lamperti, Xiangfu Zhao
2013 B conf
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems.
SMC
Gianfranco Lamperti, Xiangfu Zhao
2012 J jnl
Reasoning on partially-ordered observations in online diagnosis of DESs.
AI Commun.
Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo
2010 — conf
A New Classification Algorithm Using Mutual Nearest Neighbors.
GCC
Huawen Liu, Shichao Zhang, Jianming Zhao, Xiangfu Zhao, Yuchang Mo
2008 B conf
A complete approach to identify conflict sets based on ATMS.
SMC
Yu Jiao, Dantong Ouyang, Xiangfu Zhao
2008 B conf
An extended hierarchical framework for definitions of diagnosability of discrete event systems.
SMC
Xiangfu Zhao, Dantong Ouyang
2008 A conf
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model.
ECAI
Xiangfu Zhao, Dantong Ouyang
2008 — conf
On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.
RAM
Xiangfu Zhao, Dantong Ouyang
2008 J jnl
On-line diagnosis of discrete event systems with two successive temporal windows.
AI Commun.
Xiangfu Zhao, Dantong Ouyang
2007 — conf
Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis.
ICIC (1)
Xiangfu Zhao, Dantong Ouyang
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski