| 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.
|
| 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.
|
|
|
