Scott Uk-Jin Lee

Orcid: 0000-0002-8457-3097

According to our database1, Scott Uk-Jin Lee authored at least 29 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A systematic literature review on Android-specific smells.
J. Syst. Softw., July, 2023

Toward Reliable Software Analytics: Systematic Integration of Explanations From Different Model-Agnostic Techniques.
IEEE Softw., 2023

An Empirical Comparison of Model-Agnostic Techniques for Defect Prediction Models.
Proceedings of the IEEE International Conference on Software Analysis, 2023

2022
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Formal Aspects Comput., 2022

A Review of NLIDB With Deep Learning: Findings, Challenges and Open Issues.
IEEE Access, 2022

2021
Measuring power consumption in mobile devices for energy sustainable app development: A comparative study and challenges.
Sustain. Comput. Informatics Syst., 2021

FCDP: Fidelity Calculation for Description-to-Permissions in Android Apps.
IEEE Access, 2021

Enhancing Fidelity of Description in Android Apps With Category-Based Common Permissions.
IEEE Access, 2021

Detecting Wake Lock Leaks in Android Apps Using Machine Learning.
IEEE Access, 2021

2020
Integrated Formal Tools for Software Architecture Smell Detection.
Int. J. Softw. Eng. Knowl. Eng., 2020

Semantic-based Architecture Smell Analysis.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Why the new consensus mechanism is needed in blockchain technology?
Proceedings of the 2020 Second International Conference on Blockchain Computing and Applications, 2020

2019
Stuck-at Fault Analytics of IoT Devices Using Knowledge-based Data Processing Strategy in Smart Grid.
Wirel. Pers. Commun., 2019

Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
Multi-Objective Optimum Solutions for IoT-Based Feature Models of Software Product Line.
IEEE Access, 2018

2017
Optimizing Lifespan and Energy Consumption by Smart Meters in Green-Cloud-Based Smart Grids.
IEEE Access, 2017

Binary Pattern for Nested Cardinality Constraints for Software Product Line of IoT-Based Feature Models.
IEEE Access, 2017

2014
Predicting Student Blood Pressure by Support Vector Machine Using Facebook.
Proceedings of the 2014 IEEE World Congress on Services, 2014

2011
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010
Theorem prover approach to semistructured data design.
Formal Methods Syst. Des., 2010

2009
Formal Verification of Semistructured Data Models in PVS.
J. Univers. Comput. Sci., 2009

Verifying Semistructured Data Normalization Using SWRL.
Proceedings of the TASE 2009, 2009

2008
Verifying Semistructured Data Normalization Using PVS.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Correctness Criteria for Normalization of Semistructured Data.
Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2007
Towards Verifying Semistructured Data.
Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

2006
A PVS Approach to Verifying ORA-SS Data Models.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Research into Verifying Semistructured Data.
Proceedings of the Distributed Computing and Internet Technology, 2006

2005
A Z Approach in Validating ORA-SS Data Models.
Proceedings of the Third International Workshop on Software Verification and Validation, 2005


  Loading...