论文名称

全部作者

刊物/会议名称

收录情况

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques

Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra

IEEE Transactions on Computers

CCF A

Mitigating the Impact of Hardware Variability for GPGPUs Register File

Jingweijia Tan, Mingsong Chen, Yang Yi, Xin Fu

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

CCF A

Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory

Jingweijia Tan, Zhi Li, Mingsong Chen, Xin Fu

 ACM Transactions on Design Automation of Electronic Systems

CCF B

Quantitative timing analysis of UML activity diagrams using statistical model checking

Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Große, Rolf Drechsler

Design, Automation & Test in Europe

CCF B

Prediction of neonatal amplitude-integrated EEG based on LSTM method

Lizhe Liu, Weiting Chen, Guitao Cao

2016 IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2016)

CCF-B

Automated coverage-driven testing: combining symbolic execution and model checking

Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su:

SCIENCE CHINA Information

CCF-B

A Deep Tongue Image Features Analysis Model for

Dan Meng,Guitao Cao,Ye Duan,Minghua Zhu,Liping Tu,Jiatuo Xu,Dong Xu

IEEE BIBM 2016

CCF-B

Implementing Dense Optical Flow Computation on a Heterogeneous FPGA SoC in C

Wenjie Chen, Zhibin Wang, Qin Wu, Jiuzhen Liang, Zhilei Chai

ACM Transactions on Architecture and Code Optimization (TACO)

CCFB/SCI

Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking

Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen

International Conference on Software Quality, Reliability and Security

CCF C

FPGA-Based Parallel Implementation of SURF Algorithm

Wenjie Chen, Shuaishuai Ding, Zhilei Chai, Daojing He, Weihua Zhang, Guanhua Zhang, Qiwei Peng, Wang Luo

ICPADS

CCF-C

Formalization and Verification of the Powerlink Protocol using CSP

Haiping Pang,Ju Li,Yijia Ruan，Yanhong Huang，Jianqi Shi，and Shengchao Qin

23rd Asia-Pacific Software Engineering Conference

CCF-C

An Evolutionary Method for the Formal Specification Construction of Service-Based Software.

Weikai Miao，Xi Wang

International Journal of Software Engineering and Knowledge Engineering 

CCF-C

Automated Requirements Validation for ATP Software via Specification Review and Testing

Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong:

International Conference on Formal Engineering Methods

CCF-C

Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking

Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen:

IEEE International Conference on Software Quality, Reliability and Security,

CCF-C

Bayesian Statistical Model-Checking for Complex
Stochastic Systems

Jia He, Min Zhang, Kangli He, Yannan Guo and Yusi Lei

2016 10th International Symposium on Theoretical Aspects of Software Engineering

CCF-C

Towards Lightweight Anonymous Entity Authentication for IoT Applications

Yanjiang Yang, Haibin Cai, Zhuo Wei, Haibing Lu, Kim-Kwang Raymond Choo

 ACISP 2016

CCF-C

Logical characterizations of simulation and bisimulation for fuzzy transition systems

Hengyang Wu, Yuxin Deng

Fuzzy sets and systems

SCI一区/CCF-C

Ensemble-based multi-filter feature selection method for DDoS detection in cloud computing

Opeyemi A. Osanaiye, Haibin Cai, Kim-Kwang Raymond Choo, Ali Dehghantanha, Zheng Xu, Mqhele E. Dlodlo

EURASIP J. Wireless Comm. and Networking

SCI三区/CCF-C

Automated Classification of Neonatal Amplitude-integrated EEG based on Gradient Boosting Method

Tao Yang, Weiting Chen, Guitao Cao

Biomedical Signal Processing and Control

SCI