Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Eunsuk Kang   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
Simon Chu, Justin Koe, David Garlan and Eunsuk Kang. Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. In Proc. the International Conference on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 15-16 April 2024.
3
Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra and Nejib Ammar. Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. In 26th International Symposium on Formal Methods (FM24), 11-13 September 2024. To appear.
4
Changjian Zhang, Taranj Saluja, Rômulo Meira-Góes, Matthew Bolton, David Garlan and Eunsuk Kang. Robustification of Behavioral Designs against Environmental Deviations. In Proceedings of the 45th International Conference on Software Engineering, 14-20 May 2023.
5
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan and Eunsuk Kang. Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. In Proceedings of the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 15-16 May 2023.
6
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan and Eunsuk Kang. Fortis: A Tool for Analysis and Repair of Robust Software Systems. In Proc. Formal Methods in Computer-Aided Design 2023, 23-27 October 2023.
7
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.
8
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins and Eunsuk Kang. AlloyMax: Bringing Maximum Satisfaction to Relational Specifications. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021, Virtual, 23-28 August 2021. Distinguished Paper Award.
9
Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang and Mark Klein. Self-Adaptation for Machine Learning Based Systems. In Proceedings of the 1st International Workshop on Software Architecture and Machine Learning (SAML), Springer, Virtual, (Originally Växjö, Sweden), 14 September 2021.
10
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.
11
Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno and Eunsuk Kang. Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), Virtual, 21-25 September 2020.
12
Changjian Zhang, David Garlan and Eunsuk Kang. A Behavioral Notion of Robustness for Software Systems. In Proceedings of the 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Virtual, 6-16 November 2020.
13
Tobias Dürschmid, Eunsuk Kang and David Garlan. Trade-off-oriented Development: Making Quality Attribute Trade-offs First-class. In Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, Montreal, CA, May 2019.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin