Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
Publications of Nianyu Li   Download bibtex file Order by:   Type | Year
<< 2022 >> TOP
1
 Sridhar Adepu, Nianyu Li, Eunsuk Kang and David Garlan. Modeling and Analysis of Explanation for Secure Industrial Control Systems. In ACM Transactions on Autonomous and Adaptive Systems, July 2022. https://dl.acm.org/doi/10.1145/3557898.
<< 2021 >> TOP
2
 Nianyu Li, Mingyue Zhang, Eunsuk Kang and David Garlan. Engineering Secure Self-adaptive Systems with Bayesian Games. In Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, 27 March - 1 April 2021.
3
 Nianyu Li, Javier Cámara, David Garlan, Bradley Schmerl and Zhi Jin. Hey! Preparing Humans to do Tasks in Self-adaptive Systems. In Proceedings of the 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021), Virtual, 18-21 May 2021. Awarded Best Student Paper for SEAMS 2021.
<< 2020 >> TOP
4
 Nianyu Li, Sridhar Adepu, Eunsuk Kang and David Garlan. Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
5
 Nianyu Li, Javier Cámara, David Garlan and Bradley Schmerl. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Presentation Video.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32 		        BibAdmin