Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis. - Xiangfu Zhao; Dantong Ouyang (ICIC (1), 2007)

Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. - Xiangfu Zhao; Dantong Ouyang (ECAI, 2008)

On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach. - Xiangfu Zhao; Dantong Ouyang (RAM, 2008)

A complete approach to identify conflict sets based on ATMS. - Yu Jiao; Dantong Ouyang; Xiangfu Zhao (SMC, 2008)

An extended hierarchical framework for definitions of diagnosability of discrete event systems. - Xiangfu Zhao; Dantong Ouyang (SMC, 2008)

On-line diagnosis of discrete event systems with two successive temporal windows. - Xiangfu Zhao; Dantong Ouyang (AI Commun., 2008)

A New Classification Algorithm Using Mutual Nearest Neighbors. - Huawen Liu; Shichao Zhang 001; Jianming Zhao; Xiangfu Zhao; Yuchang Mo (GCC, 2010)

Reasoning on partially-ordered observations in online diagnosis of DESs. - Xiangfu Zhao; Dantong Ouyang; Liming Zhang 005; Xiaoyu Wang; Yuchang Mo (AI Commun., 2012)

Diagnosis of Higher-Order Discrete-Event Systems. - Gianfranco Lamperti; Xiangfu Zhao (CD-ARES, 2013)

Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. - Gianfranco Lamperti; Xiangfu Zhao (SMC, 2013)

A Fast Simple Optical Flow Computation Approach Based on the 3-D Gradient. - Yuanwei Li; En Zhu; Jianmin Zhao; Jianping Yin; Xiangfu Zhao (IEEE Trans. Circuits Syst. Video Technol., 2014)

Diagnosis of Active Systems by Semantic Patterns. - Gianfranco Lamperti; Xiangfu Zhao (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Deriving All Minimal Hitting Sets Based on Join Relation. - Xiangfu Zhao; Dantong Ouyang (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Diagnosis of Complex Active Systems with Uncertain Temporal Observations. - Gianfranco Lamperti; Xiangfu Zhao (CD-ARES, 2016)

Deriving all minimal hitting-sets by merging. - Xiangfu Zhao; Dantong Ouyang (ICIA, 2016)

Viable diagnosis of complex active systems. - Gianfranco Lamperti; Xiangfu Zhao (SMC, 2016)

Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. - Xuena Geng; Dantong Ouyang; Xiangfu Zhao; Shuang Hao 007 (Eng. Appl. Artif. Intell., 2016)

The DAO attack paradoxes in propositional logic. - Xiangfu Zhao; Zhongyu Chen; Xin Chen; Yanxia Wang; Changbing Tang (ICSAI, 2017)

Decremental Subset Construction. - Gianfranco Lamperti; Xiangfu Zhao (KES-IDT (1), 2017)

Exploration of baking temperature effects on 28 nm BEOL reliability. - Xiangfu Zhao; Wei-Ting Kary Chien (Microelectron. Reliab., 2017)

Introduction to Diagnosis of Active Systems - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (Springer, 2018)

Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (CD-MAKE, 2018)

Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KR, 2018)

Computing all minimal hitting sets by subset recombination. - Xiangfu Zhao; Dantong Ouyang; Liming Zhang 005 (Appl. Intell., 2018)

LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure. - Xiangfu Zhao (Eng. Appl. Artif. Intell., 2018)

Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (IntelliSys (2), 2019)

An Incremental Boolean Algorithm for Computing Minimal Hitting Sets. - Sen Huang; Xiangfu Zhao; Xiangrong Tong (CISP-BMEI, 2020)

Diagnosis of Temporal Faults in Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (ECAI, 2020)

Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES, 2020)

Explanatory Monitoring of Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES-IDT, 2020)

Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KR, 2020)

Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. - Xiangfu Zhao; Gianfranco Lamperti; Dantong Ouyang; Xiangrong Tong (Complex., 2020)

Diagnosis of Deep Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (J. Artif. Intell. Res., 2020)

Diagnosis of Active Systems with Abstract Observability. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES-IDT, 2021)

Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KR, 2021)

TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. - Xiangfu Zhao; Xiangrong Tong; Dantong Ouyang; Liming Zhang 005; Yanzhi Hou (IEEE Trans. Reliab., 2021)

Two Compacted Models for Efficient Model-Based Diagnosis. - Huisi Zhou; Dantong Ouyang; Xiangfu Zhao; Liming Zhang 005 (AAAI, 2022)

Fault Diagnosis of Discrete-Event Systems from Abstract Observations. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (Comput. Informatics, 2022)

GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis. - Long He; Xiangfu Zhao; Yichen Wang; Jiahui Yang; Xuelei Sun (ECAI, 2023)

Sequence-Oriented Diagnosis of Discrete-Event Systems. - Gianfranco Lamperti; Stefano Trerotola; Marina Zanella; Xiangfu Zhao (J. Artif. Intell. Res., 2023)

Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract). - Gianfranco Lamperti; Stefano Trerotola; Marina Zanella; Xiangfu Zhao (DX, 2024)

ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution. - Long He; Xiangfu Zhao; Yichen Wang (ICSE Companion, 2024)

Smart Diagnosis of Active Systems. - Gianfranco Lamperti; Xiangfu Zhao (KES, 2024)

DA-GNN: A smart contract vulnerability detection method based on Dual Attention Graph Neural Network. - Zixian Zhen; Xiangfu Zhao; Jinkai Zhang; Yichen Wang; Haiyue Chen (Comput. Networks, 2024)

Heterogeneous graphs neural networks based on neighbor relationship filtering. - Zhaowei Liu 001; Yixian Wang; Shenqiang Wang; Xiangfu Zhao; Haiyang Wang; Haoyu Yin (Expert Syst. Appl., 2024)

SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods. - Haiyue Chen; Xiangfu Zhao; Yichen Wang; Zixian Zhen (Secur. Priv., 2024)

ContractGNN: Ethereum Smart Contract Vulnerability Detection Based on Vulnerability Sub-Graphs and Graph Neural Networks. - Yichen Wang; Xiangfu Zhao; Long He; Zixian Zhen; Haiyue Chen (IEEE Trans. Netw. Sci. Eng., 2024)

TMF-Net: Multimodal smart contract vulnerability detection based on multiscale transformer fusion. - Tengfei Wang; Xiangfu Zhao; Jiarui Zhang (Inf. Fusion, 2025)

Model-based diagnosis with low-cost fault identification. - Jihong Ouyang; Sen Huang; Liming Zhang; Xiangfu Zhao (Frontiers Comput. Sci., 2025)

Contractsentry: a static analysis tool for smart contract vulnerability detection. - Shiji Wang 003; Xiangfu Zhao (Autom. Softw. Eng., 2025)

CSAFuzzer: Fuzzing smart contracts combining with static analysis. - Jiahui Yang; Xiangfu Zhao; Hanfeng Zhang; Long He; Shiji Wang 003; Naixiang Gou (Empir. Softw. Eng., 2025)

ReenSAT: Reentrancy Vulnerability Detection in Smart Contracts Using Semantic-Enhanced SAT Evaluation. - Long He; Xiangfu Zhao; Yichen Wang (IEEE Trans. Reliab., 2025)