| 2024 | DX | Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract). | Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao |
| 2024 | ICSE | ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution. | Long He, Xiangfu Zhao, Yichen Wang |
| 2024 | KES | Smart Diagnosis of Active Systems. | Gianfranco Lamperti, Xiangfu Zhao |
| 2023 | ECAI | GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis. | Long He, Xiangfu Zhao, Yichen Wang, Jiahui Yang, Xuelei Sun |
| 2022 | AAAI | Two Compacted Models for Efficient Model-Based Diagnosis. | Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang |
| 2021 | KR | Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | ECAI | Diagnosis of Temporal Faults in Discrete-Event Systems. | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | KES | Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | KR | Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2018 | KR | Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2016 | SMC | Viable diagnosis of complex active systems. | Gianfranco Lamperti, Xiangfu Zhao |
| 2013 | SMC | Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. | Gianfranco Lamperti, Xiangfu Zhao |
| 2008 | ECAI | Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. | Xiangfu Zhao, Dantong Ouyang |
| 2008 | SMC | A complete approach to identify conflict sets based on ATMS. | Yu Jiao, Dantong Ouyang, Xiangfu Zhao |
| 2008 | SMC | An extended hierarchical framework for definitions of diagnosability of discrete event systems. | Xiangfu Zhao, Dantong Ouyang |