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
Fingerprint
Dive into the research topics where Jianwen Li is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 88-105 18 p. (Lecture Notes in Computer Science; vol. 15945 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
An On-the-Fly Synthesis Framework for LTL over Finite Traces
Xiao, S., Li, Y., Zhu, S., Sun, J., Li, J., Pu, G. & Vardi, M. Y., Apr 2026, In: ACM Transactions on Software Engineering and Methodology. 35, 4, 115.Research output: Contribution to journal › Article › peer-review
Open Access1 Link opens in a new tab Scopus citations -
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 380-397 18 p. (Lecture Notes in Computer Science; vol. 15841 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Compositional Framework for On-the-Fly LTLf Synthesis
Li, Y., Xiao, S., Zhu, S., Li, J. & Pu, G., 21 Oct 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. (eds.). IOS Press BV, p. 1711-1718 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 413).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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., p. 129-140 12 p. (Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review