Publications of Eunsuk Kang 
|
Order by: Type | Year
|
|
|
|
| 1 |
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.
|
| 2 |
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.
|
|
|
|
|
| 3 |
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.
|
| 4 |
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.
|
| 5 |
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.
|
|
|
