Publications
SELAB의 구성원들은 Google Scholar Software Systems 분야 상위저작물에 해당하는 탑티어 컨퍼런스 및 저널에 논문을 출판할 수 있도록 최선의 노력을 기울이고 있습니다. 하기한 논문들의 목록은 Scott Uk-Jin Lee 교수님의 ORCID에 기반하여 주마다 갱신됩니다.
Publications by Year
2024
NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
·
27 Oct 2024
·
doi:10.1145/3691620.3695056
S&SEM: A Secure and Speed-Up Election Mechanism for PoS-Based Blockchain Network
Mathematics
·
17 Oct 2024
·
doi:10.3390/math12203263
Less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction
Lecture Notes in Computer Science
·
29 Sep 2024
·
doi:10.1007/978-3-031-66456-4_8
Sea Shield: A Blockchain Technology Consensus to Improve Proof-of-Stake-Based Consensus Blockchain Safety
Mathematics
·
12 Mar 2024
·
doi:10.3390/math12060833
2023
A systematic literature review on Android-specific smells
Journal of Systems and Software
·
01 Jul 2023
·
doi:10.1016/j.jss.2023.111677
Security Analysis of Web Open-Source Projects Based on Java and PHP
Electronics
·
10 Jun 2023
·
doi:10.3390/electronics12122618
An Empirical Comparison of Model-Agnostic Techniques for Defect Prediction Models
2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
·
21 Mar 2023
·
doi:10.1109/SANER56733.2023.00026
Toward Reliable Software Analytics: Systematic Integration of Explanations From Different Model-Agnostic Techniques
IEEE Software
·
13 Feb 2023
·
doi:10.1109/MS.2023.3244204
2022
Low-cost Smart Farming System for Field-based Farms utilizing Renewable Energy
2022 한국정보과학회 한국소프트웨어종합학술대회
·
20 Dec 2022
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11224052
1st-gen Smart Farm Framework for Small Farmers
2022 한국정보과학회 한국소프트웨어종합학술대회
·
20 Dec 2022
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11224051
Proposal of Outpatient Flow Optimization System in Tertiary and General Hospitals Using Explainable Digital Twin Simulations
2022 한국정보과학회 한국소프트웨어종합학술대회
·
20 Dec 2022
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11224363
Detecting Cross-Site-Script Attacks using BM25 Algorithm
2022 한국컴퓨터정보학회 하계학술대회
·
14 Jul 2022
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11113645
A Method Name Suggestion Model based on Abstractive Text Summarization
2022 한국컴퓨터정보학회 하계학술대회
·
14 Jul 2022
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11140330
Using Reinforcement Learning Agent for Metaverse Game Testing
2022 한국컴퓨터정보학회 하계학술대회
·
14 Jul 2022
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11140329
Analyze the possibility of current PyScript in practical application
2022 한국컴퓨터정보학회 하계학술대회
·
14 Jul 2022
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11140328
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring
Formal Aspects of Computing
·
30 Jun 2022
·
doi:10.1145/3536430
A Comparison of Recent Requirements Gathering and Management Tools in Requirements Engineering for IoT-Enabled Sustainable Cities
Sustainability
·
20 Feb 2022
·
doi:10.3390/su14042427
A Review of NLIDB With Deep Learning: Findings, Challenges and Open Issues
IEEE Access
·
01 Jan 2022
·
doi:10.1109/ACCESS.2022.3147586
2021
Automating Exploratory Testing of Game Engine based 3D Software Using Deep Reinforcement Learning
2021 한국정보과학회 한국소프트웨어종합학술대회
·
20 Dec 2021
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11035659
Metaverse-based game test automation using ML-Agent
2021 한국정보과학회 한국소프트웨어종합학술대회
·
20 Dec 2021
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE11035663
Columns Occurrences Graph to Improve Column Prediction in Deep Learning Nlidb
Applied Sciences
·
20 Dec 2021
·
doi:10.3390/app112412116
Detecting wake lock leaks in android apps using machine learning
IEEE Access
·
17 Sep 2021
·
doi:10.1109/ACCESS.2021.3110244
Wake Lock Leak Detection in Android Apps Using Multi-Layer Perceptron
Electronics
·
09 Sep 2021
·
doi:10.3390/electronics10182211
Enhancing fidelity of description in Android apps with category-based common permissions
IEEE Access
·
01 Sep 2021
·
doi:10.1109/ACCESS.2021.3100118
Measuring power consumption in mobile devices for energy sustainable app development
ELSEVIER
·
01 Sep 2021
·
doi:10.1016/j.suscom.2021.100589
Forgotten Permission Usages: An Empirical Study on App Description Based Android App Analysis
한국컴퓨터정보학회
·
30 Jun 2021
·
doi:10.9708/jksci.2021.26.06.107
An Empirical Study on the Impact of Permission Smell in Android Applications
한국컴퓨터정보학회
·
30 Jun 2021
·
doi:10.9708/jksci.2021.26.06.089
Improving Efficiency of Energy Consumption for Mobile Applications by Heterogeneous Code Smell Analysis Platform
2021 한국정보과학회 한국컴퓨터종합학술대회
·
23 Jun 2021
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10583400
A Proposal for a Platform that Recommend an Appropriate Deployment Method when Migrate an Application to a Microservice Architecture
2021 한국정보과학회 한국컴퓨터종합학술대회
·
23 Jun 2021
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10583401
A Literature Study on Predicting AI- Based Cryptocurrency Value Trends
2021 한국정보과학회 한국컴퓨터종합학술대회
·
23 Jun 2021
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10583512
2020
FCDP: Fidelity Calculation for Description-to-Permissions in Android Apps
IEEE Access
·
24 Dec 2020
·
doi:10.1109/ACCESS.2020.3047019
Effective Performance Comparison Platform for Code Smell Detection
2020 한국정보과학회 한국소프트웨어종합학술대회
·
21 Dec 2020
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10529587
Comparative Study of Bootstrap and Foundation for Choosing a Front-end Template
2020 한국정보과학회 한국소프트웨어종합학술대회
·
21 Dec 2020
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10529940
Configuration Management Technique for Unity-Based Game Development Projects
2020 한국정보과학회 한국소프트웨어종합학술대회
·
21 Dec 2020
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10529941
Multi-DAG Workflow Scheduling Strategy for Microservice in Clouds
2020 한국정보과학회 한국소프트웨어종합학술대회
·
21 Dec 2020
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10529588
A Hybrid Recommendation Algorithm using Tags, Time and User Relationship
2020 한국정보과학회 한국소프트웨어종합학술대회
·
21 Dec 2020
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10529719
Pipeline and Deep Learning Approach for NLIDB: A Comparative Study
Journal of Theoretical and Applied Information Technology
·
30 Nov 2020
·
[no id info]
Energy-Leaks in Android Application Development: Perspective and Challenges
Journal of Theoretical and Applied Information Technology
·
30 Nov 2020
·
[no id info]
Why the new consensus mechanism is needed in blockchain technology?
IEEE 2020 Second International Conference on Blockchain Computing and Applications (BCCA)
·
02 Nov 2020
·
doi:10.1109/BCCA50787.2020.9274461
Semantic-based Architecture Smell Analysis
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE)
·
07 Oct 2020
·
doi:10.1145/3372020.3391564
Machine Learning Evaluation of the Requirement Engineering Process Models for Cloud Computing and Security Issues
Applied Sciences
·
24 Aug 2020
·
doi:10.3390/app10175851
Collaborative Filtering Recommendation Algorithm Based on LDA2Vec Topic Mode
2020 한국컴퓨터정보학회 하계학술대회
·
16 Jul 2020
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE09415049
An Algorithm to Optimize Deployment Cost for Microservice Architecture
2020 한국컴퓨터정보학회 하계학술대회
·
16 Jul 2020
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE09415050
Integrated Formal Tools for Software Architecture Smell Detection
International Journal of Software Engineering and Knowledge Engineering
·
01 Jun 2020
·
doi:10.1142/S0218194020400057
A Novel Knowledge-Based Battery Drain Reducer for Smart Meters
TSI Press Intelligent Automation & Soft Computing
·
01 Mar 2020
·
doi:10.31209/2019.100000132
2019
Platform Manager for XACML-based IoT Access Control Solution
2019 한국정보과학회 한국소프트웨어종합학술대회
·
18 Dec 2019
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE09301535
Intelligent IoT Access Control Platform for Effective Policy Conflict Resolution
2019 한국정보과학회 한국소프트웨어종합학술대회
·
18 Dec 2019
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE09301536
Permission Smells Detection for IoT Applications on Android Platform
2019 한국정보과학회 한국소프트웨어종합학술대회
·
18 Dec 2019
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE09301565
Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment
2019 26th Asia-Pacific Software Engineering Conference (APSEC)
·
02 Dec 2019
·
doi:10.1109/APSEC48747.2019.00043
Requirement Elicitation Framework for Global Software Development
Indian Journal of Science and Technology
·
01 Nov 2019
·
doi:10.17485/ijst/2019/v12i43/146882
Dynamic Agile Distributed Development Method
Special Issue Application of Optimization in Production, Logistics, Inventory, Supply Chain Management and Block Chain
·
13 Oct 2019
·
doi:10.3390/math7100963
Web Attack Detection Based on ResNet and RNN
1st International Conference on Computational Sciences and Technologies (INCCST'19)
·
10 Apr 2019
·
[no id info]
Permissions based Automatic Android Malware Repair using Long Short Term Memory
2019 한국컴퓨터정보학회 동계학술대회
·
17 Jan 2019
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07614538&language=ko_KR
Identifying Latent Android Malware from Application’s Description using LSTM
Society of Convergence and Integrated Research
·
01 Jan 2019
·
[no id info]
2018
An Improved Plug-in Security Test Model for Web Application
한국정보과학회 2018 한국소프트웨어종합학술대회 논문집
·
19 Dec 2018
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07503314
Unity optimization for Raspberry Pi-based serious game
한국정보과학회 2018 한국소프트웨어종합학술대회 논문집
·
19 Dec 2018
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07613646
Intuitive Interface of XACML Policy Editor for General Users in IoT Environments
한국정보과학회 2018 한국소프트웨어종합학술대회 논문집
·
19 Dec 2018
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07613603
Case Study for Collecting Policy Evaluation Factors upon Request when Creating XACML Policy
Journal of KIISE Vol.45 No.9
·
20 Jun 2018
·
doi:10.5626/JOK.2018.45.9.975
Stuck-at Fault Analytics of IoT Devices Using Knowledge-based Data Processing Strategy in Smart Grid
SPRINGER
·
17 Apr 2018
·
doi:10.1007/s11277-018-5739-9
Classification of Concurrent Anomalies for IoT Software based Support Vector Machine
Journal of Theoretical and Applied Information Technology
·
15 Feb 2018
·
[no id info]
Multi-objective optimum solutions for IoT-based feature models of software product line
IEEE Access (Voulume:6)
·
07 Feb 2018
·
doi:10.1109/ACCESS.2018.2806944
Access Control Management Solution for Smart Apartments
2018년 한국컴퓨터정보학회 동계학술대회 논문집 제26권 제1호
·
01 Jan 2018
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07303204
2017
Testing and Evaluation of Free/Open Source Web Vulnerability Scanners for IoT Web Applications
2017 International Workshop on Convergence Information Technology (IWCIT)
·
22 Dec 2017
·
[no id info]
Entropy based Anomaly Detection and IP classification System to Prevent DDoS Attacks in Cloud Computing
한국정보과학회 2017 한국소프트웨어종합학술대회 논문집
·
20 Dec 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07322411
Mobile Platform for Developing Serious Game based on Raspberry Pi
한국정보과학회 2017 한국소프트웨어종합학술대회 논문집
·
20 Dec 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07322231
A Feed-forward Neural Network Model for Predicting Stock Price
한국정보과학회 2017 한국소프트웨어종합학술대회 논문집
·
20 Dec 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07322377
Quantitative/Qualitative Analysis and Comparison of Paradigm for Design and Development of IoT Device Applications
한국정보과학회 2017 한국소프트웨어종합학술대회 논문집
·
20 Dec 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07322219
Comparative Analysis of GUI Development for Android application by utilizing MDA Approach
2017 International Workshop on Convergence Information Technology (IWCIT)
·
01 Dec 2017
·
[no id info]
Optimizing Lifespan and Energy Consumption by Smart Meters in Green-Cloud-Based Smart Grids
IEEE Access (Voulume:5)
·
19 Sep 2017
·
doi:10.1109/ACCESS.2017.2752242
Contextual Variability Management of Multi-Software Product Line
2017 International Conference on Computing Convergence and Applications (ICCCA)
·
01 Aug 2017
·
[no id info]
Contextual Variability Management of IoT Applications Using Agent-Base Modeling with Software Product Line
2017 International Conference on Computing Convergence and Applications (ICCCA)
·
01 Aug 2017
·
[no id info]
Multiple Concurrency Anomalies Classification for Mobile Applications using Support Vector Machine
2017 International Conference on Computing Convergence and Applications (ICCCA)
·
01 Aug 2017
·
[no id info]
Effective Multi-Thread Extraction
2017 International Conference on Computing Convergence and Applications (ICCCA)
·
01 Aug 2017
·
[no id info]
Source Code Language Conversion Model Using RNN
한국정보과학회 2017년 한국컴퓨터종합학술대회 논문집
·
18 Jun 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07207306
Automation of verification tools for Multi-Thread Analysis
한국정보과학회 2017년 한국컴퓨터종합학술대회 논문집
·
18 Jun 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07207291
MDA (Model Driven Architecture) Based Game Design Using Unity Engine
한국정보과학회 2017년 한국컴퓨터종합학술대회 논문집
·
18 Jun 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07207293
Support Vector Machine for Predicting Stock Price Based on RBF Kernel
한국정보과학회 2017 한국컴퓨터종합학술대회 논문집
·
18 Jun 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07207405
Effective Methodology for Collecting Contextual Factors and Information that Affect to XACML Policy Evaluation
한국정보과학회 2017년 한국컴퓨터종합학술대회 논문집
·
18 Jun 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07207301
Binary Pattern for Nested Cardinality Constraints for Software Product Line of IoT-Based Feature Models
IEEE Access (Voulume:5)
·
09 May 2017
·
doi:10.1109/ACCESS.2017.2680470
Contextual variability management of IoT application with xml-based feature modelling
Journal of Theoretical and Applied Information Technology
·
31 Mar 2017
·
[no id info]
Comparative Analysis of Centralized Vs. Distributed Locality-based Repository over IoT-Enabled Big Data in Smart Grid Environment
2017년 한국컴퓨터정보학회 동계학술대회 논문집
·
12 Jan 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07101016
Feature Modeling with Multi-Software Product Line of IoT Protocols
2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호
·
12 Jan 2017
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07101017
2016
Goal-based modeling for requirement traceability of software product line
Journal of Theoretical and Applied Information Technology
·
31 Dec 2016
·
[no id info]
A hidden markov model to predict hot socket issue in smart grid
2016 Journal of Theoretical and Applied Information Technology
·
31 Dec 2016
·
[no id info]
Personalized User Recommendation Technique exploiting SNS Profiling
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
21 Dec 2016
·
http://www.dbpia.co.kr/Journal/ArticleDetail/NODE07115834
Automated Verification Method for Java-based Multithreaded Software
Korean Institute of Information Scientists and Engineers
·
21 Dec 2016
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07115900&language=ko_KR&hasTopBanner=true
XML-based Feature Modeling of IoT Applications
The Korea Society of Computer Information
·
01 Dec 2016
·
[no id info]
A Comparative Study of Multithreading APIs for Software of ICT Equipment
Indian Society for Education and Environment
·
01 Dec 2016
·
doi:10.17485/ijst/2016/v9i48/108873
Multi-objective optimization of feature model in software product line Perspectives and challenges
Indian Journal of Science and Technology
·
01 Dec 2016
·
doi:10.17485/ijst/2016/v9i45/106769
Access Control as a Service for Information Protection in Semantic Web based Smart Environment
한국인터넷정보학회 (Korea Internet Information Society)
·
31 Oct 2016
·
doi:10.7472/jksii.2016.17.5.09
Challenges of Multi-Objective Optimization in Feature Model of Software Product Line
2016 The International Conference on Information, System and Convergence Applications (ICISCA)
·
13 Jul 2016
·
[no id info]
Improvement of Crowdsourcing based Software Development Process
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
29 Jun 2016
·
http://www.dbpia.co.kr/Journal/ArticleDetail/NODE07017600
The Application of Banker’s Algorithm in Order Scheduling Management for Deadlock Avoidance
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
29 Jun 2016
·
http://www.dbpia.co.kr/Journal/ArticleDetail/NODE07017602
The Necessity of Multithread Feature in Node.js
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
29 Jun 2016
·
http://www.dbpia.co.kr/Journal/ArticleDetail/NODE07017606
Improvement of Crowdsourcing based Software Development Process
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
29 Jun 2016
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE07017600
The Application of Bankers Algorithm in Order Scheduling Management for Deadlock Avoidance
한국정보과학회 2016년 한국컴퓨터종합학술대회 논문집
·
29 Jun 2016
·
[no id info]
An approach for optimized feature selection in Software Product Lines using union-find and genetic algorithms
Indian Society for Education and Environment
·
01 May 2016
·
doi:10.17485/ijst/2016/v9i17/92728
An empirical study over correctness properties for multithreaded programs
Indian Society for Education and Environment
·
01 May 2016
·
doi:10.17485/ijst/2016/v9i17/92730
HBAC: An access control over Semantics-enabled Smart Grids to enable energy-efficiency and lifetime optimization
Society of Convergence and Integrated Research
·
19 Jan 2016
·
[no id info]
Optimized feature selection with crosscutting concerns in software product line feature model
International Conference on Information and Convergence Technology for Smart Society
·
19 Jan 2016
·
[no id info]
2015
Comparative Analysis on Tools for Verifying Multithreaded Applications
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
01 Dec 2015
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE06602422
Aspect-Oriented Programming based Process Synchronization in Concurrent Systems
Proceedings of the 2015 Korean Institute of Information Scientists and Engineers (KIISE) Winter Conference
·
01 Dec 2015
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE06602432
Privacy-Aware Smart Learning: Providing XACML as a Service in Semantic Web based Smart Environment
The 7th International Conference on Internet (ICONI) 2015
·
01 Dec 2015
·
[no id info]
An Effective Methodology with Automated Product Configuration for Software Product Line Development
Hindawi Publishing Corporation
·
19 Oct 2015
·
doi:10.1155/2015/435316
Recent Trends of Fintech and Comparative Analysis of Samsung-Pay and Apple-Pay
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
24 Jun 2015
·
http://www.dbpia.co.kr/Article/NODE06394643
XML-based Feature Modeling for Variability Management in Complex Software Product Line
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
24 Jun 2015
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE06394151
A Novel Approach for Integrating Semantic Web Techniques into Smart Education Environment
International Conference on Information and Convergence Technology for Smart Society
·
01 Jan 2015
·
[no id info]
2014
Predicting Student Blood Pressure by Support Vector Machine Using Facebook
IEEE
·
27 Jun 2014
·
doi:10.1109/SERVICES.2014.92
A Framework for Verifying Consistency of SQL-DB Ontology using Alloy
16th Korea Computer Congress
·
25 Jun 2014
·
[no id info]
XACML Policy Viewer for Generating Effective Access Control Policies
한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학 연구회
·
01 Feb 2014
·
[no id info]
An Advanced Hyper-Efficient Design to Detect Random Peer-to-Peer Botnets
Communications in Computer and Information Science (CCIS), IMTIC 2013
·
01 Jan 2014
·
[no id info]
2013
Extended Mind Map for Software Requirement Specification
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
01 Jun 2013
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE02217171
Vulnerability of Web-Storage in HTML5
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
01 Jun 2013
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE02217244
Conflict Detection Algorithm for XACML Policies
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
·
01 Jun 2013
·
https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE02217182
2011
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform
ECMFA 2011 - Modelling Foundations and Applications
·
01 Jun 2011
·
https://link.springer.com/chapter/10.1007/978-3-642-21470-7_12
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization
ECMFA 2011 - Modelling Foundations and Applications
·
01 Jun 2011
·
https://link.springer.com/chapter/10.1007/978-3-642-21470-7_27
2010
Theorem Prover Approach to Semistructured Data Design
Formal Methods in System Design
·
30 Sep 2010
·
https://link.springer.com/article/10.1007/s10703-010-0099-4
Applying MDE for the Validation of Correct Eclipse Plugin Bundles
Neptune Days
·
01 May 2010
·
[no id info]
2009
Verifying Semistructured Data Normalization Using SWRL
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
·
29 Jul 2009
·
doi:10.1109/TASE.2009.11
Formal Verification of Semistructured Data Models in PVS
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
·
01 Jan 2009
·
[no id info]
2008
Verifying Semistructured Data Normalization Using PVS
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)
·
18 Apr 2008
·
doi:10.1109/ICECCS.2008.23
Correctness Criteria for Normalization of Semistructured Data
19th Australian Conference on Software Engineering (aswec 2008)
·
03 Apr 2008
·
doi:10.1109/ASWEC.2008.4483213
2007
Extended Abstract: Towards Verifying Semistructured Data
Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
·
30 Jan 2007
·
[no id info]
2006
Research into Verifying Semistructured Data
International Conference on Distributed Computing and Internet Technology
·
01 Dec 2006
·
[no id info]
A PVS Approach to Verifying ORA-SS Data Models
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006)
·
01 Jul 2006
·
[no id info]
A Z Approach in Validating ORA-SS Data Models
Electronic Notes in Theoretical Computer Science (ENTCS)
·
16 May 2006
·
doi:10.1016/j.entcs.2006.01.025