2025
Diffusion of Ordinal Opinions in Social Networks: An Agent-Based Model and Heuristics for Campaigning.
IEEE Trans. Comput. Soc. Syst., February, 2025
Human attention guided multiagent hierarchical reinforcement learning for heterogeneous agents.
Knowl. Based Syst., 2025
Human-understandable explanation for software vulnerability prediction.
J. Syst. Softw., 2025
2024
Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification.
Future Internet, September, 2024
A pool-based simulated annealing approach for preference-aware influence maximisation in social networks.
Knowl. Based Syst., 2024
Scaling Up Multi-Agent Reinforcement Learning: An Extensive Survey on Scalability Issues.
IEEE Access, 2024
Predicting Voting Outcomes for Multi-Alternative Elections in Social Networks.
IEEE Access, 2024
Anomalous Speech Detection: Unleashing the Adaptive Power of VarietyDetect for Enhanced Short-Text Anomaly Detection through Transfer Learning and Self-Training.
Proceedings of the IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology, 2024
Integrating Suboptimal Human Knowledge with Hierarchical Reinforcement Learning for Large-Scale Multiagent Systems.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Predicting Fall Events by a Spatio-Temporal Topological Network with Multiple Wearable Sensors.
Proceedings of the IEEE International Conference on Acoustics, 2024
2023
Predicting lung cancer survival based on clinical data using machine learning: A review.
Comput. Biol. Medicine, October, 2023
Influence Propagation Based Influencer Detection in Online Forum.
IEICE Trans. Inf. Syst., April, 2023
Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes.
Future Internet, 2023
Counterfactual-based minority oversampling for imbalanced classification.
Eng. Appl. Artif. Intell., 2023
Information Gerrymandering in Elections.
Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2023
LexiFusedNet: A Unified Approach for Imbalanced Short-Text Classification Using Lexicon-Based Feature Extraction, Transfer Learning and One Class Classifiers.
Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2023
Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Ranking-Based Partner Selection Strategy in Open, Dynamic and Sociable Environments.
Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023
Partner Selection Strategy in Open, Dynamic and Sociable Environments.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
LexiFuse+: A Unified One-Class Solution for Imbalanced Short-Text Classification.
Proceedings of the 19th IEEE International Conference on e-Science, 2023
Deep One-Class Fine-Tuning for Imbalanced Short Text Classification in Transfer Learning.
Proceedings of the Advanced Data Mining and Applications - 19th International Conference, 2023
2022
Quantitative Verification for Monitoring Event-Streaming Systems.
IEEE Trans. Software Eng., 2022
A single smartwatch-based segmentation approach in human activity recognition.
Pervasive Mob. Comput., 2022
Hand gesture recognition framework using a lie group based spatio-temporal recurrent network with multiple hand-worn motion sensors.
Inf. Sci., 2022
Recognizing Cognitive Load by a Hybrid Spatio-Temporal Causal Model from Multivariate Physiological Data.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022
Deep One-Class Hate Speech Detection Model.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022
Strategies Improve Social Welfare: An Empirical Study of Strategic Voting in Social Networks.
Proceedings of the AI 2021: Advances in Artificial Intelligence, 2022
2021
Recognizing diseases with multivariate physiological signals by a DeepCNN-LSTM network.
Appl. Intell., 2021
Stacked LSTM-Based Dynamic Hand Gesture Recognition with Six-Axis Motion Sensors.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
Predicting Readmission Following Hospital Treatment for Patients with Alcohol Related Diagnoses in an Australian Regional Health District.
Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021
Influential Online Forum User Detection Based on User Contribution and Relevance.
Proceedings of the IEEE International Conference on Agents, 2021
Multiagent Task Allocation and Planning with Multi-Objective Requirements.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
Wavelet packet analysis for speaker-independent emotion recognition.
Neurocomputing, 2020
2018
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Recognizing Diseases from Physiological Time Series Data Using Probabilistic Model.
Proceedings of the Knowledge Science, Engineering and Management, 2018
2017
Towards complex activity recognition using a Bayesian network-based probabilistic generative framework.
Pattern Recognit., 2017
A framework of mining semantic-based probabilistic event relations for complex activity recognition.
Inf. Sci., 2017
Probabilistic model checking of perturbed MDPs with applications to cloud computing.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
ProEva: runtime proactive performance evaluation based on continuous-time markov chains.
Proceedings of the 39th International Conference on Software Engineering, 2017
An Inferential Metamorphic Testing Approach to Reduce False Positives in SQLIV Penetration Test.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.
IEEE Trans. Software Eng., 2016
Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.
Proceedings of the 38th International Conference on Software Engineering, 2016
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2016
2014
Perturbation analysis of stochastic systems with empirical distribution parameters.
Proceedings of the 36th International Conference on Software Engineering, 2014
Perturbation Analysis in Verification of Discrete-Time Markov Chains.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters.
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Software architecture modelling and analysis in process algebra
PhD thesis, 2013
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Session Communication and Integration
CoRR, 2012
Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
2010
An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection.
Proceedings of the Software Architecture, 4th European Conference, 2010