Xiangfu Zhao

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 30

Top Topics

Discrete Event Systems

Timed Petri Nets

Fault Diagnosis

Optical Flow Computation

Top Venues

J. Artif. Intell. Res.

Eng. Appl. Artif. Intell.

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Zhaowei Liu, Yixian Wang, Shenqiang Wang, Xiangfu Zhao, Haiyang Wang, Haoyu Yin
Heterogeneous graphs neural networks based on neighbor relationship filtering. Expert Syst. Appl. 239 (2024)
Zixian Zhen, Xiangfu Zhao, Jinkai Zhang, Yichen Wang, Haiyue Chen
DA-GNN: A smart contract vulnerability detection method based on Dual Attention Graph Neural Network. Comput. Networks 242 (2024)
Long He, Xiangfu Zhao, Yichen Wang
ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution. ICSE Companion (2024)
Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
Sequence-Oriented Diagnosis of Discrete-Event Systems. J. Artif. Intell. Res. 78 (2023)
Long He, Xiangfu Zhao, Yichen Wang, Jiahui Yang, Xuelei Sun
GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis. ECAI (2023)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Fault Diagnosis of Discrete-Event Systems from Abstract Observations. Comput. Informatics 41 (1) (2022)
Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang
Two Compacted Models for Efficient Model-Based Diagnosis. AAAI (2022)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. KR (2021)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Active Systems with Abstract Observability. KES-IDT (2021)
Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, Yanzhi Hou
TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. IEEE Trans. Reliab. 70 (4) (2021)
Sen Huang, Xiangfu Zhao, Xiangrong Tong
An Incremental Boolean Algorithm for Computing Minimal Hitting Sets. CISP-BMEI (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Explanatory Monitoring of Discrete-Event Systems. KES-IDT (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. KES (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Temporal Faults in Discrete-Event Systems. ECAI (2020)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Diagnosis of Deep Discrete-Event Systems. J. Artif. Intell. Res. 69 (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. KR (2020)
Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. Complex. 2020 (2020)
Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. IntelliSys (2) (2019)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. KR (2018)
Xiangfu Zhao, Dantong Ouyang, Liming Zhang
Computing all minimal hitting sets by subset recombination. Appl. Intell. 48 (2) (2018)
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. CD-MAKE (2018)
Xiangfu Zhao
LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure. Eng. Appl. Artif. Intell. 72 (2018)
Xiangfu Zhao, Wei-Ting Kary Chien
Exploration of baking temperature effects on 28 nm BEOL reliability. Microelectron. Reliab. 72 (2017)
Gianfranco Lamperti, Xiangfu Zhao
Decremental Subset Construction. KES-IDT (1) (2017)
Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, Changbing Tang
The DAO attack paradoxes in propositional logic. ICSAI (2017)
Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. Eng. Appl. Artif. Intell. 53 (2016)
Gianfranco Lamperti, Xiangfu Zhao
Diagnosis of Complex Active Systems with Uncertain Temporal Observations. CD-ARES (2016)
Gianfranco Lamperti, Xiangfu Zhao
Viable diagnosis of complex active systems. SMC (2016)
Xiangfu Zhao, Dantong Ouyang
Deriving all minimal hitting-sets by merging. ICIA (2016)
Xiangfu Zhao, Dantong Ouyang
Deriving All Minimal Hitting Sets Based on Join Relation. IEEE Trans. Syst. Man Cybern. Syst. 45 (7) (2015)
Gianfranco Lamperti, Xiangfu Zhao
Diagnosis of Active Systems by Semantic Patterns. IEEE Trans. Syst. Man Cybern. Syst. 44 (8) (2014)
Yuanwei Li, En Zhu, Jianmin Zhao, Jianping Yin, Xiangfu Zhao
A Fast Simple Optical Flow Computation Approach Based on the 3-D Gradient. IEEE Trans. Circuits Syst. Video Technol. 24 (5) (2014)
Gianfranco Lamperti, Xiangfu Zhao
Diagnosis of Higher-Order Discrete-Event Systems. CD-ARES (2013)
Gianfranco Lamperti, Xiangfu Zhao
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. SMC (2013)
Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo
Reasoning on partially-ordered observations in online diagnosis of DESs. AI Commun. 25 (4) (2012)
Huawen Liu, Shichao Zhang, Jianming Zhao, Xiangfu Zhao, Yuchang Mo
A New Classification Algorithm Using Mutual Nearest Neighbors. GCC (2010)
Xiangfu Zhao, Dantong Ouyang
On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach. RAM (2008)
Xiangfu Zhao, Dantong Ouyang
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. ECAI (2008)
Xiangfu Zhao, Dantong Ouyang
On-line diagnosis of discrete event systems with two successive temporal windows. AI Commun. 21 (4) (2008)
Yu Jiao, Dantong Ouyang, Xiangfu Zhao
A complete approach to identify conflict sets based on ATMS. SMC (2008)
Xiangfu Zhao, Dantong Ouyang
An extended hierarchical framework for definitions of diagnosability of discrete event systems. SMC (2008)
Xiangfu Zhao, Dantong Ouyang
Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis. ICIC (1) (2007)