Weidi Sun
According to our database1,
Weidi Sun
authored at least 15 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
1
2
2
1
3
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
J. Syst. Archit., November, 2023
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023
2022
DeepGlobal: A framework for global robustness verification of feedforward neural networks.
J. Syst. Archit., 2022
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
2021
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the International Joint Conference on Neural Networks, 2021
2020
<i>Mediator</i>: A component-based modeling language for concurrent and distributed systems.
Sci. Comput. Program., 2020
2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019