On early statistical requirements validation of cyber-physical space systems. - Christos Tsigkanos; Nianyu Li; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi (SEsCPS@ICSE, 2018)

Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach. - Nianyu Li; Di Bai 005; Yiming Peng; Zhuoqun Yang; Wenpin Jiao (QRS, 2018)

A Conceptual Model of Self-Adaptive Systems based on Attribution Theory. - Nianyu Li; Zhengyin Chen; Zi-Long Li; Wenpin Jiao (CogSci, 2019)

POET: Privacy on the Edge with Bidirectional Data Transformations. - Nianyu Li; Christos Tsigkanos; Zhi Jin; Schahram Dustdar; Zhenjiang Hu; Carlo Ghezzi (PerCom, 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 001; João Cambeiro; Jan Carlson; Shafiul Azam Chowdhury; Marian Daun; Nianyu Li; Matthias Markthaler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2019)

Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. - Nianyu Li; Javier Cámara 001; David Garlan; Bradley R. Schmerl (ACSOS, 2020)

Explanations for human-on-the-loop: a probabilistic model checking approach. - Nianyu Li; Sridhar Adepu; Eunsuk Kang; David Garlan (SEAMS@ICSE, 2020)

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. - Christos Tsigkanos; Nianyu Li; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi (ASE, 2020)

Environmental-Perception Modeling and Reference Architecture for Cyber Physical Systems. - Nianyu Li; Kun Liu; Zhengyin Chen; Wenpin Jiao (IEEE Access, 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)

Engineering Secure Self-Adaptive Systems with Bayesian Games. - Nianyu Li; Mingyue Zhang 002; Eunsuk Kang; David Garlan (FASE, 2021)

Hey! Preparing Humans to do Tasks in Self-adaptive Systems. - Nianyu Li; Javier Cámara 001; David Garlan; Bradley R. Schmerl; Zhi Jin (SEAMS@ICSE, 2021)

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. - Mingyue Zhang 002; Nianyu Li; Sridhar Adepu; Eunsuk Kang; Zhi Jin (CoRR, 2021)

Modeling and Analysis of Explanation for Secure Industrial Control Systems. - Sridhar Adepu; Nianyu Li; Eunsuk Kang; David Garlan (ACM Trans. Auton. Adapt. Syst., 2022)

Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis. - Jialong Li 001; Takuto Yamauchi; Nianyu Li; Zhengyin Chen; Mingyue Zhang 002; Takanori Hirano; Kenji Tei (ACSOS-C, 2023)

Slicing and Visualizing F' Topologies with F'Prism. - Jialong Li 001; Christos Tsigkanos; Toshihide Ubukata; Elisa Yumi Nakagawa; Zhenyu Mao; Nianyu Li; Kenji Tei (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

Preference Adaptation: user satisfaction is all you need! - Nianyu Li; Mingyue Zhang 002; Jialong Li 001; Eunsuk Kang; Kenji Tei (SEAMS, 2023)

Overcooked Plus: A Comprehensive Cooking Scenario TestBed for Enhancing the Evaluation of Autonomous Planning Algorithms. - Jinyu Cai; Jialong Li 001; Nianyu Li; Mingyue Zhang 002; Ruijia Yang; Kenji Tei (ACSOS-C, 2024)

Memory-Based Resilient Control Against Non-cooperation in Multi-agent Flocking. - Mingyue Zhang 002; Nianyu Li; Jialong Li 001; Jiachun Liao; Jiamou Liu (AAMAS, 2024)

User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. - Mingyue Zhang 002; Jialong Li 001; Nianyu Li; Eunsuk Kang; Kenji Tei (CHI Extended Abstracts, 2024)

Exploring Optimal eHMI Display Location for Various Vehicle Types: A VR User Study. - Nianzhao Zheng; Jialong Li 001; Nianyu Li; Mingyue Zhang 002; Jinyu Cai; Kenji Tei (CHI Extended Abstracts, 2024)

Instrumenting Runtime Goal Monitoring for F' Flight Software. - Jialong Li 001; Christos Tsigkanos; Nianyu Li; Kenji Tei (COMPSAC, 2024)

Exploring the Potential of Large Language Models in Self-adaptive Systems. - Jialong Li 001; Mingyue Zhang 002; Nianyu Li; Danny Weyns; Zhi Jin; Kenji Tei (SEAMS@ICSE, 2024)

Reliable proactive adaptation via prediction fusion and extended stochastic model predictive control. - Zhengyin Chen; Jialong Li 001; Nianyu Li; Wenpin Jiao (J. Syst. Softw., 2024)

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. - Nianyu Li; Mingyue Zhang 002; Jialong Li 001; Sridhar Adepu; Eunsuk Kang; Zhi Jin (ACM Trans. Auton. Adapt. Syst., 2024)

Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap. - Jialong Li 001; Mingyue Zhang 002; Nianyu Li; Danny Weyns; Zhi Jin; Kenji Tei (ACM Trans. Auton. Adapt. Syst., 2024)

Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding. - Mingyue Zhang 002; Nianyu Li; Yi Chen; Jialong Li 001; Xiaoyi Zhang; Hengjun Zhao; Jiamou Liu; Wu Chen 005 (AAAI, 2025)

SIT: An Accurate, Compliant SBOM Generator with Incremental Construction. - Changguo Jia; Nianyu Li; Kai Yang; Minghui Zhou (ICSE Companion, 2025)

A First Look at Package-to-Group Mechanism: An Empirical Study of the Linux Distributions. - Dongming Jin; Nianyu Li; Kai Yang; Minghui Zhou; Zhi Jin (SANER, 2025)

Adapting Aggregation Rule for Robust Federated Learning under Dynamic Attacks. - Chenyu Hu; Mingyue Zhang 002; Nianyu Li; Jialong Li 001; Zheng Yang; Muneeb Ul Hassan 001; Kenji Tei (SEAMS@ICSE, 2025)

Automatic Multi-level Feature Tree Construction for Domain-Specific Reusable Artifacts Management. - Dongming Jin; Zhi Jin; Nianyu Li; Kai Yang; Linyu Li 001; Suijing Guan (CoRR, 2025)