Eunsuk Kang

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 86

Top Venues

CoRR

NFM

CAV (1)

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. CoRR (2024)
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. NFM (2024)
Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Florin Baiduc, Nejib Ammar
Contract-Driven Runtime Adaptation. NFM (2024)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample classification. Softw. Syst. Model. 23 (2) (2024)
Nianyu Li, Mingyue Zhang, Jialong Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. ACM Trans. Auton. Adapt. Syst. 19 (2) (2024)
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications. CoRR (2024)
Yuanfang Cai, Michel R. V. Chaudron, Eunsuk Kang, André van der Hoek
Report on the 1st International Workshop on Designing Software (Designing 2024). ACM SIGSOFT Softw. Eng. Notes 49 (3) (2024)
Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. SEAMS@ICSE (2024)
Changjian Zhang, Parv Kapoor, Eunsuk Kang, Romulo Meira-Goes, David Garlan, Akila Ganlath, Shatadal Mishra, Nejib Ammar
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. CoRR (2024)
Saloni Sinha, Eunsuk Kang
Formal Modeling and Analysis of Apache Kafka in Alloy 6. ABZ (2024)
Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. CoRR (2024)
Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. CHI Extended Abstracts (2024)
Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. CoRR (2023)
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD (2023)
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS (2023)
Alcino Cunha, Nuno Macedo, Eunsuk Kang
Task Model Design and Analysis with Alloy. ABZ (2023)
BaekGyu Kim, Eunsuk Kang
Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment. IEEE Access 11 (2023)
Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang
Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. SMC (2023)
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CAV (1) (2023)
Yi-Ting Hsieh, Tzu-Tao Chang, Chen-Jun Tsai, Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Chung-Wei Lin, Eunsuk Kang, Chao Huang, Qi Zhu
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. ACM Trans. Cyber Phys. Syst. 7 (3) (2023)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. 33 (4) (2023)
Sumon Biswas, Yining She, Eunsuk Kang
Towards Safe ML-Based Systems in Presence of Feedback Loops. SE4SafeML@SIGSOFT FSE (2023)
Chun Yong Chong, Eunsuk Kang, Mary Shaw
Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies. CoRR (2023)
Chun Yong Chong, Eunsuk Kang, Mary Shaw
Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies. SEET@ICSE (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CoRR (2023)
Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif
An Empirical Study Assessing Software Modeling in Alloy. FormaliSE (2023)
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
Robustification of Behavioral Designs against Environmental Deviations. ICSE (2023)
Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei
Preference Adaptation: user satisfaction is all you need! SEAMS (2023)
Eunsuk Kang, Rômulo Meira-Góes
Requirements Engineering for Feedback Loops in Software-Intensive Systems. RE Workshops (2022)
Sridhar Adepu, Nianyu Li, Eunsuk Kang, David Garlan
Modeling and Analysis of Explanation for Secure Industrial Control Systems. ACM Trans. Auton. Adapt. Syst. 17 (3-4) (2022)
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
Mapping Synthesis for Hyperproperties. CSF (2022)
Sune Chung Jepsen, Torben Worm, Eunsuk Kang
Reconfigurability For Industry 4.0 Middleware Software Architectures. COINS (2022)
Sven Apel, Christian Kästner, Eunsuk Kang
Feature Interactions on Steroids: On the Composition of ML Models. IEEE Softw. 39 (3) (2022)
Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
Self-Adaptation for Machine Learning Based Systems. ECSA (Companion) (2021)
Matthew L. Bolton, Xi Zheng, Eunsuk Kang
A formal method for including the probability of erroneous human task behavior in system analyses. Reliab. Eng. Syst. Saf. 213 (2021)
Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
Model-based clinical assist system for cardiac ablation. ICCPS (2021)
Eunsuk Kang
The Role of Environmental Deviations in Engineering Robust Systems. RE Workshops (2021)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample Classification. SEFM (2021)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. CoRR (2021)
Jongkil Jay Jeong, Gillian Oliver, Eunsuk Kang, Sadie Creese, Peter Thomas
The current state of research on people, culture and cybersecurity. Pers. Ubiquitous Comput. 25 (5) (2021)
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE (2021)
Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. ECSA (Tracks and Workshops) (2021)
Christian Kästner, Eunsuk Kang, Sven Apel
Feature Interactions on Steroids: On the Composition of ML Models. CoRR (2021)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample Classification. CoRR (2021)
Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan
Engineering Secure Self-Adaptive Systems with Bayesian Games. FASE (2021)
Mingyue Zhang, Nianyu Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. CoRR (2021)
Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. RV (2020)
Christian Kästner, Eunsuk Kang
Teaching software engineering for AI-enabled systems. ICSE (SEET) (2020)
Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar
Reliable Smart Road Signs. IEEE Trans. Intell. Transp. Syst. 21 (12) (2020)
Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan
Explanations for human-on-the-loop: a probabilistic model checking approach. SEAMS@ICSE (2020)
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems. CoRR (2020)
Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. Autom. 121 (2020)
Christian Kästner, Eunsuk Kang
Teaching Software Engineering for AI-Enabled Systems. CoRR (2020)
Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor
Synthesis of assurance cases for software certification. ICSE (NIER) (2020)
Changjian Zhang, David Garlan, Eunsuk Kang
A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE (2020)
Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things 1 (1) (2020)
Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li
Runtime-Safety-Guided Policy Repair. CoRR (2020)
Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno, Eunsuk Kang
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. ASE (2020)
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE (2020)
Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li
Runtime-Safety-Guided Policy Repair. RV (2020)
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Automated Synthesis of Secure Platform Mappings. CAV (1) (2019)
Huiye Liu, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Douglas M. Blough
A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility. MSWiM (2019)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. 55 (1) (2019)
Sridhar Adepu, Eunsuk Kang, Aditya P. Mathur
Challenges in Secure Engineering of Critical Infrastructure Systems. ASE Workshops (2019)
Tobias Dürschmid, Eunsuk Kang, David Garlan
Trade-off-oriented development: making quality attribute trade-offs first-class. ICSE (NIER) (2019)
Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo
Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. DATE (2019)
Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar
A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification. CoRR (2019)
Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
A formal approach for detection of security flaws in the android permission system. Formal Aspects Comput. 30 (5) (2018)
BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, Shinichi Shiraishi
Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. ITSC (2018)
Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang
Quotient for Assume-Guarantee Contracts. MEMOCODE (2018)
Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi
Property-Driven Runtime Resolution of Feature Interactions. RV (2018)
Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu
Network and system level security in connected vehicle applications. ICCAD (2018)
Jianye Hao, Eunsuk Kang, Jun Sun, Zan Wang, Zhaopeng Meng, Xiaohong Li, Zhong Ming
An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers. IEEE Trans. Smart Grid 9 (4) (2018)
Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang
Digital Behavioral Twins for Safe Connected Cars. MoDELS (2018)
Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng
Safe and Secure Automotive Over-the-Air Updates. SAFECOMP (2018)
Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Shinichi Shiraishi
Runtime monitoring for safety of intelligent vehicles. DAC (2018)
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Synthesis of Property-Preserving Mappings. CoRR (2017)
Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys (2017)
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Stealthy deception attacks for cyber-physical systems. CDC (2017)
Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI (2017)
Tomás Bures, Danny Weyns, Bradley R. Schmerl, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes 42 (2) (2017)
Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson
Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE (2016)
Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur
Model-based security analysis of a water treatment system. SEsCPS@ICSE (2016)
Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson
Multi-representational security analysis. SIGSOFT FSE (2016)
Eunsuk Kang
Design Space Exploration for Security. SecDev (2016)
Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. FM (2015)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) (2015)
Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun
Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS (2014)
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson
A lightweight code analysis and its role in evaluation of a dependability case. ICSE (2011)
Eunsuk Kang, Daniel Jackson
Dependability Arguments with Trusted Bases. RE (2010)
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen
Components, platforms and possibilities: towards generic automation for MDA. EMSOFT (2010)
Daniel Jackson, Eunsuk Kang
Separation of concerns for dependable software design. FoSER (2010)
Daniel Jackson, Eunsuk Kang
A Structure for Dependability Arguments. ASM (2010)
Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte
An Approach for Effective Design Space Exploration. Monterey Workshop (2010)
Eunsuk Kang, Daniel Jackson
Patterns for building dependable systems with trusted bases. PLoP (2010)
Eunsuk Kang, Daniel Jackson
Designing and Analyzing a Flash File System with Alloy. Int. J. Softw. Informatics 3 (2-3) (2009)
Eunsuk Kang, Daniel Jackson
Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ (2008)
Eunsuk Kang, Mark D. Aagaard
Improving the Usability of HOL Through Controlled Automation Tactics. TPHOLs (2007)

Eunsuk Kang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eunsuk Kang