Xingwu Guo

According to our database1, Xingwu Guo authored at least 3 papers between 2021 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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

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


  Loading...