Xingwu Guo
According to our database1,
Xingwu Guo
authored at least 5 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Applied Intelligence - First International Conference, 2023
Proceedings of the Applied Intelligence - First International Conference, 2023
2022
Sign Confirmation Analysis of Congestion Surplus in Two-node Simple Power System based on Nodal Marginal Electricity Price.
Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022
2021
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021