Analysis and enactment of a distributed software process model: the AttNet model. - Woo Jin Lee; In Sang Chung; Yong Rae Kwon (APSEC, 1994)

Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. - Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon (IEEE Trans. Software Eng., 1998)

A Slicing-based Approach to Enhance Petri Net Reachability Analysis. - Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon; H. N. Kim (J. Res. Pract. Inf. Technol., 2000)

Modeling and Analysis of Service Interactions in Service-Oriented Software. - Woo Jin Lee (ISCIS, 2003)

Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS. - Woo Jin Lee; Ho-Jun Kim; Heung Seok Chae (SEUS, 2007)

Specification and analysis of timing requirements for real-time systems in the CBD approach. - Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon (Real Time Syst., 2007)

Advanced Integrated Model-Driven Development Tool for USN Applications in Pervasive Computing Environment. - Woo Jin Lee; Jang-Mook Kang; Yoon-Seok Heo; Bong-Hwa Hong (FGIT-FGCN, 2009)

An Object-Oriented Framework Approach to Flexible Availability Management for Developing Distributed Applications. - Heung Seok Chae; Jian Feng Cui; Jinwook Park; Jaegeol Park; Woo Jin Lee (J. Inf. Sci. Eng., 2009)

Indoor WiFi positioning system for Android-based smartphone. - Beom Ju Shin; Kwang-Won Lee; Sun-Ho Choi; Joo-Yeon Kim; Woo Jin Lee; Hyung Seok Kim (ICTC, 2010)

Fast selective ACK scheme for throughput enhancement of multi-homed SCTP hosts. - Lin Cui 005; Seok Joo Koh; Woo Jin Lee (IEEE Commun. Lett., 2010)

A Segment-Based SACK Scheme for TCP Over the Error-Prone Links. - Lin Cui 005; Xin Cui; Woo Jin Lee (Wirel. Pers. Commun., 2011)

Erratum to: A Segment-Based SACK Scheme for TCP Over the Error-Prone Links. - Lin Cui 005; Xin Cui; Woo Jin Lee (Wirel. Pers. Commun., 2011)

A Function Interaction Testing by Reusing Characterized Test Cases. - Youngsul Shin; Woo Jin Lee (IEICE Trans. Inf. Syst., 2012)

Value-deterministic search-based replay for android multithreaded applications. - Ajay Kumar Jha; Sooyong Jeong; Woo Jin Lee (RACS, 2013)

Integration testing through reusing representative unit test cases for high-confidence medical software. - Youngsul Shin; Yunja Choi; Woo Jin Lee (Comput. Biol. Medicine, 2013)

An Adaptive Partial FCS Scheme to Enable the Corruption-aware Transport Protocols over IP Networks for Fourth Generation Wireless Communications. - Lin Cui 005; Jingji Jin; Xin Cui; Woo Jin Lee; Zhaocheng Xuan (Wirel. Pers. Commun., 2013)

Data Flow Based Integration Testing for Embedded System Using Interaction Model. - Hossain Muhammad Iqbal; Woo Jin Lee (APSEC (1), 2014)

Virtual prototype generation by shockwave flash for simulating HW components of embedded system. - Soo Young Jang; Ajay Kumar Jha; Woo Jin Lee (SAC, 2014)

Modeling and Test Case Generation of Inter-component Communication in Android. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (MOBILESoft, 2015)

Permission-based security in android application: from policy expert to end user. - Ajay Kumar Jha; Seungmin Lee; Woo Jin Lee (RACS, 2015)

Relative Time Synchronization of Distributed Applications for Software-in-the-Loop Simulation. - Sunghee Lee; Bueng Il Hwang; Kang-Bok Seo; Woo Jin Lee (CSE/EUC/DCABES, 2016)

Software-in-the-Loop simulation for early-stage testing of AUTOSAR software component. - Sooyong Jeong; Yongsub Kwak; Woo Jin Lee (ICUFN, 2016)

Analysis of Permission-based Security in Android through Policy Expert, Developer, and End User Perspectives. - Ajay Kumar Jha; Woo Jin Lee (J. Univers. Comput. Sci., 2016)

An automated testing method for AUTOSAR software components based on SiL simulation. - Sooyong Jeong; Woo Jin Lee (ICUFN, 2017)

Developer mistakes in writing Android manifests: an empirical study of configuration errors. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (MSR, 2017)

An empirical study of collaborative model and its security risk in Android. - Ajay Kumar Jha; Woo Jin Lee (J. Syst. Softw., 2018)

A framework for testing Android apps by reusing test cases. - Ajay Kumar Jha; Deok Yeop Kim; Woo Jin Lee (MOBILESoft@ICSE, 2019)

Characterizing Android-specific crash bugs. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (MOBILESoft@ICSE, 2019)

An empirical study of configuration changes and adoption in Android apps. - Ajay Kumar Jha; Sunghee Lee; Woo Jin Lee (J. Syst. Softw., 2019)

A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment. - Sooyong Jeong; Ajay Kumar Jha; Youngsul Shin; Woo Jin Lee (IEICE Trans. Inf. Syst., 2020)

Usage Log-Based Testing of Embedded Software and Identification of Dependencies among Environmental Components. - Sooyong Jeong; Sungdeok Cha; Woo Jin Lee (IEICE Trans. Inf. Syst., 2021)

Function Execution Log Based Judgment System for Arduino Learning Practice. - Kang-Bok Seo; Woo Jin Lee (ITS, 2022)

Optimal seat allocation strategy for e-sports gaming center. - Sungil Kwag; Woo Jin Lee; Young Dae Ko (Int. Trans. Oper. Res., 2022)

Predicting Rough Error Causes in Novice Programmers Using Cognitive Level. - Deok Yeop Kim; Woo Jin Lee (ITS (1), 2024)

Development of a Framework-Independent Code Generator From State Machine Diagrams. - Seungmo Jung; Woo Jin Lee (IEEE Access, 2024)

Arduino practice judgment system based on function execution log in virtual execution environment. - Kang-Bok Seo; Junhyung Kim; Woo Jin Lee (Comput. Appl. Eng. Educ., 2024)