Skip to main content

Sang-Woon Min

Korea Advanced Institute of Science and Technology · Engineering

About the Lab

Professor Sang-Woon Min's research lab specializes in software engineering and civil infrastructure systems, with a focus on systematic process modeling, software reengineering, and risk management in tunneling and construction projects. The lab develops formal methods for process standardization and verification using activity-artifact graphs (AAG), and applies advanced analytical techniques such as Fault Tree Analysis (FTA) and Analytic Hierarchy Process (AHP) to assess risks in shield TBM (Tunnel Boring Machine) tunneling. The lab also emphasizes the integration of reverse and forward engineering in object-oriented rearchitecting to modernize legacy systems and improve system evolvability. These interdisciplinary efforts bridge software engineering methodologies with civil engineering applications, particularly in infrastructure safety and project management.

software reengineeringrisk managementTBM tunnelingprocess modelingFTA-AHP integration

Research Overview

Papers
21
Total Citations
483
Papers (5y)
9
Primary Field
Engineering

Research Output Trend

Figures are computed from collected data and may differ slightly.

Publications per year (5y)
9total
2011
2012
2015
2016
2018
Citations per year (5y)
292total
20112012201520162018

Selected Papers

15
1
Article|254 citations·2015
Risk analysis using fault-tree analysis (FTA) and analytic hierarchy process (AHP) applicable to shield TBM tunnels
Ki-Chang Hyun, Sang-Yoon Min, Hangseok Choi, Jeongjun Park, In-Mo Lee
SJR Q1Tunnelling and Underground Space Technology
Civil and Structural EngineeringEngineering
2
Book Chapter|121 citations·1999
Safety Verification of ADA95 Programs Using Software Fault Trees
Sang-Yoon Min, Yoonkyu Jang, Sungdeok Cha, Yong‐Rae Kwon, Doo‐Hwan Bae
SJR Q2Lecture notes in computer science
SoftwareComputer Science
3
Article|41 citations·2005
Tailoring and verifying software process
Ilchul Yoon, Sang-Yoon Min, Doo‐Hwan Bae

Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities are based on the process standard. However, existing research does not provide a systematic method for process tailoring and verification. In this paper, we propose a systematic method for formalizing a process standard clearly with encapsulated reusable process modules for tailoring and verifying tailored process. AAG (

Management Information SystemsBusiness, Management and Accounting
4
Article|29 citations·2015
Resource scheduling and planning for tunneling with a new resource model of the Decision Aids for Tunneling (DAT)
Sang-Yoon Min, Herbert H. Einstein
SJR Q1Tunnelling and Underground Space Technology
Management Science and Operations ResearchDecision Sciences
5
dissertation|8 citations·2003
The application of "Decision Aids for Tunneling (DAT)" to the Sucheon tunnel in Korea
Sang-Yoon Min
DSpace@MIT (Massachusetts Institute of Technology)OA

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2003.

Civil and Structural EngineeringEngineering
6
dissertation|7 citations·2008
Development of the resource model for the Decision Aids for Tunneling (DAT)
Sang-Yoon Min
DSpace@MIT (Massachusetts Institute of Technology)OA

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2008.

Civil and Structural EngineeringEngineering
7
Article|6 citations·2002
Object-oriented model refinement technique in software reengineering
Wei-Jin Park, Sang-Yoon Min, Doo‐Hwan Bae, Pyeongsoo Mah

Software reengineering for object-oriented rearchitecturing offers an exciting opportunity in migrating old legacy systems to evolvable systems in a disciplined manner. In the twofold-strategy software reengineering for object-oriented rearchitecturing, one of the problems to be solved is to derive a proper object-oriented model from the output of reverse engineering and the output of forward engineering. In general, the outputs of forward and reverse engineering can be inconsistent in their abs

Information SystemsComputer Science
8
Article|6 citations·2012
Risk management applicable to shield TBM tunnel: I. Risk factor analysis
Ki-Chang Hyun, Sang-Yoon Min, Joon-Bai Moon, Gyeong-Hwan Jeong, In-Mo Lee
Journal of Korean Tunnelling and Underground Space AssociationOA

일반적으로 리스크 관리는 리스크 확인, 리스크 분석, 리스크 평가, 리스크 대책, 리스크 재평가를 포함하는 일련의 과정으로 구성된다. 본 논문에서는 쉴드 TBM 터널에서 발생 가능한 리스크 요인들을 여러 문헌 자료와 워크샵을 바탕으로 조사하였다. 리스크 요인들은 지질 요인, 설계 요인, 시공 관리 요인으로 구분되었다. Fault Tree도는 리스크들을 커터, 기계 구속, 배토(굴진), 세그먼트과 관련된 4그룹으로 분류하여 작성되었다. FT도로부터 12가지 리스크 아이템을 확인하고 각각의 발생확률을 구하였다. In general, risk management consists of a series of processes or steps including risk identification, risk analysis, risk evaluation, risk mitigation measures, and risk re-evaluation. In this paper, potential risk

Civil and Structural EngineeringEngineering
9
Book Chapter|3 citations·2006
Dimensions of Composition Models for Supporting Software Evolution
In-Gyu Kim, Tegegne Marew, Doo‐Hwan Bae, Jang‐Eui Hong, Sang-Yoon Min
SJR Q2Lecture notes in computer science
Artificial IntelligenceComputer Science
10
Book Chapter|3 citations·1999
Aspect-Oriented Design (AOD) Technique for Developing Distributed Object-Oriented Systems over the Internet
Joon‐Sang Lee, Sang-Yoon Min, Doo‐Hwan Bae
SJR Q2Lecture notes in computer science
Artificial IntelligenceComputer Science
11
Article|2 citations·2012
Risk management applicable to shield TBM tunnel: II. Risk analysis methodology
Ki-Chang Hyun, Sang-Yoon Min, Joon-Bai Moon, Gyeong-Hwan Jeong, In-Mo Lee
Journal of Korean Tunnelling and Underground Space AssociationOA

본 논문에서는 쉴드 TBM 터널에서 적용 가능한 리스크 분석 방법을 연구하였다. FTA 방법을 통해 리스크 아이템과 각각의 발생확률을 확인하고 AHP 방법을 통해 각각의 리스크 아이템의 영향도를 구하였다. 마지막으로 각각의 리스크 아이템의 리스크 레벨을 평가할 수 있었다. 개발된 방법을 EPB 쉴드 터널이 사용된 서울 지하철 현장에 적용하여 리스크 분석 결과가 현장 데이터에 부합하는 합리적 결과임을 검증하였다. In this paper, a risk analysis methodology applicable to shield TBM tunnels was studied. Fault Tree Analysis (FTA) was utilized to identify all risk items and to calculate the probability of failure of each item and Analytic Hierarchy Process (AHP) was used to obtain

Civil and Structural EngineeringEngineering
12
Book Chapter|1 citations·1999
Management of Workflow over the Web Supporting Distributed Process Evolution
Sang-Yoon Min, Doo‐Hwan Bae, Sung‐Chan Cho, Young-Kwang Nam
SJR Q2Lecture notes in computer science
Management Information SystemsBusiness, Management and Accounting
13
Article|1 citations·2002
An approach to software process management based on formal process modeling and analysis
Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo‐Hwan Bae

In process-driven software development environment, process management plays an important role during the process execution. In order to achieve effective management of software processes, managerial decision makings on development process need to be based on the analysis of the software processes regarding the development environment. In this paper we propose a new approach to process management through the formal process modeling and analysis techniques, called MAM nets based on Pr/T net forma

Management Information SystemsBusiness, Management and Accounting
14
Article|1 citations·2011
SW Quality of Convergence Product: Characteristics, Improvement Strategies and Alternatives
Sang-Yoon Min, Seung-Hoon Park, Nam-Hee Lee
Food ScienceAgricultural and Biological Sciences
15
Article|0 citations·2015
Resource scheduling and planning for tunneling with a new resource model of the Decision Aids for Tunneling (DAT)
Sang-Yoon Min, Herbert H. Einstein
DSpace@MIT (Massachusetts Institute of Technology)OA
Civil and Structural EngineeringEngineering

Research Areas

Civil and Structural EngineeringManagement Information SystemsInformation SystemsArtificial IntelligenceSoftwareManagement Science and Operations Research

Dive deeper into Sang-Woon Min's research on Nubint

Open this lab's papers in the app to read with AI, summarize, and cite in your writing.