Nianyu Li

Research Impact Dashboard

Publications
5
2020-2022
Citations
92
13.1/year avg
h-index
4
Impact metric
i10-index
3
Papers with ≥10 cites

📊 Publications Over Time

📈 Citation Growth Timeline

Cumulative citations over time showing impact trajectory. ℹ️ Historical data from OpenAlex starts in 2012; earlier citations are included as a baseline.

🏆 Top Cited Papers

  1. 1
    Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach
    2020 • Li:2020:SEAMS-Expl
    43 citations
  2. 2
    Hey! Preparing Humans to do Tasks in Self-adaptive Systems
    2021 • 2021:Li:HeyPreparatory
    26 citations
  3. 3
    Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems
    2020 • 2020:Li:HIL-Model
    14 citations
  4. 4
    Engineering Secure Self-adaptive Systems with Bayesian Games
    2021 • 2021:FASE:Li
    5 citations
  5. 5
    Modeling and Analysis of Explanation for Secure Industrial Control Systems
    2022 • Adepu:ExpInd:2022
    4 citations

🔬 Research Areas

Self-adaptive Systems Model Checking Explainable Software Formal Methods Human-in-the-Loop stochastic-games Software Security Robotic Software Engineering

🤝 Top Collaborators

Most frequent co-authors ranked by number of joint publications.

2
David Garlan ABLE
Actual ABLE member
5 publications
3
Eunsuk Kang ABLE
Actual ABLE member
3 publications
4
Sridhar Adepu ABLE
Actual ABLE member
2 publications
5
Javier Cámara ABLE
Actual ABLE member
2 publications
6
Bradley Schmerl ABLE
Actual ABLE member
2 publications
7
Mingyue Zhang
Not an ABLE member
1 publication
8
Zhi Jin
Not an ABLE member
1 publication

Showing top 7 of 7 co-authors