![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Nianyu Li
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j5]Nianyu Li
, Mingyue Zhang
, Jialong Li
, Sridhar Adepu
, Eunsuk Kang
, Zhi Jin
:
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. ACM Trans. Auton. Adapt. Syst. 19(2): 12 (2024) - 2022
- [j4]Sridhar Adepu
, Nianyu Li
, Eunsuk Kang
, David Garlan
:
Modeling and Analysis of Explanation for Secure Industrial Control Systems. ACM Trans. Auton. Adapt. Syst. 17(3-4): 1-26 (2022) - 2020
- [j3]Nianyu Li
, Kun Liu, Zhengyin Chen, Wenpin Jiao:
Environmental-Perception Modeling and Reference Architecture for Cyber Physical Systems. IEEE Access 8: 200322-200337 (2020) - [j2]Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. 170: 110742 (2020) - 2019
- [j1]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:
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes 44(4): 11-13 (2019)
Conference and Workshop Papers
- 2024
- [c16]Mingyue Zhang, Nianyu Li, Jialong Li, Jiachun Liao, Jiamou Liu:
Memory-Based Resilient Control Against Non-cooperation in Multi-agent Flocking. AAMAS 2024: 2075-2084 - [c15]Nianzhao Zheng
, Jialong Li
, Nianyu Li
, Mingyue Zhang
, Jinyu Cai
, Kenji Tei
:
Exploring Optimal eHMI Display Location for Various Vehicle Types: A VR User Study. CHI Extended Abstracts 2024: 145:1-145:7 - [c14]Mingyue Zhang
, Jialong Li
, Nianyu Li
, Eunsuk Kang
, Kenji Tei
:
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. CHI Extended Abstracts 2024: 361:1-361:8 - [c13]Jialong Li
, Mingyue Zhang
, Nianyu Li
, Danny Weyns
, Zhi Jin
, Kenji Tei
:
Exploring the Potential of Large Language Models in Self-adaptive Systems. SEAMS@ICSE 2024: 77-83 - 2023
- [c12]Jialong Li, Takuto Yamauchi, Nianyu Li, Zhengyin Chen, Mingyue Zhang, Takanori Hirano, Kenji Tei:
Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis. ACSOS-C 2023: 27-28 - [c11]Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei:
Slicing and Visualizing F' Topologies with F'Prism. ECSA (Tracks, Workshops and Doctoral Symposium) 2023: 375-389 - [c10]Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei:
Preference Adaptation: user satisfaction is all you need! SEAMS 2023: 133-144 - 2021
- [c9]Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan:
Engineering Secure Self-Adaptive Systems with Bayesian Games. FASE 2021: 130-151 - [c8]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin:
Hey! Preparing Humans to do Tasks in Self-adaptive Systems. SEAMS@ICSE 2021: 48-58 - 2020
- [c7]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl:
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS 2020: 195-204 - [c6]Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan:
Explanations for human-on-the-loop: a probabilistic model checking approach. SEAMS@ICSE 2020: 181-187 - [c5]Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE 2020: 993-1003 - 2019
- [c4]Nianyu Li, Zhengyin Chen, Zi-Long Li, Wenpin Jiao:
A Conceptual Model of Self-Adaptive Systems based on Attribution Theory. CogSci 2019: 657-663 - [c3]Nianyu Li, Christos Tsigkanos
, Zhi Jin, Schahram Dustdar
, Zhenjiang Hu, Carlo Ghezzi:
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom 2019: 1-10 - 2018
- [c2]Christos Tsigkanos
, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE 2018: 13-18 - [c1]Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao:
Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach. QRS 2018: 67-74
Informal and Other Publications
- 2024
- [i4]Jialong Li, Mingyue Zhang, Nianyu Li, Danny Weyns, Zhi Jin, Kenji Tei:
Exploring the Potential of Large Language Models in Self-adaptive Systems. CoRR abs/2401.07534 (2024) - [i3]Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei:
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. CoRR abs/2403.02928 (2024) - 2021
- [i2]Mingyue Zhang, Nianyu Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin:
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. CoRR abs/2112.07588 (2021) - 2020
- [i1]Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR abs/2007.06719 (2020)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint