Xiangfu Zhao

According to our database, Xiangfu Zhao authored at least 40 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Sequence-Oriented Diagnosis of Discrete-Event Systems.

Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao

J. Artif. Intell. Res., 2023

GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis.

Long He, Xiangfu Zhao, Yichen Wang, Jiahui Yang, Xuelei Sun

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Fault Diagnosis of Discrete-Event Systems from Abstract Observations.

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Comput. Informatics, 2022

Two Compacted Models for Efficient Model-Based Diagnosis.

Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

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, Yanzhi Hou

IEEE Trans. Reliab., 2021

Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge.

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Diagnosis of Active Systems with Abstract Observability.

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the Intelligent Decision Technologies, 2021

2020

Diagnosis of Deep Discrete-Event Systems.

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

J. Artif. Intell. Res., 2020

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

Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong

Complex., 2020

Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.

Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Explanatory Monitoring of Discrete-Event Systems.

Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the Intelligent Decision Technologies, 2020

Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems.

Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Diagnosis of Temporal Faults in Discrete-Event Systems.

Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

An Incremental Boolean Algorithm for Computing Minimal Hitting Sets.

Sen Huang, Xiangfu Zhao, Xiangrong Tong

Proceedings of the 13th International Congress on Image and Signal Processing, 2020

2019

Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems.

Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the Intelligent Systems and Applications, 2019

2018

LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure.

Xiangfu Zhao

Eng. Appl. Artif. Intell., 2018

Computing all minimal hitting sets by subset recombination.

Xiangfu Zhao, Dantong Ouyang, Liming Zhang

Appl. Intell., 2018

Abductive Diagnosis of Complex Active Systems with Compiled Knowledge.

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems.

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Proceedings of the Machine Learning and Knowledge Extraction, 2018

Introduction to Diagnosis of Active Systems

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Springer, ISBN: 978-3-319-92731-2, 2018

2017

Exploration of baking temperature effects on 28 nm BEOL reliability.

Xiangfu Zhao, Wei-Ting Kary Chien

Microelectron. Reliab., 2017

Decremental Subset Construction.

Gianfranco Lamperti, Xiangfu Zhao

Proceedings of the Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017), 2017

The DAO attack paradoxes in propositional logic.

Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, Changbing Tang

Proceedings of the 4th International Conference on Systems and Informatics, 2017

2016

Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.

Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao

Eng. Appl. Artif. Intell., 2016

Viable diagnosis of complex active systems.

Gianfranco Lamperti, Xiangfu Zhao

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Deriving all minimal hitting-sets by merging.

Xiangfu Zhao, Dantong Ouyang

Proceedings of the IEEE International Conference on Information and Automation, 2016

Diagnosis of Complex Active Systems with Uncertain Temporal Observations.

Gianfranco Lamperti, Xiangfu Zhao

Proceedings of the Availability, Reliability, and Security in Information Systems, 2016

2015

Deriving All Minimal Hitting Sets Based on Join Relation.

Xiangfu Zhao, Dantong Ouyang

IEEE Trans. Syst. Man Cybern. Syst., 2015

2014

Diagnosis of Active Systems by Semantic Patterns.

Gianfranco Lamperti, Xiangfu Zhao

IEEE Trans. Syst. Man Cybern. Syst., 2014

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

2013

Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems.

Gianfranco Lamperti, Xiangfu Zhao

Proceedings of the IEEE International Conference on Systems, 2013

Diagnosis of Higher-Order Discrete-Event Systems.

Gianfranco Lamperti, Xiangfu Zhao

Proceedings of the Availability, Reliability, and Security in Information Systems and HCI, 2013

2012

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

Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo

AI Commun., 2012

2010

A New Classification Algorithm Using Mutual Nearest Neighbors.

Huawen Liu, Shichao Zhang, Jianming Zhao, Xiangfu Zhao, Yuchang Mo

Proceedings of the GCC 2010, 2010

2008

On-line diagnosis of discrete event systems with two successive temporal windows.

Xiangfu Zhao, Dantong Ouyang

AI Commun., 2008

An extended hierarchical framework for definitions of diagnosability of discrete event systems.

Xiangfu Zhao, Dantong Ouyang

Proceedings of the IEEE International Conference on Systems, 2008

A complete approach to identify conflict sets based on ATMS.

Yu Jiao, Dantong Ouyang, Xiangfu Zhao

Proceedings of the IEEE International Conference on Systems, 2008

On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.

Xiangfu Zhao, Dantong Ouyang

Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008

Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model.

Xiangfu Zhao, Dantong Ouyang

Proceedings of the ECAI 2008, 2008

2007

Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis.

Xiangfu Zhao, Dantong Ouyang

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2007