Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
ICSE 2023 (series) / Eunsuk Kang
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

FormaliSE 2023 An Empirical Study Assessing Software Modeling in Alloy
ICSE 2023 Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies
Robustification of Behavioral Designs against Environmental Deviations
Show activities from other conferences

Using general profile