Eunsuk Kang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
49
Venues
25
Active years
2010–2026
Best venue rank
A*
Where they publish
- A*ICSE13 papers
- ASEAMS3 papers
- ARE3 papers
- BRV3 papers
- BSEFM2 papers
- BFM2 papers
- BFMCAD2 papers
- A*CAV2 papers
- BECSA2 papers
- CMEMOCODE2 papers
- BRTCSA1 paper
- A*CHI1 paper
- COnward1 paper
- BSMC1 paper
- BFASE1 paper
- ADATE1 paper
- AMSWIM1 paper
- A*DAC1 paper
- AICCAD1 paper
- AMODELS1 paper
- BSAFECOMP1 paper
- UnrankedSENSYS1 paper
- A*CCS1 paper
- Journal PublishedEMSOFT1 paper
- CPLOP1 paper
Papers
49 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSE | Towards Verifiably Safe Tool Use for LLM Agents. | Aarya Doshi, Yining Hong, Congying Xu, Eunsuk Kang, Alexandros Kapravelos, Christian Kstner |
| 2025 | ICSE | 2nd International Workshop on Designing Software - Designing 2025 -. | Yuanfang Cai, Michel R. V. Chaudron, Eunsuk Kang, Andr van der Hoek |
| 2025 | ICSE | FairSense: Long-Term Fairness Analysis of ML-Enabled Systems. | Yining She, Sumon Biswas, Christian Kstner, Eunsuk Kang |
| 2025 | ICSE | Constrained LTL Specification Learning from Examples. | Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2025 | RTCSA | Cycle-Removal-Based Priority Policies Coordination for Distributed Intelligent Intersection Management. | Kai-En Lin, Wan-Ling Weng, Eunsuk Kang, Chung-Wei Lin |
| 2025 | SEFM | Resilience of Systems Under Maximum Component Deviations. | Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan |
| 2024 | CHI | User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. | Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei |
| 2024 | FM | Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. | Changjian Zhang, Parv Kapoor, Rmulo Meira-Ges, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar |
| 2024 | FMCAD | Recomposition: A New Technique for Efficient Compositional Verification. | Ian Dardik, April Porter, Eunsuk Kang |
| 2024 | Onward | tl;dr: Chill, y'all: AI Will Not Devour SE. | Eunsuk Kang, Mary Shaw |
| 2024 | SEAMS | Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. | Simon Chu, Justin Koe, David Garlan, Eunsuk Kang |
| 2023 | CAV | Safe Environmental Envelopes of Discrete Systems. | Rmulo Meira-Ges, Ian Dardik, Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2023 | FMCAD | Fortis: A Tool for Analysis and Repair of Robust Software Systems. | Changjian Zhang, Ian Dardik, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2023 | ICSE | Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies. | Chun Yong Chong, Eunsuk Kang, Mary Shaw |
| 2023 | ICSE | Robustification of Behavioral Designs against Environmental Deviations. | Changjian Zhang, Tarang Saluja, Rmulo Meira-Ges, Matthew L. Bolton, David Garlan, Eunsuk Kang |
| 2023 | SMC | Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. | Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang |
| 2023 | SEAMS | Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. | Simon Chu, Emma Shedden, Changjian Zhang, Rmulo Meira-Ges, Gabriel A. Moreno, David Garlan, Eunsuk Kang |
| 2023 | SEAMS | Preference Adaptation: user satisfaction is all you need! | Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei |
| 2022 | RE | Requirements Engineering for Feedback Loops in Software-Intensive Systems. | Eunsuk Kang, Rmulo Meira-Ges |
| 2021 | ECSA | Self-Adaptation for Machine Learning Based Systems. | Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein |
| 2021 | ECSA | Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. | Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein |
| 2021 | FASE | Engineering Secure Self-Adaptive Systems with Bayesian Games. | Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan |
| 2021 | RE | The Role of Environmental Deviations in Engineering Robust Systems. | Eunsuk Kang |
| 2021 | SEFM | Counterexample Classification. | Cole Vick, Eunsuk Kang, Stavros Tripakis |
| 2020 | ICSE | Synthesis of assurance cases for software certification. | Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor |
| 2020 | ICSE | Teaching software engineering for AI-enabled systems. | Christian Kstner, Eunsuk Kang |
| 2020 | ICSE | Explanations for human-on-the-loop: a probabilistic model checking approach. | Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan |
| 2020 | MEMOCODE | Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. | Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar |
| 2020 | RV | Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. | Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu |
| 2020 | RV | Runtime-Safety-Guided Policy Repair. | Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li |
| 2019 | CAV | Automated Synthesis of Secure Platform Mappings. | Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2019 | DATE | Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. | Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo |
| 2019 | ICSE | Trade-off-oriented development: making quality attribute trade-offs first-class. | Tobias Drschmid, Eunsuk Kang, David Garlan |
| 2019 | MSWIM | A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility. | Huiye Liu, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Douglas M. Blough |
| 2018 | DAC | Runtime monitoring for safety of intelligent vehicles. | Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Shinichi Shiraishi |
| 2018 | ICCAD | Network and system level security in connected vehicle applications. | Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu |
| 2018 | MEMOCODE | Quotient for Assume-Guarantee Contracts. | igo ncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang |
| 2018 | MODELS | Digital Behavioral Twins for Safe Connected Cars. | Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang |
| 2018 | RV | Property-Driven Runtime Resolution of Feature Interactions. | Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi |
| 2018 | SAFECOMP | Safe and Secure Automotive Over-the-Air Updates. | Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng |
| 2017 | SENSYS | An Architectural Mechanism for Resilient IoT Services. | Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee |
| 2016 | ICSE | Model-based security analysis of a water treatment system. | Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur |
| 2015 | FM | Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. | Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson |
| 2015 | ICSE | Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. | Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson |
| 2014 | CCS | Adaptive Defending Strategy for Smart Grid Attacks. | Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun |
| 2011 | ICSE | A lightweight code analysis and its role in evaluation of a dependability case. | Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson |
| 2010 | EMSOFT | Components, platforms and possibilities: towards generic automation for MDA. | Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen |
| 2010 | PLOP | Patterns for building dependable systems with trusted bases. | Eunsuk Kang, Daniel Jackson |
| 2010 | RE | Dependability Arguments with Trusted Bases. | Eunsuk Kang, Daniel Jackson |