Pengcheng Zhang

IEEE Trans. Knowl. Data Eng., 2021

FunkR-pDAE: Personalized Project Recommendation Using Deep Learning.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2021

RSDF-AM-LSTM: Regional Scale Division Rainfall Forecasting Using Attention and LSTM.

[BibT_eX]

[DOI]

Trans. Data Sci., 2021

Mobility and Dependence-Aware QoS Monitoring in Mobile Edge Computing.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2021

Arbitrary-Shaped Building Boundary-Aware Detection With Pixel Aggregation Network.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021

Low-dose CT image denoising via frequency division and encoder-dual decoder GAN.

[BibT_eX]

[DOI]

Signal Image Video Process., 2021

Surface and high-altitude combined rainfall forecasting using convolutional neural network.

[BibT_eX]

[DOI]

Wennan Cao

Peer-to-Peer Netw. Appl., 2021

Verifiable Model Construction for Business Processes.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2021

Nanomechanics: emerging opportunities for future computing.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2021

TIDB: a comprehensive database of trained immunity.

[BibT_eX]

[DOI]

Database J. Biol. Databases Curation, 2021

A Dual-Domain CNN-Based Network for CT Reconstruction.

[BibT_eX]

[DOI]

IEEE Access, 2021

Hierarchical Cross-Modal Graph Consistency Learning for Video-Text Retrieval.

[BibT_eX]

[DOI]

Proceedings of the SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2021

When Cloud Storage Meets RDMA.

[BibT_eX]

[DOI]

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Fluorescence Enhancement Utilizing Dielectric Microbeads with Semi-open Microwells.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2021

Photonic Nanojet Produced by A Microfluidic Channel for Biofluid Monitoring.

[BibT_eX]

[DOI]

Guoqiang Gu

Hui Yang

Proceedings of the 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2021

Dynamic Adjustment Policy of Search Driver Matching Distance via Markov Decision Process.

[BibT_eX]

[DOI]

Suiming Guo

Qianrong Shen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

Smart Contract Vulnerability Detection Using Code Representation Fusion.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

Toward a High-Throughput Wireless Smart Arena for Behavioral Experiments on Small Animals.

[BibT_eX]

[DOI]

S. Abdollah Mirbozorgi

Yaoyao Jia

Maysam Ghovanloo

IEEE Trans. Biomed. Eng., 2020

Short-Term Rainfall Forecasting Using Multi-Layer Perceptron.

[BibT_eX]

[DOI]

IEEE Trans. Big Data, 2020

Retrieval of Water Quality Parameters from Hyperspectral Images Using Hybrid Bayesian Probabilistic Neural Network.

[BibT_eX]

[DOI]

Remote. Sens., 2020

Interpretable spatio-temporal attention LSTM model for flood forecasting.

[BibT_eX]

[DOI]

Neurocomputing, 2020

Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review.

[BibT_eX]

[DOI]

Wennan Cao

Henry Muccini

CoRR, 2020

SeWG: Security-enhanced WireGuard for Android Based on TEE.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

TrustyShare: A Sharing Scheme using ARM TrustZone.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Flow Event Telemetry on Programmable Data Plane.

[BibT_eX]

[DOI]

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

Research on Light Path Switching and Adjustment Mechanism of Ocular Surface and Fundus Photography for TCM Liver Disease Eye Diagnostic Instrument.

[BibT_eX]

[DOI]

Proceedings of the RICAI 2020: 2nd International Conference on Robotics, 2020

Thermal Simulation Analysis of Carrier Module Electronic Components Applied in Downhole Safety Valve Control System.

[BibT_eX]

[DOI]

Proceedings of the RICAI 2020: 2nd International Conference on Robotics, 2020

Design of Reactive Resonant Shielding for Multi-EnerCage-HC System.

[BibT_eX]

[DOI]

Yaoyao Jia

S. Abdollah Mirbozorgi

Maysam Ghovanloo

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

Multivariate QoS Monitoring in Mobile Edge Computing based on Bayesian Classifier and Rough Set.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Web Services, 2020

Security-Aware QoS Forecasting in Mobile Edge Computing based on Federated Learning.

[BibT_eX]

[DOI]

Huiying Jin

Hai Dong

Proceedings of the 2020 IEEE International Conference on Web Services, 2020

A Framework and DataSet for Bugs in Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Feng Xiao

Xiapu Luo

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Jianan Yu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Source Code Obfuscation for Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

An image reconstruction algorithm for electrical impedance tomography using Symkaczmarz based on structured sparse representation.

[BibT_eX]

[DOI]

Trans. Inst. Meas. Control, 2019

Resonant Wireless Charging System Design for 110-kV High-Voltage Transmission Line Monitoring Equipment.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2019

A reliable traffic prediction approach for bike-sharing system by exploiting rich information with temporal link prediction strategy.

[BibT_eX]

[DOI]

Trans. GIS, 2019

A Dual-Band Wireless Power Transmission System for Evaluating mm-Sized Implants.

[BibT_eX]

[DOI]

Yaoyao Jia

S. Abdollah Mirbozorgi

IEEE Trans. Biomed. Circuits Syst., 2019

SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions.

[BibT_eX]

[DOI]

Feng Xiao

Xiapu Luo

CoRR, 2019

CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems.

[BibT_eX]

[DOI]

Qiyin Dai

Patrizio Pelliccione

CoRR, 2019

Aperture Shape Generation Based on Gradient Descent With Momentum.

[BibT_eX]

[DOI]

IEEE Access, 2019

Urban Street Cleanliness Assessment Using Mobile Edge Computing and Deep Learning.

[BibT_eX]

[DOI]

IEEE Access, 2019

Position Measurement of Laser Center by Using 2-D PSD and Fixed-Axis Rotating Device.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Column Generation Approach Based on Region Growth.

[BibT_eX]

[DOI]

IEEE Access, 2019

Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service.

[BibT_eX]

[DOI]

IEEE Access, 2019

Topological Structure Synthesis of a Novel Multi-mode Parallel Container Spreader Based on POC Sets.

[BibT_eX]

[DOI]

Proceedings of the RICAI 2019: International Conference on Robotics, 2019

KPaM: A Key Protection Framework for Mobile Devices Based on Two-party Computation.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

Condition-Guided Adversarial Generative Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

Qiyin Dai

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Neural Network Based Test Case Generation for Data-Flow Oriented Testing.

[BibT_eX]

[DOI]

Qin Chen

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Leveraging Hierarchical Deep Semantics to Classify Implicit Discourse Relations via a Mutual Learning Method.

[BibT_eX]

[DOI]

ACM Trans. Asian Low Resour. Lang. Inf. Process., 2018

Road Centerline Extraction from Very-High-Resolution Aerial Image and LiDAR Data Based on Road Connectivity.

[BibT_eX]

[DOI]

Remote. Sens., 2018

基于灰度图纹理指纹的恶意软件分类 (Malware Classification Based on Texture Fingerprint of Gray-scale Images).

[BibT_eX]

[DOI]

计算机科学, 2018

Automatic generation of predictive monitors from scenario-based specifications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Weighted Bayesian Runtime Monitor: A Novel QoS Monitoring Approach Sensitive to Environmental Factors.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2018

Android-SRV: Scenario-Based Runtime Verification of Android Applications.

[BibT_eX]

[DOI]

Kun Cheng

Jerry Gao

Int. J. Softw. Eng. Knowl. Eng., 2018

SmartClean: Smart City Street Cleanliness System Using Multi-Level Assessment Model - Research Notes.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2018

Movement-Oriented Objectified Organization and Retrieval Approach for Heterogeneous GeoVideo Data.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2018

Construction and Optimization of Three-Dimensional Disaster Scenes within Mobile Virtual Reality.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2018

Tunable dual-mode filtering power divider with harmonic suppression.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2018

A deep belief network based precipitation forecast approach using multiple environmental factors.

[BibT_eX]

[DOI]

Intell. Data Anal., 2018

Application of optimization model with piecewise penalty to intensity-modulated radiation therapy.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

The Aperture Shape Optimization Based on Fuzzy Enhancement.

[BibT_eX]

[DOI]

IEEE Access, 2018

The Effects of Social Relationships and the Justice Environment on Creative Idea Endorsement.

[BibT_eX]

[DOI]

IEEE Access, 2018

A Stepwise Spatio-Temporal Flow Clustering Method for Discovering Mobility Trends.

[BibT_eX]

[DOI]

IEEE Access, 2018

Automatic Segmentation of Cervical Nuclei Based on Deep Learning and a Conditional Random Field.

[BibT_eX]

[DOI]

IEEE Access, 2018

A Novel QoS Prediction Approach for Cloud Services Using Bayesian Network Model.

[BibT_eX]

[DOI]

IEEE Access, 2018

Design and Optimization of Load-Independent Magnetic Resonant Wireless Charging System for Electric Vehicles.

[BibT_eX]

[DOI]

IEEE Access, 2018

Sparse-view CT reconstruction with improved GoogLeNet.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging 2018: Biomedical Applications in Molecular, 2018

Time Series Similarity Search Based on Positive and Negative Query.

[BibT_eX]

[DOI]

Jimin Wang

Qi Liu

Proceedings of the Big Data - BigData 2018, 2018

2017

Efficient Alignment Between Event Logs and Process Models.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2017

Cluster Cooperation in Wireless-Powered Sensor Networks: Modeling and Performance Analysis.

[BibT_eX]

[DOI]

Chao Zhang

Weizhan Zhang

Sensors, 2017

Expanding signaling-molecule wavefront model of cell polarization in the Drosophila wing primordium.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2017

A Virtual Geographic Environment for Debris Flow Risk Analysis in Residential Areas.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2017

RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network.

[BibT_eX]

[DOI]

IEEE Access, 2017

An Efficient Method for Improving the Dose-Volume-Based Optimization Plan Quality.

[BibT_eX]

[DOI]

IEEE Access, 2017

Data quality in big data processing: Issues, solutions and open problems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

A Web Service QoS Forecasting Approach Based on Multivariate Time Series.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Dynamic imaging based on spatio-temporal information for electrical impedance tomography.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2017

A Survey on Quality Assurance Techniques for Big Data Applications.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Big Data Computing Service and Applications, 2017

On Building a Big Data Analysis System for California Drought.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Big Data Computing Service and Applications, 2017

A Deep-Learning Based Precipitation Forecasting Approach Using Multiple Environmental Factors.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Congress on Big Data, 2017

AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes.

[BibT_eX]

[DOI]

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

2016

A New Symbolization and Distance Measure Based Anomaly Mining Approach for Hydrological Time Series.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2016

An Automatic Recovery Mechanism for Cloud Service Composition.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2016

Model based verification of dynamically evolvable service oriented systems.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

A Novel QoS Prediction Approach for Cloud Service Based on Bayesian Networks Model.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Mobile Services, MS 2016, San Francisco, CA, USA, June 27, 2016

Effa: a proM plugin for recovering event logs.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Discourse Relation Sense Classification Systems for CoNLL-2016 Shared Task.

[BibT_eX]

[DOI]

Proceedings of the 20th SIGNLL Conference on Computational Natural Language Learning: Shared Task, 2016

A Combinational QoS-Prediction Approach Based on RBF Neural Network.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

A Novel QoS Monitoring Approach Sensitive to Environmental Factors.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Heuristic Recovery of Missing Events in Process Logs.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Hydrological Big Data Prediction Based on Similarity Search and Improved BP Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

2014

Multi-measure Similarity Searching for Time Series.

[BibT_eX]

[DOI]

J. Comput., 2014

Hierarchical timed automata based verification of dynamic evolution process in open environments.

[BibT_eX]

[DOI]

Yu Zhou

Jidong Ge

Proceedings of the International Conference on Software and Systems Process 2014, 2014

Hydrological Time Series Anomaly Mining Based on Symbolization and Distance Measure.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013

Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications.

[BibT_eX]

[DOI]

IET Softw., 2013

Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics.

[BibT_eX]

[DOI]

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Game-Based Monitors for Scenario-Based Specification.

[BibT_eX]

[DOI]

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

A new pencil beam model for photon dose calculations.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013

On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic.

[BibT_eX]

[DOI]

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

Sky-MCSP-R: An Efficient Graph-Based Web Service Composition Approach.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Comparing and Improving the Synthesis of State-Based Specifications from Scenario-Based Specifications.

[BibT_eX]

[DOI]

Zhijian Wang

Int. J. Softw. Eng. Knowl. Eng., 2012

Predicting Failures in Dynamic Composite Services with Proactive Monitoring Technique.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE World Congress on Services, 2012

A Framework for Self-Healing Service Compositions in Cloud Computing Environments.

[BibT_eX]

[DOI]

Zhongxue Yang

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011

Monitoring of Probabilistic Timed Property Sequence Charts.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

A novel multi-agent reinforcement learning approach for job scheduling in Grid computing.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2011

Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications.

[BibT_eX]

[DOI]

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

Run-time systems failure prediction via proactive monitoring.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Design of achromatic terahertz quarter wave plate by simulated annealing algorithm.

[BibT_eX]

[DOI]

Guobin Ren

Proceedings of the 2011 International Conference on Advanced Infocom Technology, 2011

Model Checking WS-BPEL with Universal Modal Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACIS International Conference on Computer and Information Science, 2011

2010

A classification and comparison of model checking software architecture techniques.

[BibT_eX]

[DOI]

Henry Muccini

J. Syst. Softw., 2010

Timed Property Sequence Chart.

[BibT_eX]

[DOI]

Lars Grunske

J. Syst. Softw., 2010

Model and Verification of WS-CDL Based on UML Diagrams.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2010

WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Establishing rapid production system of ortho image based on aerial camera with high-precision POS system.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

2009

Monitoring probabilistic properties.

[BibT_eX]

[DOI]

Lars Grunske

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A Formal Syntax for Probabilistic Timed Property Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Reinforcement Learning Control of a Real Mobile Robot Using Approximate Policy Iteration.

[BibT_eX]

[DOI]