个人简介
与联合国可持续发展目标相关的专业知识
2015 年，联合国成员国同意 17 项可持续发展目标 (SDG)，以消除贫困、保护地球并确保全人类的繁荣。此人的工作有助于实现下列可持续发展目标：
-
可持续发展目标 3 良好健康与福祉
指纹
深入其中 Jianwen Li 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
- 1 相似简介
最近五年的合作关系和顶尖研究领域
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores
Dong, Y., Wu, X., Li, J., Pu, G. & Strichman, O., 2026, Model Checking Software - 31st International Symposium, SPIN 2025, Proceedings. Ernst, G. & Rozier, K. Y. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 88-105 18 页码 (Lecture Notes in Computer Science; 卷 15945 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal
Dong, Y., Chen, Y., Li, J. & Pu, G., 2026, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Proceedings. Rümmer, P. & Wu, Z. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 380-397 18 页码 (Lecture Notes in Computer Science; 卷 15841 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
A Compositional Framework for On-the-Fly LTLf Synthesis
Li, Y., Xiao, S., Zhu, S., Li, J. & Pu, G., 21 10月 2025, ECAI 2025 - 28th European Conference on Artificial Intelligence, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 - Proceedings. Lynce, I., Murano, N., Vallati, M., Villata, S., Chesani, F., Milano, M., Omicini, A. & Dastani, M. (编辑). IOS Press BV, 页码 1711-1718 8 页码 (Frontiers in Artificial Intelligence and Applications; 卷 413).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
开放访问 -
Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation
Dong, Y., Xu, Y., Deng, W., Chen, Y., Zhang, X., Li, J., Zhang, C. & Pu, G., 2025, Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025. Institute of Electrical and Electronics Engineers Inc., 页码 129-140 12 页码 (Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
Revisiting Assumptions Ordering in CAR-Based Model Checking
Dong, Y., Chen, Y., Li, J., Pu, G. & Strichman, O., 2025, 在: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44, 10, 页码 4032-4037 6 页码科研成果: 期刊稿件 › 文章 › 同行评审
2 链接将在新标签页中打开 引用 （Scopus）