Nacha Chondamrongkul

Orcid: 0000-0002-5344-2326

According to our database1, Nacha Chondamrongkul authored at least 17 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Software evolutionary architecture: Automated planning for functional changes.
Sci. Comput. Program., August, 2023

Automatic Extraction of Ontological Explanation for Machine Learning-Based Systems.
Int. J. Softw. Eng. Knowl. Eng., January, 2023

2022
Architectural Refactoring for Functional Properties in Evolutionary Architecture.
Proceedings of the 19th IEEE International Conference on Software Architecture, 2022

2021
Software Architectural Migration: An Automated Planning Approach.
ACM Trans. Softw. Eng. Methodol., 2021

Formal security analysis for software architecture design: An expressive framework to emerging architectural styles.
Sci. Comput. Program., 2021

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

Formal Security Analysis for Blockchain-based Software Architecture.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

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

Automated Security Analysis for Microservice Architecture.
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

Automated Planning for Software Architectural Migration.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Formal Software Architectural Migration Towards Emerging Architectural Styles.
Proceedings of the Software Architecture - 14th European Conference, 2020

2019
PAT approach to Architecture Behavioural Verification.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Parallel Verification of Software Architecture Design.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018
ERP implementation in university: a case study in Thailand.
Int. J. Bus. Inf. Syst., 2018

Ontology-based Software Architectural Pattern Recognition and Reasoning (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2016
Model-driven framework to support evolution of mobile applications in multi-cloud environments.
Int. J. Pervasive Comput. Commun., 2016

2011
Application Runtime Framework for Model-Driven Development.
Proceedings of the Software Engineering, Business Continuity, and Education, 2011


  Loading...