2023
Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study.
J. Syst. Softw., December, 2023
Timed pattern-based analysis of collaboration failures in system-of-systems.
J. Syst. Softw., April, 2023
Deep generative model with time series-image encoding for manufacturing fault detection in die casting process.
J. Intell. Manuf., 2023
2022
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.
Inf. Softw. Technol., 2022
Statistical verification using learned usages for evaluating energy-efficient mobile device design.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
2021
Dynamic performance testing and implementation for static var compensator controller via hardware-in-the-loop simulation under large-scale power system with real-time simulators.
Simul. Model. Pract. Theory, 2021
Comparative Experimental Investigation on Optimal Parametric Array Types.
Sensors, 2021
Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems.
Proceedings of the 16th International Conference of System of Systems Engineering, 2021
2020
Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Slicing executable system-of-systems models for efficient statistical verification.
Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019
Statistical Verification Framework for Platooning System of Systems with Uncertainty.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states.
Sci. Comput. Program., 2018
A Meta-Model for Representing System-of-Systems Ontologies.
Proceedings of the 6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2018
2017
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
Modeling and verification for different types of system of systems using PRISM.
Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, 2016
Automated Test Sequence Generation for Function Block Diagram Programs.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
2011
MLP network for optimal MR decision in a large-scale nesting mobile networks.
J. Supercomput., 2011
Design of advanced voltage management system including manual operation mode via real-time simulation.
Proceedings of the 2011 IEEE Industry Applications Society Annual Meeting, 2011
2007
Explicit Routing Designation (ERD) Method the Cache Information in Nested Mobile Networks.
Proceedings of the Computational Science and Its Applications, 2007
2006
A survivability strategy in mobile networks.
IEEE Trans. Veh. Technol., 2006
2005
Intrusion Detection System Based on Multi-class SVM.
Proceedings of the Rough Sets, 2005
An Improved Rectangular Decomposition Algorithm for Imprecise and Uncertain Knowledge Discovery.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005
Fuzzy Post-clustering Algorithm for Web Search Engine.
Proceedings of the Information Retrieval Technology, 2005
2004
A handover scheme in clustered cellular networks.
Future Gener. Comput. Syst., 2004
An Adaptive Proximity Route Selection Scheme in DHT-Based Peer to Peer Systems.
Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004