| Explanations for human-on-the-loop: A probabilistic model checking approach N Li, S Adepu, E Kang, D Garlan Proceedings of the IEEE/ACM 15th International Symposium on Software …, 2020 | 43 | 2020 |
| Reasoning about when to provide explanation for human-involved self-adaptive systems N Li, J Cámara, D Garlan, B Schmerl 2020 ieee international conference on autonomic computing and self …, 2020 | 33* | 2020 |
| Early validation of cyber–physical space systems via multi-concerns integration N Li, C Tsigkanos, Z Jin, Z Hu, C Ghezzi Journal of Systems and Software 170, 110742, 2020 | 31 | 2020 |
| Hey! preparing humans to do tasks in self-adaptive systems N Li, J Cámara, D Garlan, B Schmerl, Z Jin 2021 International Symposium on Software Engineering for Adaptive and Self …, 2021 | 27 | 2021 |
| Poet: Privacy on the edge with bidirectional data transformations N Li, C Tsigkanos, Z Jin, S Dustdar, Z Hu, C Ghezzi 2019 IEEE International Conference on Pervasive Computing and Communications …, 2019 | 20 | 2019 |
| Scalable multiple-view analysis of reactive systems via bidirectional model transformations C Tsigkanos, N Li, Z Jin, Z Hu, C Ghezzi Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 14 | 2020 |
| On early statistical requirements validation of cyber-physical space systems C Tsigkanos, N Li, Z Jin, Z Hu, C Ghezzi Proceedings of the 4th International Workshop on Software Engineering for …, 2018 | 12 | 2018 |
| Exploring the Potential of Large Language Models in Self-adaptive Systems J Li, M Zhang, N Li, D Weyns, Z Jin, K Tei Proceedings of the 19th International Symposium on Software Engineering for …, 2024 | 11 | 2024 |
| Preference Adaptation: user satisfaction is all you need! N Li, M Zhang, J Li, E Kang, K Tei 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023 | 10 | 2023 |
| Generative ai for self-adaptive systems: State of the art and research roadmap J Li, M Zhang, N Li, D Weyns, Z Jin, K Tei ACM Transactions on Autonomous and Adaptive Systems 19 (3), 1-60, 2024 | 8 | 2024 |
| Verifying stochastic behaviors of decentralized self-adaptive systems: A formal modeling and simulation based approach N Li, D Bai, Z Yang, W Jiao 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 8 | 2018 |
| Software engineering for smart cyber-physical systems (SEsCPS 2018)-workshop report T Bures, D Weyns, B Schmerl, J Fitzgerald, A Aniculaesei, C Berger, ... ACM SIGSOFT Software Engineering Notes 44 (4), 11-13, 2022 | 6 | 2022 |
| Engineering secure self-adaptive systems with bayesian games N Li, M Zhang, E Kang, D Garlan Fundamental Approaches to Software Engineering: 24th International …, 2021 | 6 | 2021 |
| Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis J Li, T Yamauchi, N Li, Z Chen, M Zhang, T Hirano, K Tei 2023 IEEE International Conference on Autonomic Computing and Self …, 2023 | 5 | 2023 |
| The Journal of Systems & Software N Li, C Tsigkanos, Z Jin, Z Hu, C Ghezzi | 5 | 2021 |
| A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems N Li, M Zhang, J Li, S Adepu, E Kang, Z Jin ACM Transactions on Autonomous and Adaptive Systems 19 (2), 1-49, 2024 | 3* | 2024 |
| Modeling and analysis of explanation for secure industrial control systems S Adepu, N Li, E Kang, D Garlan ACM Transactions on Autonomous and Adaptive Systems 17 (3-4), 1-26, 2022 | 3 | 2022 |
| Exploring Optimal eHMI Display Location for Various Vehicle Types: A VR User Study N Zheng, J Li, N Li, M Zhang, J Cai, K Tei Extended Abstracts of the CHI Conference on Human Factors in Computing …, 2024 | 2 | 2024 |
| User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences M Zhang, J Li, N Li, E Kang, K Tei Extended Abstracts of the CHI Conference on Human Factors in Computing …, 2024 | 2 | 2024 |
| Memory-Based Resilient Control Against Non-cooperation in Multi-agent Flocking M Zhang, N Li, J Li, J Liao, J Liu Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | 1 | 2024 |
Zhi JinProfessor, Peking UniversityEmail yang diverifikasi di pku.edu.cn