Eunsuk Kang - RankMe

124 papers A* 7A 8B 12C 6Misc 1Journal 50Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Counterexample Classification against Signal Temporal Logic Specifications. CoRR Zhenya Zhang, Parv Kapoor, Jie An, Eunsuk Kang
2026	J	`jnl`	Towards Verifiably Safe Tool Use for LLM Agents. CoRR Aarya Doshi, Yining Hong, Congying Xu, Eunsuk Kang, Alexandros Kapravelos, Christian Kästner
2025	—	`conf`	2nd International Workshop on Designing Software - Designing 2025 -. Designing@ICSE Yuanfang Cai, Michel R. V. Chaudron, Eunsuk Kang, André van der Hoek
2025	J	`jnl`	Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning. CoRR Ian Dardik, Eunsuk Kang
2025	J	`jnl`	Constrained Decoding for Robotics Foundation Models. CoRR Parv Kapoor, Akila Ganlath, Michael Clifford, Changliu Liu, Sebastian A. Scherer, Eunsuk Kang
2025	A*	`conf`	Constrained LTL Specification Learning from Examples. ICSE Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2025	B	`conf`	Cycle-Removal-Based Priority Policies Coordination for Distributed Intelligent Intersection Management. RTCSA Kai-En Lin, Wan-Ling Weng, Eunsuk Kang, Chung-Wei Lin
2025	J	`jnl`	Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid. CoRR 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
2025	A*	`conf`	FairSense: Long-Term Fairness Analysis of ML-Enabled Systems. ICSE Yining She, Sumon Biswas, Christian Kästner, Eunsuk Kang
2025	J	`jnl`	FairSense: Long-Term Fairness Analysis of ML-Enabled Systems. CoRR Yining She, Sumon Biswas, Christian Kästner, Eunsuk Kang
2025	A*	`conf`	Human-In-The-Loop Oracle Learning for Simulation-Based Testing. ASE Ben-Hau Chia, Eunsuk Kang, Christopher Steven Timperley
2025	J	`jnl`	Pretrained Embeddings as a Behavior Specification Mechanism. CoRR Parv Kapoor, Abigail Hammer, Ashish Kapoor, Karen Leung, Eunsuk Kang
2025	J	`jnl`	RAG Makes Guardrails Unsafe? Investigating Robustness of Guardrails under RAG-style Contexts. CoRR Yining She, Daniel W. Peterson, Marianne Menglin Liu, Vikas Upadhyay, Mohammad Hossein Chaghazardi, Eunsuk Kang, Dan Roth
2025	J	`jnl`	Report on the 2nd International Workshop on DesigningSoftware (Designing 2025). ACM SIGSOFT Softw. Eng. Notes Yuanfang Cai, Michel R. V. Chaudron, Eunsuk Kang, André van der Hoek
2025	B	`conf`	Resilience of Systems Under Maximum Component Deviations. SEFM Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan
2025	J	`jnl`	STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification. CoRR Parv Kapoor, Kazuki Mizuta, Eunsuk Kang, Karen Leung
2025	J	`jnl`	STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification. IEEE Robotics Autom. Lett. Parv Kapoor, Kazuki Mizuta, Eunsuk Kang, Karen Leung
2025	J	`jnl`	Validation of a Formal Method for Human Error Rate Prediction With Negative Transfer. IEEE Trans. Hum. Mach. Syst. Yeonbin Son, Matthew L. Bolton, Emma Crooks, Hannah Palmer, Eunsuk Kang, Christopher Daly
2024	J	`jnl`	A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. ACM Trans. Auton. Adapt. Syst. Nianyu Li, Mingyue Zhang, Jialong Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin
2024	J	`jnl`	Constrained LTL Specification Learning from Examples. CoRR Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira Goes, David Garlan, Eunsuk Kang
2024	—	`conf`	Contract-Driven Runtime Adaptation. NFM Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Florin Baiduc, Nejib Ammar
2024	J	`jnl`	Counterexample classification. Softw. Syst. Model. Cole Vick, Eunsuk Kang, Stavros Tripakis
2024	C	`conf`	Formal Modeling and Analysis of Apache Kafka in Alloy 6. ABZ Saloni Sinha, Eunsuk Kang
2024	—	`conf`	Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. SEAMS@ICSE Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
2024	J	`jnl`	Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. CoRR Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
2024	B	`conf`	Recomposition: A New Technique for Efficient Compositional Verification. FMCAD Ian Dardik, April Porter, Eunsuk Kang
2024	J	`jnl`	Recomposition: A New Technique for Efficient Compositional Verification. CoRR Ian Dardik, April Porter, Eunsuk Kang
2024	J	`jnl`	Report on the 1st International Workshop on Designing Software (Designing 2024). ACM SIGSOFT Softw. Eng. Notes Yuanfang Cai, Michel R. V. Chaudron, Eunsuk Kang, André van der Hoek
2024	—	`conf`	Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. NFM Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
2024	J	`jnl`	Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications. CoRR Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
2024	—	`conf`	Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. FM (2) Changjian Zhang, Parv Kapoor, Rômulo Meira-Góes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2024	J	`jnl`	Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. CoRR Changjian Zhang, Parv Kapoor, Eunsuk Kang, Romulo Meira Goes, David Garlan, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2024	—	`conf`	User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. CHI Extended Abstracts Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei
2024	J	`jnl`	User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences. CoRR Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei
2024	—	`conf`	tl;dr: Chill, y'all: AI Will Not Devour SE. Onward! Eunsuk Kang, Mary Shaw
2024	J	`jnl`	tl;dr: Chill, y'all: AI Will Not Devour SE. CoRR Eunsuk Kang, Mary Shaw
2023	—	`conf`	An Empirical Study Assessing Software Modeling in Alloy. FormaliSE Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif
2023	B	`conf`	Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2023	J	`jnl`	Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. CoRR Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2023	B	`conf`	Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. SMC Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang
2023	J	`jnl`	On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023	—	`conf`	Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies. SEET@ICSE Chun Yong Chong, Eunsuk Kang, Mary Shaw
2023	J	`jnl`	Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies. CoRR Chun Yong Chong, Eunsuk Kang, Mary Shaw
2023	A	`conf`	Preference Adaptation: user satisfaction is all you need! SEAMS Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei
2023	A*	`conf`	Robustification of Behavioral Designs against Environmental Deviations. ICSE Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
2023	A	`conf`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023	J	`jnl`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023	—	`conf`	Safe Environmental Envelopes of Discrete Systems. CAV (1) Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023	J	`jnl`	Safe Environmental Envelopes of Discrete Systems. CoRR Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023	J	`jnl`	System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. ACM Trans. Cyber Phys. Syst. 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
2023	C	`conf`	Task Model Design and Analysis with Alloy. ABZ Alcino Cunha, Nuno Macedo, Eunsuk Kang
2023	J	`jnl`	Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment. IEEE Access BaekGyu Kim, Eunsuk Kang
2023	—	`conf`	Towards Safe ML-Based Systems in Presence of Feedback Loops. SE4SafeML@SIGSOFT FSE Sumon Biswas, Yining She, Eunsuk Kang
2022	J	`jnl`	Feature Interactions on Steroids: On the Composition of ML Models. IEEE Softw. Sven Apel, Christian Kästner, Eunsuk Kang
2022	A	`conf`	Mapping Synthesis for Hyperproperties. CSF Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
2022	J	`jnl`	Modeling and Analysis of Explanation for Secure Industrial Control Systems. ACM Trans. Auton. Adapt. Syst. Sridhar Adepu, Nianyu Li, Eunsuk Kang, David Garlan
2022	—	`conf`	Reconfigurability For Industry 4.0 Middleware Software Architectures. COINS Sune Chung Jepsen, Torben Worm, Eunsuk Kang
2022	—	`conf`	Requirements Engineering for Feedback Loops in Software-Intensive Systems. RE Workshops Eunsuk Kang, Rômulo Meira-Góes
2021	J	`jnl`	A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. CoRR Mingyue Zhang, Nianyu Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin
2021	J	`jnl`	A formal method for including the probability of erroneous human task behavior in system analyses. Reliab. Eng. Syst. Saf. Matthew L. Bolton, Xi Zheng, Eunsuk Kang
2021	—	`conf`	AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
2021	B	`conf`	Counterexample Classification. SEFM Cole Vick, Eunsuk Kang, Stavros Tripakis
2021	J	`jnl`	Counterexample Classification. CoRR Cole Vick, Eunsuk Kang, Stavros Tripakis
2021	B	`conf`	Engineering Secure Self-Adaptive Systems with Bayesian Games. FASE Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan
2021	J	`jnl`	Feature Interactions on Steroids: On the Composition of ML Models. CoRR Christian Kästner, Eunsuk Kang, Sven Apel
2021	—	`conf`	Model-based clinical assist system for cardiac ablation. ICCPS Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
2021	J	`jnl`	On tolerance of discrete systems with respect to transition perturbations. CoRR Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2021	—	`conf`	Self-Adaptation for Machine Learning Based Systems. ECSA (Companion) Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
2021	—	`conf`	Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. ECSA (Tracks and Workshops) Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein
2021	—	`conf`	The Role of Environmental Deviations in Engineering Robust Systems. RE Workshops Eunsuk Kang
2021	J	`jnl`	The current state of research on people, culture and cybersecurity. Pers. Ubiquitous Comput. Jongkil Jay Jeong, Gillian C. Oliver, Eunsuk Kang, Sadie Creese, Peter Thomas
2020	—	`conf`	A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE Changjian Zhang, David Garlan, Eunsuk Kang
2020	B	`conf`	Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. RV Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu
2020	—	`conf`	Explanations for human-on-the-loop: a probabilistic model checking approach. SEAMS@ICSE Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan
2020	C	`conf`	Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2020	J	`jnl`	Reliable Smart Road Signs. IEEE Trans. Intell. Transp. Syst. Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar
2020	J	`jnl`	Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2020	B	`conf`	Runtime-Safety-Guided Policy Repair. RV Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li
2020	J	`jnl`	Runtime-Safety-Guided Policy Repair. CoRR Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li
2020	J	`jnl`	Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems. CoRR Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
2020	—	`conf`	Synthesis of assurance cases for software certification. ICSE (NIER) Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor
2020	J	`jnl`	Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. Autom. Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
2020	A*	`conf`	Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. ASE Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno, Eunsuk Kang
2020	J	`jnl`	Teaching Software Engineering for AI-Enabled Systems. CoRR Christian Kästner, Eunsuk Kang
2020	—	`conf`	Teaching software engineering for AI-enabled systems. ICSE (SEET) Christian Kästner, Eunsuk Kang
2019	A	`conf`	A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility. MSWiM Huiye Liu, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Douglas M. Blough
2019	J	`jnl`	A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification. CoRR Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar
2019	J	`jnl`	Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
2019	—	`conf`	Automated Synthesis of Secure Platform Mappings. CAV (1) Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2019	—	`conf`	Challenges in Secure Engineering of Critical Infrastructure Systems. ASE Workshops Sridhar Adepu, Eunsuk Kang, Aditya P. Mathur
2019	A	`conf`	Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. DATE Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo
2019	—	`conf`	Trade-off-oriented development: making quality attribute trade-offs first-class. ICSE (NIER) Tobias Dürschmid, Eunsuk Kang, David Garlan
2018	J	`jnl`	A formal approach for detection of security flaws in the android permission system. Formal Aspects Comput. Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
2018	J	`jnl`	An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers. IEEE Trans. Smart Grid Jianye Hao, Eunsuk Kang, Jun Sun, Zan Wang, Zhaopeng Meng, Xiaohong Li, Zhong Ming
2018	A	`conf`	Digital Behavioral Twins for Safe Connected Cars. MoDELS Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang
2018	A	`conf`	Network and system level security in connected vehicle applications. ICCAD Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu
2018	—	`conf`	Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. ITSC BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, Shinichi Shiraishi
2018	B	`conf`	Property-Driven Runtime Resolution of Feature Interactions. RV Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi
2018	C	`conf`	Quotient for Assume-Guarantee Contracts. MEMOCODE Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang
2018	A*	`conf`	Runtime monitoring for safety of intelligent vehicles. DAC Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Shinichi Shiraishi
2018	B	`conf`	Safe and Secure Automotive Over-the-Air Updates. SAFECOMP Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng
2017	—	`conf`	A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman
2017	—	`conf`	An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2017	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes 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
2017	—	`conf`	Stealthy deception attacks for cyber-physical systems. CDC Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
2017	J	`jnl`	Synthesis of Property-Preserving Mappings. CoRR Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2016	—	`conf`	Design Space Exploration for Security. SecDev Eunsuk Kang
2016	—	`conf`	Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson
2016	—	`conf`	Model-based security analysis of a water treatment system. SEsCPS@ICSE Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur
2016	—	`conf`	Multi-representational security analysis. SIGSOFT FSE Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson
2016	—	`—`	Multi-representational security modeling and analysis. Eunsuk Kang
2015	—	`conf`	Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
2015	B	`conf`	Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. FM Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
2014	—	`conf`	Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun
2011	A*	`conf`	A lightweight code analysis and its role in evaluation of a dependability case. ICSE Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson
2010	—	`conf`	A Structure for Dependability Arguments. ASM Daniel Jackson, Eunsuk Kang
2010	—	`conf`	An Approach for Effective Design Space Exploration. Monterey Workshop Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte
2010	Misc	`conf`	Components, platforms and possibilities: towards generic automation for MDA. EMSOFT Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen
2010	A	`conf`	Dependability Arguments with Trusted Bases. RE Eunsuk Kang, Daniel Jackson
2010	C	`conf`	Patterns for building dependable systems with trusted bases. PLoP Eunsuk Kang, Daniel Jackson
2010	—	`conf`	Separation of concerns for dependable software design. FoSER Daniel Jackson, Eunsuk Kang
2009	J	`jnl`	Designing and Analyzing a Flash File System with Alloy. Int. J. Softw. Informatics Eunsuk Kang, Daniel Jackson
2008	C	`conf`	Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ Eunsuk Kang, Daniel Jackson
2007	—	`conf`	Improving the Usability of HOL Through Controlled Automation Tactics. TPHOLs Eunsuk Kang, Mark D. Aagaard