A Z Approach in Validating ORA-SS Data Models. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Yuan-Fang Li (SVV@ICFEM, 2005)

Research into Verifying Semistructured Data. - Gillian Dobbie; Jing Sun 002; Yuan-Fang Li; Scott Uk-Jin Lee (ICDCIT, 2006)

A PVS Approach to Verifying ORA-SS Data Models. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (SEKE, 2006)

Towards Verifying Semistructured Data. - Gillian Dobbie; Jing Sun 002; Yuan-Fang Li; Scott Uk-Jin Lee (APCCM, 2007)

Correctness Criteria for Normalization of Semistructured Data. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Lindsay Groves; Yuan-Fang Li (Australian Software Engineering Conference, 2008)

Verifying Semistructured Data Normalization Using PVS. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Lindsay Groves (ICECCS, 2008)

Verifying Semistructured Data Normalization Using SWRL. - Yuan-Fang Li; Jing Sun 002; Gillian Dobbie; Scott Uk-Jin Lee; Hai H. Wang (TASE, 2009)

Formal Verification of Semistructured Data Models in PVS. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (J. Univers. Comput. Sci., 2009)

Theorem prover approach to semistructured data design. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (Formal Methods Syst. Des., 2010)

MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization. - Jordi Cabot; Patrick Albert; Grégoire Dupé; Marcos Didonet Del Fabro; Scott Uk-Jin Lee (ECMFA, 2011)

An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform. - Guillaume Doux; Patrick Albert; Gabriel Barbier; Jordi Cabot; Marcos Didonet Del Fabro; Scott Uk-Jin Lee (ECMFA, 2011)

Predicting Student Blood Pressure by Support Vector Machine Using Facebook. - Shazada Muhammad Umair Khan; Javeria Shaikh Manzoor; Scott Uk-Jin Lee (SERVICES, 2014)

Binary Pattern for Nested Cardinality Constraints for Software Product Line of IoT-Based Feature Models. - Asad Abbas; Isma Farah Siddiqui; Scott Uk-Jin Lee; Ali Kashif Bashir (IEEE Access, 2017)

Optimizing Lifespan and Energy Consumption by Smart Meters in Green-Cloud-Based Smart Grids. - Isma Farah Siddiqui; Scott Uk-Jin Lee; Asad Abbas; Ali Kashif Bashir (IEEE Access, 2017)

Multi-Objective Optimum Solutions for IoT-Based Feature Models of Software Product Line. - Asad Abbas; Isma Farah Siddiqui; Scott Uk-Jin Lee; Ali Kashif Bashir; Waleed Ejaz; Nawab Muhammad Faseeh Qureshi (IEEE Access, 2018)

Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment. - Chenghao Cai; Jing Sun 002; Gillian Dobbie; Scott Uk-Jin Lee (APSEC, 2019)

Stuck-at Fault Analytics of IoT Devices Using Knowledge-based Data Processing Strategy in Smart Grid. - Isma Farah Siddiqui; Nawab Muhammad Faseeh Qureshi; Muhammad Akram Shaikh; Bhawani Shankar Chowdhry; Asad Abbas; Ali Kashif Bashir; Scott Uk-Jin Lee (Wirel. Pers. Commun., 2019)

Why the new consensus mechanism is needed in blockchain technology? - Sana Naz; Scott Uk-Jin Lee (BCCA, 2020)

Semantic-based Architecture Smell Analysis. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren; Scott Uk-Jin Lee (FormaliSE@ICSE, 2020)

Integrated Formal Tools for Software Architecture Smell Detection. - Nacha Chondamrongkul; Jing Sun 002; Ian Warren; Scott Uk-Jin Lee (Int. J. Softw. Eng. Knowl. Eng., 2020)

Detecting Wake Lock Leaks in Android Apps Using Machine Learning. - Muhammad Umair Khan; Scott Uk-Jin Lee; Shanza Abbas; Asad Abbas; Ali Kashif Bashir (IEEE Access, 2021)

Enhancing Fidelity of Description in Android Apps With Category-Based Common Permissions. - Zhiqiang Wu 004; Xin Chen 064; Muhammad Umair Khan; Scott Uk-Jin Lee (IEEE Access, 2021)

FCDP: Fidelity Calculation for Description-to-Permissions in Android Apps. - Zhiqiang Wu 004; Xin Chen 064; Scott Uk-Jin Lee (IEEE Access, 2021)

Measuring power consumption in mobile devices for energy sustainable app development: A comparative study and challenges. - Muhammad Umair Khan; Shanza Abbas; Scott Uk-Jin Lee; Asad Abbas (Sustain. Comput. Informatics Syst., 2021)

A Review of NLIDB With Deep Learning: Findings, Challenges and Open Issues. - Shanza Abbas; Muhammad Umair Khan; Scott Uk-Jin Lee; Asad Abbas; Ali Kashif Bashir (IEEE Access, 2022)

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. - Cheng-Hao Cai; Jing Sun 002; Gillian Dobbie; Zhé Hóu; Hadrien Bride; Jin Song Dong 001; Scott Uk-Jin Lee (Formal Aspects Comput., 2022)

An Empirical Comparison of Model-Agnostic Techniques for Defect Prediction Models. - Gichan Lee; Scott Uk-Jin Lee (SANER, 2023)

Toward Reliable Software Analytics: Systematic Integration of Explanations From Different Model-Agnostic Techniques. - Gichan Lee; Scott Uk-Jin Lee (IEEE Softw., 2023)

A systematic literature review on Android-specific smells. - Zhiqiang Wu 004; Xin Chen 064; Scott Uk-Jin Lee (J. Syst. Softw., 2023)

Less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction. - Gichan Lee; Scott Uk-Jin Lee (ICECCS, 2024)

NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers. - Gichan Lee; Hansae Ju; Scott Uk-Jin Lee (ASE, 2024)

A System Design for 3D Visualization of Underwater Multi-Target Tracking Based on Unity 3D and GMPHD Filter. - Seungho Kim; Scott Uk-Jin Lee (ICEIC, 2025)

Exploration of Diffusion-Based Test Case Generation of Autonomous Driving Systems. - Joonwoo Lee; Scott Uk-Jin Lee (ICEIC, 2025)

Can We Trust the Actionable Guidance from Explainable AI Techniques in Defect Prediction? - Gichan Lee; Hansae Ju; Scott Uk-Jin Lee (SANER, 2025)