Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
-
SDG 16 Peace, Justice and Strong Institutions
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions
Zhang, L., Wang, Z., Zhang, Y., Zhang, M. & Wang, J., 2025, Proceedings - 2025 IEEE/ACM 47th International Conference on Software Engineering, ICSE 2025. IEEE Computer Society, p. 756-768 13 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Link opens in a new tab Scopus citations -
IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving
Wang, Q., Chen, C., Xu, R., Sun, H., Wan, C., Su, T., Zhang, Y. & Pu, G., 2025, Proceedings - 2025 IEEE/ACM 47th International Conference on Software Engineering, ICSE-Companion 2025. IEEE Computer Society, p. 37-40 4 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Implementation of Joint Generation of Dynamic Traffic Scenarios by AI Agent and CARLA
Bai, G., Wang, J., Zhang, Y. & Zhang, Q., 2025, 2025 5th International Conference on Artificial Intelligence and Industrial Technology Applications, AIITA 2025. Institute of Electrical and Electronics Engineers Inc., p. 1517-1520 4 p. (2025 5th International Conference on Artificial Intelligence and Industrial Technology Applications, AIITA 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Link opens in a new tab Scopus citations -
Research on Automatic Generation and Mutation Method of Neural Network Based on SMT
Yang, F., Wang, J., Zhang, Y. & Hsu, G., 2025, 2025 8th International Conference on Advanced Algorithms and Control Engineering, ICAACE 2025. Institute of Electrical and Electronics Engineers Inc., p. 268-271 4 p. (2025 8th International Conference on Advanced Algorithms and Control Engineering, ICAACE 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Runtime Verification of Tactical Data Link
Wang, Q., Hu, Z., Ma, W., Chen, Q., Zhang, Y. & Pu, G., 2025, Proceedings - 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops, ISSREW 2025. Institute of Electrical and Electronics Engineers Inc., p. 1-8 8 p. (Proceedings - 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops, ISSREW 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review