Improving the Usability of HOL Through Controlled Automation Tactics. - Eunsuk Kang; Mark D. Aagaard (TPHOLs, 2007)

Formal Modeling and Analysis of a Flash Filesystem in Alloy. - Eunsuk Kang; Daniel Jackson 001 (ABZ, 2008)

Designing and Analyzing a Flash File System with Alloy. - Eunsuk Kang; Daniel Jackson 001 (Int. J. Softw. Informatics, 2009)

A Structure for Dependability Arguments. - Daniel Jackson 001; Eunsuk Kang (ASM, 2010)

Components, platforms and possibilities: towards generic automation for MDA. - Ethan K. Jackson; Eunsuk Kang; Markus Dahlweid; Dirk Seifert; Thomas Santen (EMSOFT, 2010)

An Approach for Effective Design Space Exploration. - Eunsuk Kang; Ethan K. Jackson; Wolfram Schulte (Monterey Workshop, 2010)

Patterns for building dependable systems with trusted bases. - Eunsuk Kang; Daniel Jackson 001 (PLoP, 2010)

Dependability Arguments with Trusted Bases. - Eunsuk Kang; Daniel Jackson 001 (RE, 2010)

Separation of concerns for dependable software design. - Daniel Jackson 001; Eunsuk Kang (FoSER, 2010)

A lightweight code analysis and its role in evaluation of a dependability case. - Joseph P. Near; Aleksandar Milicevic; Eunsuk Kang; Daniel Jackson 001 (ICSE, 2011)

Adaptive Defending Strategy for Smart Grid Attacks. - Jianye Hao; Eunsuk Kang; Daniel Jackson 001; Jun Sun 001 (SEGS@CCS, 2014)

Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. - Hamid Bagheri; Eunsuk Kang; Sam Malek; Daniel Jackson 001 (FM, 2015)

Model-based security analysis of a water treatment system. - Eunsuk Kang; Sridhar Adepu; Daniel Jackson 001; Aditya P. Mathur (SEsCPS@ICSE, 2016)

Design Space Exploration for Security. - Eunsuk Kang (SecDev, 2016)

Designing minimal effective normative systems with the help of lightweight formal methods. - Jianye Hao; Eunsuk Kang; Jun Sun 001; Daniel Jackson 001 (SIGSOFT FSE, 2016)

Multi-representational security analysis. - Eunsuk Kang; Aleksandar Milicevic; Daniel Jackson 001 (SIGSOFT FSE, 2016)

Multi-representational security modeling and analysis. - Eunsuk Kang (2016)

Stealthy deception attacks for cyber-physical systems. - Romulo Meira Goes; Eunsuk Kang; Raymond H. Kwong; Stéphane Lafortune (CDC, 2017)

A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. - Hokeun Kim; Eunsuk Kang; Edward A. Lee; David Broman (IoTDI, 2017)

An Architectural Mechanism for Resilient IoT Services. - Hokeun Kim; Eunsuk Kang; David Broman; Edward A. Lee (SafeThings@SenSys, 2017)

Synthesis of Property-Preserving Mappings. - Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CoRR, 2017)

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. - 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; et al. (ACM SIGSOFT Softw. Eng. Notes, 2017)

Runtime monitoring for safety of intelligent vehicles. - Kosuke Watanabe; Eunsuk Kang; Chung-Wei Lin; Shinichi Shiraishi (DAC, 2018)

Network and system level security in connected vehicle applications. - Hengyi Liang; Matthew Jagielski; Bowen Zheng 001; Chung-Wei Lin; Eunsuk Kang; Shinichi Shiraishi; Cristina Nita-Rotaru; Qi Zhu 002 (ICCAD, 2018)

Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. - BaekGyu Kim; Chung-Wei Lin; Eunsuk Kang; Nobuyuki Tomatsu; Shinichi Shiraishi (ITSC, 2018)

Quotient for Assume-Guarantee Contracts. - Íñigo Íncer Romeo; Alberto L. Sangiovanni-Vincentelli; Chung-Wei Lin; Eunsuk Kang (MEMOCODE, 2018)

Digital Behavioral Twins for Safe Connected Cars. - Ximing Chen 001; Eunsuk Kang; Shinichi Shiraishi; Victor M. Preciado; Zhihao Jiang (MoDELS, 2018)

Property-Driven Runtime Resolution of Feature Interactions. - Santhana Gopalan Raghavan; Kosuke Watanabe; Eunsuk Kang; Chung-Wei Lin; Zhihao Jiang; Shinichi Shiraishi (RV, 2018)

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 (SAFECOMP, 2018)

A formal approach for detection of security flaws in the android permission system. - Hamid Bagheri; Eunsuk Kang; Sam Malek; Daniel Jackson 001 (Formal Aspects Comput., 2018)

An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers. - Jianye Hao; Eunsuk Kang; Jun Sun 001; Zan Wang; Zhaopeng Meng; Xiaohong Li 001; Zhong Ming 001 (IEEE Trans. Smart Grid, 2018)

Automated Synthesis of Secure Platform Mappings. - Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2019)

Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. - Chanwook Oh; Eunsuk Kang; Shinichi Shiraishi; Pierluigi Nuzzo 002 (DATE, 2019)

Trade-off-oriented development: making quality attribute trade-offs first-class. - Tobias Dürschmid; Eunsuk Kang; David Garlan (ICSE (NIER), 2019)

Challenges in Secure Engineering of Critical Infrastructure Systems. - Sridhar Adepu; Eunsuk Kang; Aditya P. Mathur (ASE Workshops, 2019)

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 (MSWiM, 2019)

A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification. - Muhammed O. Sayin; Chung-Wei Lin; Eunsuk Kang; Shinichi Shiraishi; Tamer Basar (CoRR, 2019)

Alloy*: a general-purpose higher-order relational constraint solver. - Aleksandar Milicevic; Joseph P. Near; Eunsuk Kang; Daniel Jackson 001 (Formal Methods Syst. Des., 2019)

Synthesis of assurance cases for software certification. - Hamid Bagheri; Eunsuk Kang; Niloofar Mansoor (ICSE (NIER), 2020)

Teaching software engineering for AI-enabled systems. - Christian Kästner; Eunsuk Kang (ICSE (SEET), 2020)

Explanations for human-on-the-loop: a probabilistic model checking approach. - Nianyu Li; Sridhar Adepu; Eunsuk Kang; David Garlan (SEAMS@ICSE, 2020)

Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. - Benjamin Gafford; Tobias Dürschmid; Gabriel A. Moreno; Eunsuk Kang (ASE, 2020)

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. - Maryam Bagheri 001; Edward A. Lee; Eunsuk Kang; Marjan Sirjani; Ehsan Khamespanah; Ali Movaghar 001 (MEMOCODE, 2020)

Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. - Shih-Lun Wu; Ching-Yuan Bai; Kai-Chieh Chang; Yi-Ting Hsieh 002; Chao Huang 015; Chung-Wei Lin; Eunsuk Kang; Qi Zhu 002 (RV, 2020)

Runtime-Safety-Guided Policy Repair. - Weichao Zhou; Ruihan Gao; BaekGyu Kim; Eunsuk Kang; Wenchao Li 001 (RV, 2020)

A behavioral notion of robustness for software systems. - Changjian Zhang; David Garlan; Eunsuk Kang (ESEC/SIGSOFT FSE, 2020)

Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. - Rômulo Meira-Góes; Eunsuk Kang; Raymond H. Kwong; Stéphane Lafortune (Autom., 2020)

Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. - Hokeun Kim; Eunsuk Kang; David Broman; Edward A. Lee (ACM Trans. Internet Things, 2020)

Reliable Smart Road Signs. - Muhammed O. Sayin; Chung-Wei Lin; Eunsuk Kang; Shinichi Shiraishi; Tamer Basar (IEEE Trans. Intell. Transp. Syst., 2020)

Self-Adaptation for Machine Learning Based Systems. - Maria Casimiro; Paolo Romano 002; David Garlan; Gabriel A. Moreno; Eunsuk Kang; Mark Klein 003 (ECSA (Companion), 2021)

Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. - Maria Casimiro; Paolo Romano 002; David Garlan; Gabriel A. Moreno; Eunsuk Kang; Mark Klein 003 (ECSA (Tracks and Workshops), 2021)

Engineering Secure Self-Adaptive Systems with Bayesian Games. - Nianyu Li; Mingyue Zhang 002; Eunsuk Kang; David Garlan (FASE, 2021)

Model-based clinical assist system for cardiac ablation. - Yutong Wu 006; Renzhi Tang; Eunsuk Kang; Zhihao Jiang (ICCPS, 2021)

The Role of Environmental Deviations in Engineering Robust Systems. - Eunsuk Kang (RE Workshops, 2021)

AlloyMax: bringing maximum satisfaction to relational specifications. - Changjian Zhang; Ryan Wagner; Pedro Orvalho; David Garlan; Vasco Manquinho; Ruben Martins; Eunsuk Kang (ESEC/SIGSOFT FSE, 2021)

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. - Mingyue Zhang 002; Nianyu Li; Sridhar Adepu; Eunsuk Kang; Zhi Jin (CoRR, 2021)

The current state of research on people, culture and cybersecurity. - Jongkil Jay Jeong; Gillian C. Oliver; Eunsuk Kang; Sadie Creese; Peter Thomas (Pers. Ubiquitous Comput., 2021)

A formal method for including the probability of erroneous human task behavior in system analyses. - Matthew L. Bolton; Xi Zheng; Eunsuk Kang (Reliab. Eng. Syst. Saf., 2021)

Artifact for Paper: On tolerance of discrete systems with respect to transition perturbations. - Rômulo Meira-Góes; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (Zenodo, 2021)

Reconfigurability For Industry 4.0 Middleware Software Architectures. - Sune Chung Jepsen; Torben Worm; Eunsuk Kang (COINS, 2022)

Mapping Synthesis for Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; Eunsuk Kang; Stavros Tripakis (CSF, 2022)

Requirements Engineering for Feedback Loops in Software-Intensive Systems. - Eunsuk Kang; Rômulo Meira-Góes (RE Workshops, 2022)

Feature Interactions on Steroids: On the Composition of ML Models. - Sven Apel; Christian Kästner; Eunsuk Kang (IEEE Softw., 2022)

Modeling and Analysis of Explanation for Secure Industrial Control Systems. - Sridhar Adepu; Nianyu Li; Eunsuk Kang; David Garlan (ACM Trans. Auton. Adapt. Syst., 2022)

Safe Environmental Envelopes of Discrete Systems. - Rômulo Meira-Góes; Ian Dardik; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2023)

Fortis: A Tool for Analysis and Repair of Robust Software Systems. - Changjian Zhang; Ian Dardik; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (FMCAD, 2023)

An Empirical Study Assessing Software Modeling in Alloy. - Niloofar Mansoor; Hamid Bagheri; Eunsuk Kang; Bonita Sharif (FormaliSE, 2023)

Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies. - Chun Yong Chong; Eunsuk Kang; Mary Shaw (SEET@ICSE, 2023)

Robustification of Behavioral Designs against Environmental Deviations. - Changjian Zhang; Tarang Saluja; Rômulo Meira-Góes; Matthew L. Bolton; David Garlan; Eunsuk Kang (ICSE, 2023)

Towards Safe ML-Based Systems in Presence of Feedback Loops. - Sumon Biswas; Yining She; Eunsuk Kang (SE4SafeML@SIGSOFT FSE, 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; Eunsuk Kang (SEAMS, 2023)

Preference Adaptation: user satisfaction is all you need! - Nianyu Li; Mingyue Zhang 002; Jialong Li 001; Eunsuk Kang; Kenji Tei (SEAMS, 2023)

Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. - Matthew L. Bolton; Svetlana Riabova; Yeonbin Son; Eunsuk Kang (SMC, 2023)

Task Model Design and Analysis with Alloy. - Alcino Cunha; Nuno Macedo 001; Eunsuk Kang (ABZ, 2023)

Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment. - BaekGyu Kim; Eunsuk Kang (IEEE Access, 2023)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. - Changjian Zhang; Parv Kapoor; Romulo Meira Goes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (CoRR, 2023)

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. - Yi-Ting Hsieh 002; Tzu-Tao Chang; Chen-Jun Tsai; Shih-Lun Wu; Ching-Yuan Bai; Kai-Chieh Chang; Chung-Wei Lin; Eunsuk Kang; Chao Huang 015; Qi Zhu 002 (ACM Trans. Cyber Phys. Syst., 2023)

On tolerance of discrete systems with respect to transition perturbations. - Rômulo Meira-Góes; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (Discret. Event Dyn. Syst., 2023)

User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. - Mingyue Zhang 002; Jialong Li 001; Nianyu Li; Eunsuk Kang; Kenji Tei (CHI Extended Abstracts, 2024)

Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. - Changjian Zhang; Parv Kapoor; Rômulo Meira-Góes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (FM (2), 2024)

Recomposition: A New Technique for Efficient Compositional Verification. - Ian Dardik; April Porter; Eunsuk Kang (FMCAD, 2024)

Contract-Driven Runtime Adaptation. - Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Florin Baiduc; Nejib Ammar (NFM, 2024)

Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. - Parv Kapoor; Eunsuk Kang; Rômulo Meira-Góes (NFM, 2024)

tl;dr: Chill, y'all: AI Will Not Devour SE. - Eunsuk Kang; Mary Shaw (Onward!, 2024)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. - Simon Chu; Justin Koe; David Garlan; Eunsuk Kang (SEAMS@ICSE, 2024)

Formal Modeling and Analysis of Apache Kafka in Alloy 6. - Saloni Sinha; Eunsuk Kang (ABZ, 2024)

Counterexample classification. - Cole Vick; Eunsuk Kang; Stavros Tripakis (Softw. Syst. Model., 2024)

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. - Nianyu Li; Mingyue Zhang 002; Jialong Li 001; Sridhar Adepu; Eunsuk Kang; Zhi Jin (ACM Trans. Auton. Adapt. Syst., 2024)

Report on the 1st International Workshop on Designing Software (Designing 2024). - Yuanfang Cai; Michel R. V. Chaudron; Eunsuk Kang; André van der Hoek (ACM SIGSOFT Softw. Eng. Notes, 2024)

2nd International Workshop on Designing Software - Designing 2025 -. - Yuanfang Cai; Michel R. V. Chaudron; Eunsuk Kang; André van der Hoek (Designing@ICSE, 2025)

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems. - Yining She; Sumon Biswas; Christian Kästner; Eunsuk Kang (ICSE, 2025)

Constrained LTL Specification Learning from Examples. - Changjian Zhang; Parv Kapoor; Ian Dardik; Leyi Cui; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (ICSE, 2025)

Pretrained Embeddings as a Behavior Specification Mechanism. - Parv Kapoor; Abigail Hammer; Ashish Kapoor; Karen Leung; Eunsuk Kang (CoRR, 2025)

Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid. - Parv Kapoor; Ian Higgins; Nikhil Varma Keetha; Jay Patrikar; Brady G. Moon; Zelin Ye; Yao He; Ivan Cisneros; Yaoyu Hu; Changliu Liu; Eunsuk Kang; Sebastian A. Scherer (CoRR, 2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification. - Parv Kapoor; Kazuki Mizuta; Eunsuk Kang; Karen Leung (IEEE Robotics Autom. Lett., 2025)