default search action
Xiangfu Zhao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j18]Shiji Wang, Xiangfu Zhao:
Contractsentry: a static analysis tool for smart contract vulnerability detection. Autom. Softw. Eng. 32(1): 1 (2025) - 2024
- [j17]Zixian Zhen, Xiangfu Zhao
, Jinkai Zhang, Yichen Wang
DA-GNN: A smart contract vulnerability detection method based on Dual Attention Graph Neural Network. Comput. Networks 242: 110238 (2024) - [j16]Zhaowei Liu
Heterogeneous graphs neural networks based on neighbor relationship filtering. Expert Syst. Appl. 239: 122489 (2024) - [j15]Haiyue Chen
SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods. Secur. Priv. 7(5) (2024) - [c26]Long He
ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution. ICSE Companion 2024: 272-273 - 2023
- [j14]Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao:
Sequence-Oriented Diagnosis of Discrete-Event Systems. J. Artif. Intell. Res. 78: 69-141 (2023) - [c25]Long He
GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis. ECAI 2023: 1020-1027 - 2022
- [j13]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Fault Diagnosis of Discrete-Event Systems from Abstract Observations. Comput. Informatics 41(1): 116-134 (2022) - [c24]Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang:
Two Compacted Models for Efficient Model-Based Diagnosis. AAAI 2022: 3885-3893 - 2021
- [j12]Xiangfu Zhao
TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. IEEE Trans. Reliab. 70(4): 1596-1610 (2021) - [c23]Gianfranco Lamperti
Diagnosis of Active Systems with Abstract Observability. KES-IDT 2021: 505-517 - [c22]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. KR 2021: 442-453 - 2020
- [j11]Xiangfu Zhao
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. Complex. 2020: 4306261:1-4306261:17 (2020) - [j10]Gianfranco Lamperti
Diagnosis of Deep Discrete-Event Systems. J. Artif. Intell. Res. 69: 1473-1532 (2020) - [c21]Sen Huang, Xiangfu Zhao, Xiangrong Tong:
An Incremental Boolean Algorithm for Computing Minimal Hitting Sets. CISP-BMEI 2020: 56-59 - [c20]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
Diagnosis of Temporal Faults in Discrete-Event Systems. ECAI 2020: 632-639 - [c19]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. KES 2020: 521-530 - [c18]Nicola Bertoglio
Explanatory Monitoring of Discrete-Event Systems. KES-IDT 2020: 63-77 - [c17]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. KR 2020: 130-140 - [e1]Qiang Zheng, Xiaopeng Zheng, Xiangfu Zhao, Weiqing Yan, Nan Zhang, Lipo Wang:
13th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2020, Chengdu, China, October 17-19, 2020. IEEE 2020, ISBN 978-0-7381-0545-1 [contents]
2010 – 2019
- 2019
- [c16]Nicola Bertoglio
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. IntelliSys (2) 2019: 835-852 - 2018
- [b1]Gianfranco Lamperti, Marina Zanella
Introduction to Diagnosis of Active Systems. Springer 2018, ISBN 978-3-319-92731-2, pp. 1-353 - [j9]Xiangfu Zhao
Computing all minimal hitting sets by subset recombination. Appl. Intell. 48(2): 257-270 (2018) - [j8]Xiangfu Zhao:
LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure. Eng. Appl. Artif. Intell. 72: 327-339 (2018) - [c15]Gianfranco Lamperti, Marina Zanella
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. CD-MAKE 2018: 43-64 - [c14]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. KR 2018: 464-473 - 2017
- [j7]Xiangfu Zhao, Wei-Ting Kary Chien:
Exploration of baking temperature effects on 28 nm BEOL reliability. Microelectron. Reliab. 72: 1-4 (2017) - [c13]Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, Changbing Tang:
The DAO attack paradoxes in propositional logic. ICSAI 2017: 1743-1746 - [c12]Gianfranco Lamperti
Decremental Subset Construction. KES-IDT (1) 2017: 22-36 - 2016
- [j6]Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao:
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. Eng. Appl. Artif. Intell. 53: 53-61 (2016) - [c11]Gianfranco Lamperti
Diagnosis of Complex Active Systems with Uncertain Temporal Observations. CD-ARES 2016: 45-62 - [c10]Xiangfu Zhao, Dantong Ouyang:
Deriving all minimal hitting-sets by merging. ICIA 2016: 1132-1137 - [c9]Gianfranco Lamperti
Viable diagnosis of complex active systems. SMC 2016: 457-462 - 2015
- [j5]Xiangfu Zhao
Deriving All Minimal Hitting Sets Based on Join Relation. IEEE Trans. Syst. Man Cybern. Syst. 45(7): 1063-1076 (2015) - 2014
- [j4]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): 842-853 (2014) - [j3]Gianfranco Lamperti
Diagnosis of Active Systems by Semantic Patterns. IEEE Trans. Syst. Man Cybern. Syst. 44(8): 1028-1043 (2014) - 2013
- [c8]Gianfranco Lamperti
Diagnosis of Higher-Order Discrete-Event Systems. CD-ARES 2013: 162-177 - [c7]Gianfranco Lamperti
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. SMC 2013: 2342-2347 - 2012
- [j2]Xiangfu Zhao
Reasoning on partially-ordered observations in online diagnosis of DESs. AI Commun. 25(4): 285-294 (2012) - 2010
- [c6]Huawen Liu, Shichao Zhang, Jianming Zhao, Xiangfu Zhao, Yuchang Mo:
A New Classification Algorithm Using Mutual Nearest Neighbors. GCC 2010: 52-57
2000 – 2009
- 2008
- [j1]Xiangfu Zhao
On-line diagnosis of discrete event systems with two successive temporal windows. AI Commun. 21(4): 249-262 (2008) - [c5]Xiangfu Zhao, Dantong Ouyang:
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. ECAI 2008: 189-193 - [c4]Xiangfu Zhao
On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach. RAM 2008: 785-790 - [c3]Xiangfu Zhao
An extended hierarchical framework for definitions of diagnosability of discrete event systems. SMC 2008: 1966-1971 - [c2]Yu Jiao, Dantong Ouyang, Xiangfu Zhao
A complete approach to identify conflict sets based on ATMS. SMC 2008: 1984-1988 - 2007
- [c1]Xiangfu Zhao, Dantong Ouyang:
Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis. ICIC (1) 2007: 157-166
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: