Guoxin Su

Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2023

Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration.

[BibT_eX]

[DOI]

Thomas Robinson

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Ranking-Based Partner Selection Strategy in Open, Dynamic and Sociable Environments.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023

Partner Selection Strategy in Open, Dynamic and Sociable Environments.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

LexiFuse+: A Unified One-Class Solution for Imbalanced Short-Text Classification.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on e-Science, 2023

Deep One-Class Fine-Tuning for Imbalanced Short Text Classification in Transfer Learning.

[BibT_eX]

[DOI]

Li Liu

Proceedings of the Advanced Data Mining and Applications - 19th International Conference, 2023

2022

Quantitative Verification for Monitoring Event-Streaming Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

A single smartwatch-based segmentation approach in human activity recognition.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2022

Hand gesture recognition framework using a lie group based spatio-temporal recurrent network with multiple hand-worn motion sensors.

[BibT_eX]

[DOI]

Inf. Sci., 2022

Recognizing Cognitive Load by a Hybrid Spatio-Temporal Causal Model from Multivariate Physiological Data.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Deep One-Class Hate Speech Detection Model.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Strategies Improve Social Welfare: An Empirical Study of Strategic Voting in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the AI 2021: Advances in Artificial Intelligence, 2022

2021

Recognizing diseases with multivariate physiological signals by a DeepCNN-LSTM network.

[BibT_eX]

[DOI]

Appl. Intell., 2021

Stacked LSTM-Based Dynamic Hand Gesture Recognition with Six-Axis Motion Sensors.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Agents, 2021

Multiagent Task Allocation and Planning with Multi-Objective Requirements.

[BibT_eX]

[DOI]

Thomas Robinson

Yamilet R. Serrano Llerena

Minjie Zhang

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Wavelet packet analysis for speaker-independent emotion recognition.

[BibT_eX]

[DOI]

Neurocomputing, 2020

2018

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2018

2017

Towards complex activity recognition using a Bayesian network-based probabilistic generative framework.

[BibT_eX]

[DOI]

Pattern Recognit., 2017

A framework of mining semantic-based probabilistic event relations for complex activity recognition.

[BibT_eX]

[DOI]

Inf. Sci., 2017

Probabilistic model checking of perturbed MDPs with applications to cloud computing.

[BibT_eX]

[DOI]

Yamilet R. Serrano Llerena

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

ProEva: runtime proactive performance evaluation based on continuous-time markov chains.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

An Inferential Metamorphic Testing Approach to Reduce False Positives in SQLIV Penetration Test.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.

[BibT_eX]

[DOI]

Giordano Tamburrelli

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.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2014

Perturbation analysis of stochastic systems with empirical distribution parameters.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Perturbation Analysis in Verification of Discrete-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Software architecture modelling and analysis in process algebra

[BibT_eX]

[DOI]

PhD thesis, 2013

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Session Communication and Integration

[BibT_eX]

[DOI]

Mingsheng Ying

Chengqi Zhang

CoRR, 2012

Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles.

[BibT_eX]

[DOI]

Mingsheng Ying

Chengqi Zhang

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.

[BibT_eX]

[DOI]