Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Sridhar Adepu   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> 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.
<< InProceedings >> TOP
2
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.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin