Nianyu Li

According to our database, Nianyu Li authored at least 24 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems.

Nianyu Li, Mingyue Zhang, Jialong Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin

ACM Trans. Auton. Adapt. Syst., June, 2024

Reliable proactive adaptation via prediction fusion and extended stochastic model predictive control.

Zhengyin Chen, Jialong Li, Nianyu Li, Wenpin Jiao

J. Syst. Softw., 2024

Exploring the Potential of Large Language Models in Self-adaptive Systems.

Jialong Li, Mingyue Zhang, Nianyu Li, Danny Weyns, Zhi Jin, Kenji Tei

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Instrumenting Runtime Goal Monitoring for F' Flight Software.

Jialong Li, Christos Tsigkanos, Nianyu Li, Kenji Tei

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Exploring Optimal eHMI Display Location for Various Vehicle Types: A VR User Study.

Nianzhao Zheng, Jialong Li, Nianyu Li, Mingyue Zhang, Jinyu Cai, Kenji Tei

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024

User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences.

Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024

Memory-Based Resilient Control Against Non-cooperation in Multi-agent Flocking.

Mingyue Zhang, Nianyu Li, Jialong Li, Jiachun Liao, Jiamou Liu

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Preference Adaptation: user satisfaction is all you need!

Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Slicing and Visualizing F' Topologies with F'Prism.

Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei

Proceedings of the Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, 2023

Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis.

Jialong Li, Takuto Yamauchi, Nianyu Li, Zhengyin Chen, Mingyue Zhang, Takanori Hirano, Kenji Tei

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022

Modeling and Analysis of Explanation for Secure Industrial Control Systems.

Sridhar Adepu, Nianyu Li, Eunsuk Kang, David Garlan

ACM Trans. Auton. Adapt. Syst., December, 2022

2021

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems.

Mingyue Zhang, Nianyu Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin

CoRR, 2021

Hey! Preparing Humans to do Tasks in Self-adaptive Systems.

Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Engineering Secure Self-Adaptive Systems with Bayesian Games.

Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Early validation of cyber-physical space systems via multi-concerns integration.

Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi

J. Syst. Softw., 2020

Environmental-Perception Modeling and Reference Architecture for Cyber Physical Systems.

Nianyu Li, Kun Liu, Zhengyin Chen, Wenpin Jiao

IEEE Access, 2020

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations.

Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Explanations for human-on-the-loop: a probabilistic model checking approach.

Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems.

Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.

Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala

ACM SIGSOFT Softw. Eng. Notes, 2019

POET: Privacy on the Edge with Bidirectional Data Transformations.

Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi

Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

A Conceptual Model of Self-Adaptive Systems based on Attribution Theory.

Nianyu Li, Zhengyin Chen, Zi-Long Li, Wenpin Jiao

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018

Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach.

Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

On early statistical requirements validation of cyber-physical space systems.

Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018