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