Eunsuk Kang -

Registered user since Tue 24 Apr 2018

Name:Eunsuk Kang

Country:United States

Affiliation:Carnegie Mellon University

Personal website:https://eskang.github.io

Research interests:Software design, architecture, modeling, verification, safety, security.

Contributions

ICSE 2024	Committee Member in Research Track within the Research Track-track Committee Member in Software Engineering in Society within the Software Engineering in Society-track
FormaliSE 2023	Author of An Empirical Study Assessing Software Modeling in Alloy within the FormaliSE 2023-track
MODELS 2023	Committee Member in Program Committee within the Tutorials-track
ASE 2023	Committee Member in Program Committee within the Research Papers-track
ICSE 2023	Author of Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies within the SEET - Software Engineering Education and Training-track Author of Robustification of Behavioral Designs against Environmental Deviations within the Technical Track-track
SEAMS 2023	Author of Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening within the Research Track-track Author of Preference Adaptation: user satisfaction is all you need! within the Research Track-track
ESEC/FSE 2022	Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the ESEC/FSE 2021-track Author of A Behavioral Notion of Robustness for Software Systems within the ESEC/FSE 2020-track
ASE 2022	Session Chair of Technical Session 28 - Safety-Critical and Self-Adaptive Systems (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
ICSE 2022	Session Chair of BoF 9: Teaching Software Design (part of Birds of a Feather) Committee Member in Mentors within the SMeW - Student Mentoring Workshop-track Travel Grants Chair in Organizing Committee
SERP4IoT 2022	Author of A Proposal For An Architectural Model For Reconfigurability Quality Attribute Requirements For Industry 4.0 Middleware Software Architectures within the SERP4IoT 2022-track
ASE 2021	Committee Member in Program Committee within the Research Papers-track Session Chair of Automation (part of Research Papers)
ESEC/FSE 2021	Session Chair of Dependability—Dependability (part of Research Papers) Session Chair of Dependability—Dependability (part of Research Papers) Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the Research Papers-track
SPLASH 2020	Committee Member in Reviewers/Judges within the Student Research Competition-track
ESEC/FSE 2020	Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
ASE 2020	Committee Member in Program Committee within the Research Papers-track Session Chair of Formal Methods (2) (part of Research Papers) Author of Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems within the Research Papers-track
ICSE 2020	Author of Teaching Software Engineering for AI-Enabled Systems within the ICSE 2020 Posters-track Author of Teaching Software Engineering for AI-Enabled Systems within the Software Engineering Education and Training-track Author of Synthesis of Assurance Cases for Software Certification within the New Ideas and Emerging Results-track
SEAMS 2020	Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
SEAD 2019	Author of Challenges in Secure Engineering of Critical Infrastructure Systems within the SEAD 2019-track Committee Member in Program Committee within the SEAD 2019-track
ICSE 2019	Author of Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-Class within the New Ideas and Emerging Results-track Travel Grants Chair in Organizing Committee
FormaliSE 2019	Session Chair of Session 3 (part of FormaliSE 2019) Social Media Chair in Organizing Committee within the FormaliSE 2019-track Committee Member in Program Committee within the FormaliSE 2019-track
‹Programming› 2019	Committee Member in Program Committee within the Research Papers-track