Seung Yeob Shin

Seung Yeob Shin [CV]

 

Graduate Student

  Laboratory for Advanced Software Engineering Research (LASER)

  College of Information and Computer Sciences

  University of Massachusetts Amherst

 

Research Interests

My research interests are in software engineering, focusing on system modeling and analysis through the use of discrete-event simulation and finite state verification frameworks.

 

 

Contact

 

shin@cs.umass.edu

 

Room 316

Computer Science Building

140 Governors Drive

Amherst, MA 01003-9264

USA

 

 

Background

 

May 2014 – present

PhD candidate in Computer Science

University of Massachusetts Amherst

Advisors: Leon J. Osterweil and Yuriy Brun

Aug 2011 – May 2014

MS in Computer Science

University of Massachusetts Amherst

Advisors: Leon J. Osterweil and Yuriy Brun

Mar 2006 – Jul 2011

Samsung Electronics Co., Ltd.

Mar 2004 – Feb 2006

MS in Computer Science and Engineering

Pohang University of Science and Technology

Advisor: Kyo C. Kang

Mar 2000 – Feb 2004

BS in Computer Science and Engineering

Sogang University

 

 

Publications

 

Specification and Analysis of Human-Intensive System Resource-Utilization Policies

Seung Yeob Shin, Yuriy Brun, and Leon J. Osterweil, in Proceedings of the 8th International Workshop on Software Engineering in Healthcare Systems (SEHS), Austin, TX, USA, May 14-15, 2016

 

Using Computer Simulation to Study Nurse-to-Patient Ratios in an Emergency Department

Philip L. Henneman, Seung Yeob Shin, Yuriy Brun, Hari Balasubramanian, Fidela Blank, and Leon J. Osterweil, The Journal of Nursing Administration (JONA), Vol. 45, Issue 11, November 2015, pp. 551-556

 

Resource Specification for Prototyping Human-Intensive Systems

Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, and Philip L. Henneman, in Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE), 2015, pp. 332–346.

 

Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling

Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, and Leon J. Osterweil, University of Massachusetts, Amherst, School of Computer Science, Technical Report, UM-CS-2014-009, 2014

 

Resource Scheduling through Resource-Aware Simulation of Emergency Departments

Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, and Leon J. Osterweil, in Proceedings of the 5th International Workshop on Software Engineering in Health Care (SEHC), San Francisco, CA, USA, May 20-21, 2013

 

A Method for Analyzing Task Schedulability of the ASADAL Requirements Model

Seung Yeob Shin, master's thesis, POSTECH, Republic of Korea, 2006

 

ASADAL/OBJ Hybrid: An Object-Oriented Framework for Modeling and Validating Hybrid Systems

Seung Yeob Shin, Moonzoo Kim, and Kyo C. Kang, KCC2005, Republic of Korea, 2005

 

 

Patents

 

Method for providing broadcast program and broadcast receiving apparatus using the same

US20100269140 A1

Seung Yeob Shin, Jayoon Koo, and Yongbeom Kim, Samsung Electronics Co., Ltd., 2010

 

Display apparatus and control method thereof

US20090063982 A1

Seungkee Cho and Seung Yeob Shin, Samsung Electronics Co., Ltd., 2009

 

Broadcast receiving apparatus and method thereof

US20080163296 A1

Seung Yeob Shin, Seungkee Cho, Kwangwon Kim, and Jaeho Choi, Samsung Electronics Co., Ltd., 2008

 

 

Project

 

 

[Resource Scheduling in a Hospital Emergency Department]

 

An emergency department (ED) relies heavily on diverse types of resources such as humans and hospital resources (e.g., staff and beds). The use of these resources is constrained in a variety of ways such as start time and length of shifts, labor laws, exceptional arrangements and other constraints. In addition, resource scheduling in an ED becomes even more complicated when considering multiple and often conflicting goals and constraints. The complex nature of resource scheduling in an ED poses significant challenges in analyzing important characteristics such as safety, correctness, performance and efficiency in patient care. This project aims to address these challenges by separating resource concerns from others such as activity coordination and artifacts of patient care in an ED. This separation of resource concerns facilitates managing complexities inherent in an ED. Focusing on resource concerns, we are developing novel modelling and analysis techniques to improve the quality of resource scheduling in an ED.