Huiqun Yu

Int. J. Softw. Eng. Knowl. Eng., 2019

Mutation with Local Searching and Elite Inheritance Mechanism in Multi-Objective Optimization Algorithm: A Case Study in Software Product Line.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2019

A Reliable and Efficient Routing Protocol Based on Virtual Backbone in Vehicular Ad Hoc Networks.

[BibT_eX]

[DOI]

IEICE Trans. Commun., 2019

Research of MDCOP mining based on time aggregated graph for large spatio-temproal data sets.

[BibT_eX]

[DOI]

Zhanquan Wang

Taoli Han

Comput. Sci. Inf. Syst., 2019

An Empirical Studies on Optimal Solutions Selection Strategies for Effort-Aware Just-in-Time Software Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Energy-Aware Resource Scheduling with Fault-Tolerance in Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 2019

Recommender Systems Based on Autoencoder and Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Improved Collaborative Filtering Algorithm Incorporating User Information and Using Differential Privacy.

[BibT_eX]

[DOI]

Jiahui Ren

Xian Xu

Proceedings of the Computer Supported Cooperative Work and Social Computing, 2019

An Empirical Study on Progressive Sampling for Just-in-Time Software Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Quantitative Approaches to Software Quality co-located with 26th Asia-Pacific Software Engineering Conference (APSEC 2019), 2019

Deep Semantic Feature Learning with Embedded Static Metrics for Software Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

A Novel Intelligence Algorithm Based on the Social Group Optimization Behaviors.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

GreenBDT: Renewable-aware scheduling of bulk data transfers for geo-distributed sustainable datacenters.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2018

A parallel portfolio approach to configuration optimization for large software product lines.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2018

Formally modeling and analyzing cost-aware job scheduling for cloud data center.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2018

Particle state change algorithm.

[BibT_eX]

[DOI]

Soft Comput., 2018

Efficient and Reliable Cluster-Based Data Transmission for Vehicular Ad Hoc Networks.

[BibT_eX]

[DOI]

Mob. Inf. Syst., 2018

燃气行业热线数据的情感分析 (Sentiment Analysis of Hotline Data in Gas Industry).

[BibT_eX]

[DOI]

计算机科学, 2018

Floor Heating Customer Prediction Model Based on Random Forest.

[BibT_eX]

[DOI]

Zhihuan Yao

Xian Xu

Int. J. Networked Distributed Comput., 2018

Data-efficient performance learning for configurable systems.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

Towards Energy and Time Efficient Resource Allocation in IoT-Fog-Cloud Environment.

[BibT_eX]

[DOI]

Huaiying Sun

Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018

Mosquito Host-Seeking Algorithm Based on Random Walk and Game of Life.

[BibT_eX]

[DOI]

Yunxin Zhu

Proceedings of the Intelligent Computing Theories and Application, 2018

imBBO: An Improved Biogeography-Based Optimization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Green, Pervasive, and Cloud Computing - 13th International Conference, 2018

Combining Constraint Solving with Different MOEAs for Configuring Large Software Product Lines: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

An Efficient Approach to Forecasting Monthly Calls for Repair from Gas Consumers.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

A Load-Balanced Approach to Time Efficient Resource Scheduling in SDN-Enabled Data Center.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

A new multi-colony fairness algorithm for feature selection.

[BibT_eX]

[DOI]

Tan Yang

Soft Comput., 2017

基于随机森林算法的推荐系统的设计与实现 (Design and Implementation of Recommender System Based on Random Forest Algorithm).

[BibT_eX]

[DOI]

计算机科学, 2017

基于权限和API特征结合的Android恶意软件检测方法 (Detecting Malware by Combining API and Permission Features).

[BibT_eX]

[DOI]

Shudi Shao

计算机科学, 2017

Coverage-Based Clustering and Scheduling Approach for Test Case Prioritization.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

A game theoretic method to model and analyze attack-defense strategy of resource service in cloud application.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2017

A Competitive Social Spider Optimization with Learning Strategy for PID Controller Optimization.

[BibT_eX]

[DOI]

Zhaolin Lai

Proceedings of the Simulated Evolution and Learning - 11th International Conference, 2017

A Test Suite Reduction Approach to Improving the Effectiveness of Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Software Analysis, 2017

A Regression Test Case Prioritization Algorithm Based on Program Changes and Method Invocation Relationship.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

Mini-XML: An efficient mapping approach between XML and relational database.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

Credit evaluation of gas consumers by combining hierarchy analysis with clustering.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

A Formal Aspect-Oriented Method for Modeling and Analyzing Adaptive Resource Scheduling in Cloud Computing.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2016

JTangCMS: An efficient monitoring system for cloud platforms.

[BibT_eX]

[DOI]

Inf. Sci., 2016

Formally Modeling and Analyzing the Reliability of Cloud Applications.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2016

A new internet of things group search optimizer.

[BibT_eX]

[DOI]

Xiaoting Liu

Int. J. Commun. Syst., 2016

Crystal Energy Optimization Algorithm.

[BibT_eX]

[DOI]

Meiyi Ma

Comput. Intell., 2016

Group mosquito host-seeking algorithm.

[BibT_eX]

[DOI]

Xiaoting Liu

Appl. Intell., 2016

A mathematical model of performance-relevant feature interactions.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Attack-defense trees based cyber security analysis for CPSs.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Multi-Objective Biogeography-Based Method to Optimize Virtual Machine Consolidation.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Test Case Prioritization Approach to Improving the Effectiveness of Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

iCPBBOCO: A Combination Evaluation Algorithm Based on the Extensional BBO.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

SDGR: An SDN-Based Geographic Routing Protocol for VANET.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

Modeling and Analyzing Cost and Utilization Based Task Scheduling for Cloud Application.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

A novel optimization algorithm inspired by the creative thinking process.

[BibT_eX]

[DOI]

Ru Zou

Soft Comput., 2015

A method for tool condition monitoring based on sensor fusion.

[BibT_eX]

[DOI]

Kaifeng Zhang

Buchanagandi Enock Nyamajeje

Peng Nie

J. Intell. Manuf., 2015

Reducing Network Bandwidth Cost on End User Resources Consumption in Cloud Environment.

[BibT_eX]

[DOI]

J. Comput. Sci., 2015

Fine-Grained Access Control via XACML Policy Optimization in Cloud Computing.

[BibT_eX]

[DOI]

Xin Pei

Int. J. Softw. Eng. Knowl. Eng., 2015

A formal aspect-oriented method to model and analyse secure service composition.

[BibT_eX]

[DOI]

Int. J. Auton. Adapt. Commun. Syst., 2015

Social Group Search Optimizer Algorithm for Ad Hoc Network.

[BibT_eX]

[DOI]

Ad Hoc Sens. Wirel. Networks, 2015

Formally Modeling and Analyzing the Reliability of Composite Service Evolution.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Achieving Efficient Access Control via XACML Policy in Cloud Computing.

[BibT_eX]

[DOI]

Xin Pei

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Modeling and Analyzing Adaptive Energy Consumption for Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Geographical Job Scheduling in Data Centers with Heterogeneous Demands and Servers.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Untrusted User Detection in Microblogs.

[BibT_eX]

[DOI]

Zidan Yu

Proceedings of the 13th IEEE International Conference on Trust, 2014

A Novel Resource Scheduling Approach in Container Based Clouds.

[BibT_eX]

[DOI]

Xin Xu

Xin Pei

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Formal Modeling and Analyzing the Reliability for Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Petri net based techniques for constructing reliable service composition.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Behavioral modeling with the new bio-inspired coordination generalized molecule model algorithm.

[BibT_eX]

[DOI]

Francis C. M. Lau

Inf. Sci., 2013

A novel bio-inspired approach based on the behavior of mosquitoes.

[BibT_eX]

[DOI]

Francis C. M. Lau

Inf. Sci., 2013

Energy-aware self-organisation algorithms with heterogeneous connectivity in wireless sensor networks.

[BibT_eX]

[DOI]

Xiaojuan Luo

Xiang Wang

Int. J. Syst. Sci., 2013

Aspect Orientation Based Test Case Selection Strategy for Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing.

[BibT_eX]

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

A QoS-Constrained Resource Allocation Game in Federated Cloud.

[BibT_eX]

[DOI]

Xin Xu

Xinyu Cong

Proceedings of the Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2013

Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer.

[BibT_eX]

[DOI]

Xinyu Cong

Xin Xu

Proceedings of the Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2013

A TAOPN Approach to Modeling and Scheduling Cyber-Physical Systems.

[BibT_eX]

[DOI]

Zhilin Qian

Proceedings of the International Conference on Information Science and Applications, 2013

A Fault Tolerant Strategy in Hybrid Cloud Based on QPN Performance Model.

[BibT_eX]

[DOI]

Min Lu

Proceedings of the International Conference on Information Science and Applications, 2013

Modeling and Optimizing Resource Scheduling for Service Composition Based on Queuing Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

A Game Theoretic Method to Model and Evaluate Attack-Defense Strategy in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

Modeling UML sequence diagrams using extended Petri nets.

[BibT_eX]

[DOI]

Telecommun. Syst., 2012

Modeling and quantitatively predicting software security based on stochastic Petri nets.

[BibT_eX]

[DOI]

Math. Comput. Model., 2012

Modelling UML sequence diagrams with aspect-oriented extended Petri nets.

[BibT_eX]

[DOI]

Nianhua Yang

Hua Sun

Int. J. Comput. Appl. Technol., 2012

A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Model Based Byzantine Fault Detection Technique for Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2011

Scheduling Real-Time Embedded Systems Based on TCPNIA.

[BibT_eX]

[DOI]

J. Softw., 2011

An Approach to Analyzing Time Constrained Service Composition.

[BibT_eX]

[DOI]

J. Comput., 2011

Bilinear Parings in Property-based attestation.

[BibT_eX]

[DOI]

Ting Chen

J. Comput., 2011

Modeling Activity Diagrams with Extended Petri Nets.

[BibT_eX]

[DOI]

Intell. Autom. Soft Comput., 2011

A Certificate Driven Access Control Strategy for Service Composition and Its Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

An Approach to Handling Failure Recovery in Service Composition and Its Analysis.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A Regression Test Technique for Analyzing the Functionalities of Service Composition.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

An Approach to Modeling and Analyzing Security Requirements of Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

An Approach to Analyzing User Preference based Dynamic Service Composition.

[BibT_eX]

[DOI]

J. Softw., 2010

A Fault-Tolerant Strategy for Improving the Reliability of Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

Mapping UML Activity Diagrams to Analyzable Petri Net Models.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

Aspect Oriented Approach to Building Secure Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

An Aspect Oriented Approach to Analyzing Fault of Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009

A Classification of Aspect Composition Problems.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

An Approach to Analyzing Dynamic Trustworthy Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, Fourth Asian Conference, 2009

A Method for Modeling and Analyzing Fault-Tolerant Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Analyzing Reliability of Time Constrained Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

An Improved V-MDAV Algorithm for l-Diversity.

[BibT_eX]

[DOI]

Jian-min Han

Ting-ting Cen

Proceedings of the International Symposium on Information Processing, 2008

A Complete (alpha, k)-Anonymity Model for Sensitive Values Individuation Preservation.

[BibT_eX]

[DOI]

Proceedings of The International Symposium on Electronic Commerce and Security, 2008

Modeling and Analyzing Time Constrains for Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

An Extended RBAC Model based on Granular Logic.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Granular Computing, 2008

A Multivariate Immune Clonal Selection Microaggregation Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Granular Computing, 2008

An Efficient K-anonymization Algorithm Combining C-modes with MDAV.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Granular Computing, 2008

An Efficient Microaggregation Algorithm for Mixed Data.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Analyzing BPEL Compositionality Based on Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2006

Modeling Complex Software Systems Using an Aspect Extension of Object-Z.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Research of Local Co-location Pattern in Spatial Event Sequences.

[BibT_eX]

[DOI]

Zhanquan Wang

Haibo Chen

Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 2006

2005

Formal Aspect-Oriented Modeling and Analysis by Aspect.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Mediation framework modeling and verification by SAM.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Mediation security specification and enforcement for heterogeneous databases.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Secure Software Architectures Design by Aspect Orientation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Mediation Systems Modeling and Verification.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

Formally analyzing software architectural specifications using SAM .

[BibT_eX]

[DOI]

J. Syst. Softw., 2004

Integrating Security Administration into Software Architectures Design.

[BibT_eX]

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Enhancing Mediation Security by Aspect-Oriented Approach.

[BibT_eX]

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Applying Aspect-Orientation in Designing Security Systems: A Case Study.

[BibT_eX]

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

A Formal Approach to Designing Secure Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Formal Software Architecture Design of Secure Distributed Systems.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

Modeling and Analyzing SMIL Documents in SAM.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

Formal Analysis of Real-Time Systems with SAM.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

A Formal Method for Analyzing Software Architecture Models in SAM.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

1999

Deciding quasi-reducibility using witnessed test sets.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

1998

Completeness of the accumulation calculus.

[BibT_eX]

[DOI]

Guoxin Song

Yongqiang Sun

J. Comput. Sci. Technol., 1998

Proving Inductive Theorems Using Witnessed Test Sets.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1996

Hybridity in embedded computing systems.

[BibT_eX]

[DOI]

Yongqiang Sun

J. Comput. Sci. Technol., 1996

1994

A Calculus for Hybrid Sampled Data Systems.

[BibT_eX]

[DOI]