2023

• Safe Environmental Envelopes of Discrete Systems.
  Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, and Stavros Tripakis.
  International Conference on Computer-Aided Verification (CAV), 2023.
• Robustification of Behavioral Designs against Environmental Deviations.
  Changjian Zhang, Taranj Saluja, Rômulo Meira-Góes, Matthew Bolton, David Garlan, and Eunsuk Kang.
  International Conference on Software Engineering (ICSE), 2023.
• Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies.
  Chun Yong Chong, Eunsuk Kang, and Mary Shaw.
  International Conference on Software Engineering, Software Engineering Education and Training (ICSE-SEET), 2023.
• Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening.
  Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, and Eunsuk Kang.
  International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023.
• Preference Adaptation: User Satisfaction is All You Need!
  Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, and Kenji Tei.
  International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023.
• An Empirical Study Assessing Software Modeling in Alloy
  Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, and Bonita Sharif.
  International Conference on Formal Methods in Software Engineering (FormaliSE), 2023.
  Best Paper Award
• Task Model Design and Analysis with Alloy
  Alcino Cunha, Nuno Macedo, and Eunsuk Kang.
  International Conference on Rigorous State-Based Methods (ABZ), 2023.

2022

• Mapping Synthesis for Hyperproperties.
  Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, and Stavros Tripakis.
  IEEE Computer Security Foundations Symposium (CSF), 2022.
• Feature Interactions on Steroids: On the Composition of ML Models.
  Sven Apel, Christian Kästner, and Eunsuk Kang
  IEEE Software 39(3): 120-124, 2022.
• Requirements Engineering for Feedback Loops in Software-Intensive Systems.
  Eunsuk Kang and Rômulo Meira-Góes.
  RE Workshop on Environment-Driven Requirements Engineering (EnviRE), 2022.

2021

• AlloyMax: Bringing Maximum Satisfaction to Relational Specifications.
  Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, and Eunsuk Kang.
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021.
  ACM SIGSOFT Distinguished Paper Award
• Counterexample Classification.
  Cole Vick, Eunsuk Kang, and Stavros Tripakis.
  International Conference on Software Engineering and Formal Methods (SEFM), 2021.
• Model-based Clinical Assist System for Cardiac Ablation.
  Yutong Wu, Renzhi Tang, Eunsuk Kang, and Zhihao Jiang.
  ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2021.
  Finalist for the Best Paper Award
• Engineering Secure Self-Adaptive Systems with Bayesian Games.
  Nianyu Li, Mingyue Zhang, Eunsuk Kang, and David Garlan.
  Fundamental Approaches to Software Engineering (FASE), 2021.
• The Role of Environmental Deviations in Engineering Robust Systems.
  Eunsuk Kang.
  RE Workshop on Environment-Driven Requirements Engineering (EnviRE), 2021.
• A Formal Method for Including the Probability of Erroneous Human Task Behavior in System Analyses.
  Matthew L. Bolton, Xi Zheng, and Eunsuk Kang.
  Reliability Engineering and System Safety, 213: 107764, 2021.

2020

• A Behavioral Notion of Robustness for Software Systems.
  Changjian Zhang, David Garlan, and Eunsuk Kang.
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2020.
• Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems.
  Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno, and Eunsuk Kang.
  IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
• Teaching Software Engineering for AI-Enabled Systems.
  Christian Kästner and Eunsuk Kang.
  International Conference on Software Engineering, Software Engineering Education and Training (ICSE-SEET), 2020.
• Synthesis of Assurance Cases for Software Certification.
  Hamid Bagheri, Eunsuk Kang, and Niloofar Mansoor.
  International Conference on Software Engineering, New Ideas and Emerging Results (ICSE-NIER), 2020.
• Explanation for Human-on-the-loop: A Probabilistic Model Checking Approach.
  Nianyu Li, Sridhar Adepu, Eunsuk Kang, and David Garlan.
  International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2020.
• Runtime-Safety-Guided Policy Repair.
  Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, and Wenchao Li.
  International Conference on Runtime Verification (RV), 2020.
• 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, and Qi Zhu.
  International Conference on Runtime Verification (RV), 2020.
• Robustness analysis for secure software design.
  Eunsuk Kang.
  International Workshop on Software Security from Design to Deployment (SEAD), co-located with ASE, 2020.

2019

• Automated Synthesis of Secure Platform Mappings.
  Eunsuk Kang, Stéphane Lafortune, and Stavros Tripakis.
  International Conference on Computer-Aided Verification (CAV), 2019.
• Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design.
  Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, and Pierluigi Nuzzo.
  Design, Automation and Test in Europe (DATE), 2019.
• Challenges in Secure Engineering of Critical Infrastructure Systems.
  Sridhar Adepu, Eunsuk Kang, and Aditya P. Mathur.
  International Workshop on Software Security from Design to Deployment (SEAD), co-located with ASE, 2019.
• Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-Class.
  Tobias Dürschmid, Eunsuk Kang, and David Garlan.
  International Conference on Software Engineering, New Ideas and Emerging Results (ICSE-NIER), 2019.

2018

• Property-Driven Runtime Resolution of Feature Interactions.
  Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, and Shinichi Shiraishi.
  International Conference on Runtime Verification (RV), 2018.
• Quotient for Assume-Guarantee Contracts.
  Inigo Incer, Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, and Eunsuk Kang.
  International Conference on Formal Methods and Models for System Design (MEMOCODE), 2018.
• Runtime Monitoring for Safety of Intelligent Vehicles.
  Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, and Shinichi Shiraishi.
  Design Automation Conference (DAC), 2018 (invited paper).
• Digital Behavioral Twins for Safe Connected Cars.
  Ximing Chen, Zhihao Jiang, Eunsuk Kang, Shinichi Shiraishi, and Victor M. Preciado.
  International Conference on Model-Driven Engineering Languages and Systems (MODELS), 2018.
• Platform-Independent QoS Parameters and Primitive APIs for Automotive Software.
  BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, and Shinichi Shiraishi.
  International Conference on Intelligent Transportation Systems (ITSC), 2018.

2017

• Stealthy Deception Attacks for Cyber-Physical Systems.
  Rômulo Meira Goés, Eunsuk Kang, Raymond Kwong, and Stéphane Lafortune.
  IEEE Conference on Decision and Control (CDC), 2017.
• An Architectural Mechanism for Resilient IoT Services.
  Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman.
  ACM Workshop on the Internet of Safe Things (SafeThings), 2017.
• A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.
  Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman.
  ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), 2017.
  Best Paper Award

2016

• Multi-Representational Security Analysis.
  Eunsuk Kang, Aleksandar Milicevic, and Daniel Jackson.
  Symposium on the Foundations of Software Engineering (FSE), 2016.
  ACM SIGSOFT Distinguished Paper Award
• Designing Minimal Effective Normative Systems with the Help of Lightweight Formal Methods.
  Jianye Hao, Eunsuk Kang, Sun Jun, and Daniel Jackson.
  Symposium on the Foundations of Software Engineering (FSE), 2016.
• Design Space Exploration for Security.
  Eunsuk Kang.
  IEEE Conference on Cybersecurity Development (SecDev), 2016.
• Model-Based Security Analysis of a Water Treatment System.
  Eunsuk Kang, Sridhar Adepu, Daniel Jackson, and Aditya P. Mathur.
  ICSE Workshop on Smart Cyber-Physical Systems, 2016.

2015

• Alloy*: A Higher-order Relational Constraint Solver.
  Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang and Daniel Jackson.
  International Conference on Software Engineering (ICSE), 2015.
  ACM SIGSOFT Distinguished Paper Award
• Detection of Design Flaws in the Android Permission Protocol through Bounded Verification.
  Hamid Bagheri, Eunsuk Kang, Sam Malek, and Daniel Jackson.
  International Symposium on Formal Methods (FM), 2015.

Before 2015

• Adaptive Defending Strategy for Smart Grid Attacks.
  Jianye Hao, Eunsuk Kang, Daniel Jackson, and Jun Sun.
  Workshop on Smart Energy Grid Security, CCS, 2014.
• A Model-Based Framework for Security Configuration Analysis.
  Eunsuk Kang and Daniel Jackson.
  Manuscript, 2012.
• A Lightweight Code Analysis and Its Role in Evaluation of a Dependability Case.
  Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang and Daniel Jackson.
  International Conference on Software Engineering (ICSE), 2011.
• Dependability Arguments with Trusted Bases.
  Eunsuk Kang and Daniel Jackson.
  International Conference on Requirements Engineering (RE), 2010.
• Separation of Concerns for Dependable Software Design.
  Daniel Jackson and Eunsuk Kang.
  FSE Workshop on the Future of Software Engineering Research, 2010.
• Components, Platforms, and Possibilities: Towards Generic Automation for MDA.
  Ethan Jackson, Eunsuk Kang, Dirk Seifert, Markus Dahlweid, and Thomas Santen.
  International Conference on Embedded Software (EMSOFT), 2010.
• Patterns for Dependable Systems with Trusted Bases.
  Eunsuk Kang and Daniel Jackson.
  Pattern Languages of Programs Conference (PLOP), 2010.
• An Approach for Effective Design Space Exploration.
  Eunsuk Kang, Ethan Jackson, and Wolfram Schulte.
  Monterey Workshop on Software Systems, 2010.
• Property-Part Diagrams: A Dependence Notation for Software systems.
  Daniel Jackson and Eunsuk Kang.
  Software Design and Requirements: The Work of Michael Jackson, 2010.
• Formal Modeling and Analysis of a Flash Filesystem.
  Eunsuk Kang and Daniel Jackson.
  International Conference on ASM, B, and Z (ABZ), 2008.
  An extended version in the International Journal of Software and Informatics, Vol. 3, No. 2, 2009.
• Improving the Usability of HOL through Controlled Automation Tactics.
  Eunsuk Kang and Mark Aagaard.
  International Conference on Theorem Proving in Higher Order Logics (TPHOLs), 2007.