Eunsuk Kang
Carnegie Mellon University
H-index: 22
North America-United States
Top articles of Eunsuk Kang
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences | arXiv preprint arXiv:2403.02928 | Mingyue Zhang Jialong Li Nianyu Li Eunsuk Kang Kenji Tei | 2024/3/5 |
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation | arXiv preprint arXiv:2401.09678 | Simon Chu Justin Koe David Garlan Eunsuk Kang | 2024/1/18 |
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems | arXiv preprint arXiv:2112.07588 | Mingyue Zhang Nianyu Li Sridhar Adepu Eunsuk Kang Zhi Jin | 2021/12/12 |
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications | arXiv preprint arXiv:2403.10554 | Parv Kapoor Eunsuk Kang Romulo Meira-Goes | 2024/3/13 |
Open Design Case Study-A Crowdsourcing Effort to Curate Software Design Case Studies | Chun Yong Chong Eunsuk Kang Mary Shaw | 2023/5/14 | |
Preference Adaptation: user satisfaction is all you need! | Nianyu Li Mingyue Zhang Jialong Li Eunsuk Kang Kenji Tei | 2023/5/15 | |
Fortis: A Tool for Analysis and Repair of Robust Software Systems | Changjian Zhang Ian Dardik Rômulo Meira-Góes David Garlan Eunsuk Kang | 2023/10/24 | |
Task Model Design and Analysis with Alloy | Alcino Cunha Nuno Macedo Eunsuk Kang | 2023/5/15 | |
Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach | Matthew L Bolton Svetlana Riabova Yeonbin Son Eunsuk Kang | 2023/10/1 | |
Runtime resolution of feature interactions through adaptive requirement weakening | Simon Chu Emma Shedden Changjian Zhang Rômulo Meira-Góes Gabriel A Moreno | 2023/5/15 | |
Counterexample classification | Software and Systems Modeling | Cole Vick Eunsuk Kang Stavros Tripakis | 2023/7/26 |
Towards Safe ML-Based Systems in Presence of Feedback Loops | Sumon Biswas Yining She Eunsuk Kang | 2023/12/4 | |
An empirical study assessing software modeling in alloy | Niloofar Mansoor Hamid Bagheri Eunsuk Kang Bonita Sharif | 2023/5 | |
Safe environmental envelopes of discrete systems | arXiv preprint arXiv:2306.01025 | Rômulo Meira-Góes Ian Dardik Eunsuk Kang Stéphane Lafortune Stavros Tripakis | 2023/6/1 |
On tolerance of discrete systems with respect to transition perturbations | Discrete Event Dynamic Systems | Rômulo Meira-Góes Eunsuk Kang Stéphane Lafortune Stavros Tripakis | 2023/12 |
Robustification of behavioral designs against environmental deviations | Changjian Zhang Tarang Saluja Rômulo Meira-Góes Matthew Bolton David Garlan | 2023/5/14 | |
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints | ACM Transactions on Cyber-Physical Systems (TCPS) | Yi-Ting Hsieh Tzu-Tao Chang Chen-Jun Tsai Shih-Lun Wu Ching-Yuan Bai | 2023/6 |
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations | arXiv preprint arXiv:2311.07462 | Changjian Zhang Parv Kapoor Romulo Meira-Goes David Garlan Eunsuk Kang | 2023/11/13 |
On synthesizing tolerable and permissive controllers for labeled transition systems | IFAC-PapersOnLine | Rômulo Meira-Góes Eunsuk Kang Stéphane Lafortune Stavros Tripakis | 2022/1/1 |
Modeling and analysis of explanation for secure industrial control systems | ACM Transactions on Autonomous and Adaptive Systems | Sridhar Adepu Nianyu Li Eunsuk Kang David Garlan | 2022 |