Urmăriți
Nianyu Li (李念语)
Nianyu Li (李念语)
ZGC Lab
Adresă de e-mail confirmată pe pku.edu.cn - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
322020
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
212020
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
202021
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
202019
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
192020
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
122018
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
112020
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
72018
Engineering secure self-adaptive systems with bayesian games
N Li, M Zhang, E Kang, D Garlan
Fundamental Approaches to Software Engineering: 24th International …, 2021
62021
Reasoning about when to provide explanation for human-in-the-loop self-adaptive systems
N Li, J Cámara, D Garlan, B Schmerl
Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self …, 2020
62020
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, 2021
52021
The Journal of Systems & Software
N Li, C Tsigkanos, Z Jin, Z Hu, C Ghezzi
52020
Environmental-perception modeling and reference architecture for cyber physical systems
N Li, K Liu, Z Chen, W Jiao
IEEE Access 8, 200322-200337, 2020
42020
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
32023
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
32022
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems
M Zhang, N Li, S Adepu, E Kang, Z Jin
arXiv preprint arXiv:2112.07588, 2021
12021
A Conceptual Model of Self-Adaptive Systems based on Attribution Theory.
N Li, Z Chen, ZL Li, W Jiao
CogSci, 657-663, 2019
12019
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences
M Zhang, J Li, N Li, E Kang, K Tei
arXiv preprint arXiv:2403.02928, 2024
2024
Exploring the Potential of Large Language Models in Self-adaptive Systems
J Li, M Zhang, N Li, D Weyns, Z Jin, K Tei
arXiv preprint arXiv:2401.07534, 2024
2024
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, 2024
2024
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20