


Остановите войну!
for scientists:
Mingsong Chen
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j54]Changjiang Gou, Anne Benoit
, Mingsong Chen, Loris Marchal, Tongquan Wei
:
Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints. J. Parallel Distributed Comput. 163: 45-61 (2022) - [j53]Wupan Zhao, Yutong Ye, Jiepin Ding, Ting Wang, Tongquan Wei, Mingsong Chen:
Special issue on Reliable Software Technologies (AEiC2021). J. Syst. Archit. 123: 102376 (2022) - [j52]Junlong Zhou
, Kun Cao
, Xiumin Zhou, Mingsong Chen
, Tongquan Wei
, Shiyan Hu
:
Throughput-Conscious Energy Allocation and Reliability-Aware Task Assignment for Renewable Powered In-Situ Server Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(3): 516-529 (2022) - [i13]Yanhong Fei, Yingjie Liu, Xian Wei, Mingsong Chen:
O-ViT: Orthogonal Vision Transformer. CoRR abs/2201.12133 (2022) - [i12]Tian Liu, Jiahao Ding, Ting Wang, Miao Pan, Mingsong Chen:
Towards Fast and Accurate Federated Learning with non-IID Data for Cloud-Based IoT Applications. CoRR abs/2201.12515 (2022) - [i11]Ming Hu, Tian Liu, Zhiwei Ling, Zhihao Yue, Mingsong Chen:
FedCAT: Towards Accurate Federated Learning via Device Concatenation. CoRR abs/2202.12751 (2022) - [i10]Bo Li, Ting Wang, Peng Yang, Mingsong Chen, Shui Yu, Mounir Hamdi:
Machine Learning Empowered Intelligent Data Center Networking: A Survey. CoRR abs/2202.13549 (2022) - [i9]Jianzhang Zheng, Fan Yang, Hao Shen, Xuan Tang, Mingsong Chen, Liang Song, Xian Wei:
Learning from Attacks: Attacking Variational Autoencoder for Improving Image Classification. CoRR abs/2203.07027 (2022) - [i8]Jun Xia, Ting Wang, Jiepin Ding, Xian Wei, Mingsong Chen:
Eliminating Backdoor Triggers for Deep Neural Networks Using Attention Relation Graph Distillation. CoRR abs/2204.09975 (2022) - [i7]Zhihao Yue, Jun Xia, Zhiwei Ling, Ting Wang, Xian Wei, Mingsong Chen:
Model-Contrastive Learning for Backdoor Defense. CoRR abs/2205.04411 (2022) - [i6]Xiao Du, Ting Wang, Qiang Feng, Chenhui Ye, Tao Tao, Yuanming Shi, Mingsong Chen:
Multi-agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks. CoRR abs/2205.05036 (2022) - 2021
- [j51]Tian Liu, Yunfei Song, Ming Hu, Jun Xia, Jianning Zhang, Mingsong Chen
:
An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks. J. Circuits Syst. Comput. 30(2): 2150025:1-2150025:16 (2021) - [j50]Mingyue Zhang, Junlong Zhou, Gongxuan Zhang, Minhui Zou
, Mingsong Chen:
EC-BAAS: Elliptic curve-based batch anonymous authentication scheme for Internet of Vehicles. J. Syst. Archit. 117: 102161 (2021) - [j49]Kun Cao
, Tongquan Wei, Mingsong Chen, Keqin Li
, Jian Weng, Wuzheng Tan:
Exploring reliable edge-cloud computing for service latency optimization in sustainable cyber-physical systems. Softw. Pract. Exp. 51(11): 2225-2237 (2021) - [j48]Chengbin Huang, Weiting Chen, Mingsong Chen, Binhang Yuan:
A Feature Fusion Framework and Its Application to Automatic Seizure Detection. IEEE Signal Process. Lett. 28: 753-757 (2021) - [j47]Haifeng Gu, Jianning Zhang, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie:
Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing. IEEE Trans. Computers 70(3): 400-413 (2021) - [j46]Liying Li
, Junlong Zhou
, Tongquan Wei
, Mingsong Chen
, Xiaobo Sharon Hu
:
Learning-Based Modeling and Optimization for Real-Time System Availability. IEEE Trans. Computers 70(4): 581-594 (2021) - [j45]Xinqian Zhang
, Ming Hu, Jun Xia, Tongquan Wei
, Mingsong Chen
, Shiyan Hu
:
Efficient Federated Learning for Cloud-Based AIoT Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(11): 2211-2223 (2021) - [j44]Yunfei Song, Tian Liu, Tongquan Wei
, Xiangfeng Wang
, Zhe Tao, Mingsong Chen
:
FDA$^3$: Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications. IEEE Trans. Ind. Informatics 17(11): 7830-7838 (2021) - [j43]Haifeng Gu
, Zishuai Ge, E. Cao, Mingsong Chen
, Tongquan Wei
, Xin Fu, Shiyan Hu
:
A Collaborative and Sustainable Edge-Cloud Architecture for Object Tracking with Convolutional Siamese Networks. IEEE Trans. Sustain. Comput. 6(1): 144-154 (2021) - [c56]Yutong Ye, Wupan Zhao, Tongquan Wei, Shiyan Hu, Mingsong Chen:
FedLight: Federated Reinforcement Learning for Autonomous Multi-Intersection Traffic Signal Control. DAC 2021: 847-852 - [c55]Ting Wang
, Jiawei Mao, Mingsong Chen, Gang Liu, Jieming Di, Shui Yu:
ICE: Intelligent Caching at the Edge. GLOBECOM 2021: 1-6 - [i5]Tian Liu, Jun Xia, Xian Wei, Ting Wang, Xin Fu, Mingsong Chen:
Efficient Federated Learning for AIoT Applications Using Knowledge Distillation. CoRR abs/2111.14347 (2021) - [i4]Xian Wei, Bin Wang, Mingsong Chen, Ji Yuan, Hai Lan, Jiehuang Shi, Xuan Tang, Bo Jin, Guozhang Chen, Dongping Yang:
ViR: the Vision Reservoir. CoRR abs/2112.13545 (2021) - [i3]Xian Wei, Yanhui Huang, Yangyu Xu, Mingsong Chen, Hai Lan, Yuanxiang Li, Zhongfeng Wang, Xuan Tang:
Learning Robust and Lightweight Model through Separable Structured Transformations. CoRR abs/2112.13551 (2021) - 2020
- [j42]Zhilei Chai, Shen Li, Qunfang He, Mingsong Chen, Wenjie Chen
:
FPGA-Based ROI Encoding for HEVC Video Bitrate Reduction. J. Circuits Syst. Comput. 29(11): 2050182:1-2050182:17 (2020) - [j41]Dongdong An
, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun:
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. 167: 110617 (2020) - [j40]Xin Wang, Yue Yang
, Mingsong Chen, Qin Wang, Qin Qin
, Hua Jiang, Huijiao Wang:
AGNES-SMOTE: An Oversampling Algorithm Based on Hierarchical Clustering and Improved SMOTE. Sci. Program. 2020: 8837357:1-8837357:9 (2020) - [j39]Yongrong Wu, Yijie Zhou, Yanming Feng, Yutian Xiao, Shaojie He, Junsheng Zhou, Tianhe Ren, Jinling Chen
, Mingsong Chen
, Jianbing Xiahou
, Fan Lin
, Chao Huang:
Urban Traffic Signal Control Based on Multiobjective Joint Optimization. Sci. Program. 2020: 8839720:1-8839720:8 (2020) - [j38]Ming Hu
, Wenxue Duan, Min Zhang
, Tongquan Wei
, Mingsong Chen
:
Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4006-4017 (2020) - [j37]Mingsong Chen
, Saijie Huang, Xin Fu, Xiao Liu
, Jifeng He:
Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation. IEEE Trans. Cloud Comput. 8(2): 443-458 (2020) - [j36]Haifeng Gu
, Jianning Zhang, Tian Liu
, Ming Hu, Junlong Zhou
, Tongquan Wei
, Mingsong Chen
:
DIAVA: A Traffic-Based Framework for Detection of SQL Injection Attacks and Vulnerability Analysis of Leaked Data. IEEE Trans. Reliab. 69(1): 188-202 (2020) - [c54]Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen:
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. DATE 2020: 376-381 - [c53]Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li:
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. DATE 2020: 622-625 - [c52]Wenjie Chen, Qunfang He, Shen Li, Bo Xiao, Mingsong Chen, Zhilei Chai:
Parallel Implementation of H.265 Intra-Frame Coding Based on FPGA Heterogeneous Platform. HPCC/DSS/SmartCity 2020: 736-743 - [c51]Haifeng Gu, Mingsong Chen, Yanzhao Wang, Fei Xie:
SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache. ICESS 2020: 1-8 - [c50]Changjiang Gou, Anne Benoit
, Mingsong Chen, Loris Marchal, Tongquan Wei:
Reliable and Energy-aware Mapping of Streaming Series-parallel Applications onto Hierarchical Platforms. SBAC-PAD 2020: 116-123 - [i2]Chenhao Xie, Xin Fu, Mingsong Chen, Shuaiwen Leon Song:
OO-VR: NUMA Friendly Object-Oriented VR Rendering Framework For Future NUMA-Based Multi-GPU Systems. CoRR abs/2001.03537 (2020) - [i1]Yunfei Song, Tian Liu, Tongquan Wei, Xiangfeng Wang, Zhe Tao, Mingsong Chen:
FDA3 : Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications. CoRR abs/2006.15632 (2020)
2010 – 2019
- 2019
- [j35]Junlong Zhou
, Peijin Cong, Jin Sun
, Xiumin Zhou, Tongquan Wei, Mingsong Chen:
Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults. IEEE Access 7: 98462-98473 (2019) - [j34]Kanad Basu, Mingsong Chen, Rubin A. Parekhji:
Guest Editorial. J. Electron. Test. 35(5): 579-580 (2019) - [j33]Kun Cao, Guo Xu, Junlong Zhou, Mingsong Chen, Tongquan Wei, Keqin Li:
Lifetime-aware real-time task scheduling on fault-tolerant mixed-criticality embedded systems. Future Gener. Comput. Syst. 100: 165-175 (2019) - [j32]Kun Cao, Junlong Zhou, Tongquan Wei, Mingsong Chen, Shiyan Hu, Keqin Li:
A survey of optimization techniques for thermal-aware 3D processors. J. Syst. Archit. 97: 397-415 (2019) - [j31]Junlong Zhou, Tian Wang, Peijin Cong, Pingping Lu, Tongquan Wei, Mingsong Chen:
Cost and makespan-aware workflow scheduling in hybrid clouds. J. Syst. Archit. 100 (2019) - [j30]Xinqian Zhang, Tingming Wu, Mingsong Chen
, Tongquan Wei, Junlong Zhou, Shiyan Hu, Rajkumar Buyya
:
Energy-aware virtual machine allocation for cloud with resource reservation. J. Syst. Softw. 147: 147-161 (2019) - [j29]Yangdi Lyu
, Xiaoke Qin, Mingsong Chen
, Prabhat Mishra:
Directed Test Generation for Validation of Cache Coherence Protocols. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(1): 163-176 (2019) - [j28]Kun Cao
, Junlong Zhou
, Peijin Cong
, Liying Li, Tongquan Wei
, Mingsong Chen
, Shiyan Hu
, Xiaobo Sharon Hu
:
Affinity-Driven Modeling and Scheduling for Makespan Optimization in Heterogeneous Multiprocessor Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7): 1189-1202 (2019) - [j27]Liying Li, Peijin Cong
, Kun Cao
, Junlong Zhou
, Tongquan Wei
, Mingsong Chen
, Shiyan Hu
, Xiaobo Sharon Hu
:
Game Theoretic Feedback Control for Reliability Enhancement of EtherCAT-Based Networked Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(9): 1599-1610 (2019) - [j26]Kun Cao
, Guo Xu, Junlong Zhou
, Tongquan Wei
, Mingsong Chen
, Shiyan Hu
:
QoS-Adaptive Approximate Real-Time Computation for Mobility-Aware IoT Lifetime Optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(10): 1799-1810 (2019) - [j25]Junlong Zhou
, Jin Sun
, Xiumin Zhou, Tongquan Wei
, Mingsong Chen
, Shiyan Hu
, Xiaobo Sharon Hu
:
Resource Management for Improving Soft-Error and Lifetime Reliability of Real-Time MPSoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(12): 2215-2228 (2019) - [c49]Jiahao Ding, Xinyue Zhang, Mingsong Chen, Kaiping Xue, Chi Zhang, Miao Pan:
Differentially Private Robust ADMM for Distributed Machine Learning. IEEE BigData 2019: 1302-1311 - [c48]Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet
, Mingsong Chen:
Sample-Guided Automated Synthesis for CCSL Specifications. DAC 2019: 98 - [c47]Liying Li, Tongquan Wei, Junlong Zhou, Mingsong Chen, Xiaobo Sharon Hu
:
CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate. DATE 2019: 1331-1336 - [c46]E. Cao, Saira Musa, Jianning Zhang, Mingsong Chen, Tongquan Wei, Xin Fu, Meikang Qiu:
Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows. ICA3PP (2) 2019: 135-150 - [c45]Xinyu Zhan, Mingsong Chen, Shui Yu
, Yue Zhang:
Adaptive Detection Method for Packet-In Message Injection Attack in SDN. ICA3PP (2) 2019: 482-495 - [c44]Chenhao Xie, Xin Fu
, Mingsong Chen, Shuaiwen Leon Song:
OO-VR: NUMA friendly object-oriented VR rendering framework for future NUMA-based multi-GPU systems. ISCA 2019: 53-65 - [c43]Ruiming Yang, Kun Cao, Peijin Cong, Junlong Zhou, Mingsong Chen, Tongquan Wei:
Personality-Aware VNF Deployment for Profit Maximization. ISPA/BDCloud/SocialCom/SustainCom 2019: 380-387 - 2018
- [j24]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12(5): 1026-1028 (2018) - [j23]Junlong Zhou, Jianming Yan, Kun Cao, Yanchao Tan, Tongquan Wei, Mingsong Chen, Gongxuan Zhang, Xiaodao Chen, Shiyan Hu:
Thermal-aware correlated two-level scheduling of real-time tasks with reduced processor energy on heterogeneous MPSoCs. J. Syst. Archit. 82: 1-11 (2018) - [j22]Tingming Wu, Haifeng Gu, Junlong Zhou, Tongquan Wei, Xiao Liu
, Mingsong Chen:
Soft error-aware energy-efficient task scheduling for workflow applications in DVFS-enabled cloud. J. Syst. Archit. 84: 12-27 (2018) - [j21]Tongquan Wei
, Junlong Zhou
, Kun Cao, Peijin Cong
, Mingsong Chen
, Gongxuan Zhang, Xiaobo Sharon Hu
, Jianming Yan:
Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(9): 1733-1746 (2018) - [j20]Peijin Cong
, Liying Li, Junlong Zhou
, Kun Cao
, Tongquan Wei
, Mingsong Chen
, Shiyan Hu
:
Developing User Perceived Value Based Pricing Models for Cloud Markets. IEEE Trans. Parallel Distributed Syst. 29(12): 2742-2756 (2018) - [j19]Mingsong Chen
, Xinqian Zhang, Haifeng Gu, Tongquan Wei, Qi Zhu:
Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations. IEEE Trans. Sustain. Comput. 3(2): 84-97 (2018) - [c42]Minglan Liang, Mingsong Chen, Zheng Wang, Jingwei Sun:
A CGRA based Neural Network Inference Engine for Deep Reinforcement Learning. APCCAS 2018: 540-543 - [c41]Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie:
Specification-driven automated conformance checking for virtual prototype and post-silicon designs. DAC 2018: 93:1-93:6 - [c40]Junlong Zhou, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu
, Yue Ma, Gongxuan Zhang, Jianming Yan:
Variation-aware task allocation and scheduling for improving reliability of real-time MPSoCs. DATE 2018: 171-176 - [c39]Liying Li, Peijin Cong, Kun Cao, Junlong Zhou, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu
:
Feedback control of real-time EtherCAT networks for reliability enhancement in CPS. DATE 2018: 688-693 - [c38]Shi Dong, Mingsong Chen, Lei Peng
, Huiyun Li:
Parking rank: A novel method of parking lots sorting and recommendation based on public information. ICIT 2018: 1381-1386 - [c37]Guo Xu, Tongquan Wei, Junlong Zhou, Mingsong Chen:
Leveraging User Heterogeneities to Maximize Profits in the Cloud. ICPADS 2018: 170-177 - [c36]Changjiang Gou, Anne Benoit
, Mingsong Chen, Loris Marchal, Tongquan Wei:
Reliability-Aware Energy Optimization for Throughput-Constrained Applications on MPSoC. ICPADS 2018: 577-586 - [c35]Mingsong Chen, Weiguang Wang, Shi Dong, Xinling Zhou:
Video Vehicle Detection and Recognition Based on MapReduce and Convolutional Neural Network. ICSI (2) 2018: 552-562 - 2017
- [j18]Junlong Zhou, Min Yin, Zhifang Li, Kun Cao, Jianming Yan, Tongquan Wei, Mingsong Chen, Xin Fu:
Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems. J. Circuits Syst. Comput. 26(1): 1750016:1-1750016:17 (2017) - [j17]Siyuan Xu
, Han Zhuang
, Xin Fu, Junlong Zhou, Mingsong Chen:
GPU-Based Fluid Motion Estimation Using Energy Constraint. J. Circuits Syst. Comput. 26(2): 1750022:1-1750022:20 (2017) - [j16]Junlong Zhou, Kun Cao, Peijin Cong, Tongquan Wei, Mingsong Chen, Gongxuan Zhang, Jianming Yan, Yue Ma:
Reliability and temperature constrained task scheduling for makespan minimization on heterogeneous multi-core platforms. J. Syst. Softw. 133: 1-16 (2017) - [j15]Chenhao Xie, Jingweijia Tan, Mingsong Chen, Yang Yi, Lu Peng, Xin Fu:
Emerging technology enabled energy-efficient GPGPUs register file. Microprocess. Microsystems 50: 175-188 (2017) - [j14]Yongxiang Bao, Mingsong Chen, Qi Zhu
, Tongquan Wei
, Frédéric Mallet, Tingliang Zhou:
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(12): 1989-2002 (2017) - [j13]Kaige Yan, Lu Peng, Mingsong Chen, Xin Fu:
Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms. ACM Trans. Design Autom. Electr. Syst. 22(4): 58:1-58:20 (2017) - [j12]Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei:
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. IEEE Trans. Parallel Distributed Syst. 28(5): 1299-1314 (2017) - [c34]Wenjie Chen, Yangyang Ma, Zhilei Chai, Mingsong Chen:
FingerVoice: A Syllable Based Input System Via Fingers Touching. ASSETS 2017: 375-376 - [c33]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) 2017: 138-143 - [c32]Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große
, Rolf Drechsler
:
Data flow testing for virtual prototypes. DATE 2017: 380-385 - [c31]Junlong Zhou, Jianming Yan, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu
:
Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-Time MPSoC systems. DATE 2017: 1402-1407 - [c30]Wenjie Chen, Yangyang Ma, Zhilei Chai, Mingsong Chen, Daojing He:
An FPGA-Based Real-Time Moving Object Tracking Approach. ICA3PP 2017: 65-80 - [c29]Xinling Zhou, Mingsong Chen, Lei Peng
, Huiyun Li:
ACPP: An effective privacy preserving scheme for precise location sharing in internet of vehicles. ICIA 2017: 883-887 - [c28]Peijin Cong, Liying Li, Gaoyuan Shao, Junlong Zhou, Mingsong Chen, Kai Huang, Tongquan Wei:
User Perceived Value-Aware Cloud Pricing for Profit Maximization of Multiserver Systems. ICPADS 2017: 537-544 - [c27]Bicheng Liu, Shouzhen Gu, Mingsong Chen, Wang Kang, Jingtong Hu, Qingfeng Zhuge, Edwin Hsing-Mean Sha:
An Efficient Racetrack Memory-Based Processing-in-Memory Architecture for Convolutional Neural Networks. ISPA/IUCC 2017: 383-390 - 2016
- [j11]Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra:
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques. IEEE Trans. Computers 65(7): 2059-2073 (2016) - [j10]Junlong Zhou, Tongquan Wei
, Mingsong Chen, Jianming Yan, Xiaobo Sharon Hu
, Yue Ma:
Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(8): 1269-1282 (2016) - [j9]Jingweijia Tan, Zhi Li, Mingsong Chen, Xin Fu:
Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory. ACM Trans. Design Autom. Electr. Syst. 21(2): 34:1-34:25 (2016) - [j8]Jingweijia Tan, Mingsong Chen, Yang Yi, Xin Fu:
Mitigating the Impact of Hardware Variability for GPGPUs Register File. IEEE Trans. Parallel Distributed Syst. 27(11): 3283-3297 (2016) - [c26]Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang:
Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. COMPSAC 2016: 275-280 - [c25]Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Große, Rolf Drechsler:
Quantitative timing analysis of UML activity diagrams using statistical model checking. DATE 2016: 780-785 - [c24]Junlong Zhou, Jianfei Chen, Kun Cao, Tongquan Wei, Mingsong Chen:
Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems. ICPADS 2016: 721-728 - [c23]Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen:
Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking. QRS 2016: 274-285 - [c22]Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen:
Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. SEKE 2016: 547-550 - 2015
- [c21]Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun:
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. COMPSAC 2015: 5-14 - [c20]Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra:
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking. DATE 2015: 199-204 - 2014
- [j7]Mingsong Chen, Xiaoke Qin, Prabhat Mishra:
Learning-oriented Property Decomposition for Automated Generation of Directed Tests. J. Electron. Test. 30(3): 287-306 (2014) - [c19]Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen:
Runtime Verification by Convergent Formula Progression. APSEC (1) 2014: 255-262 - [c18]Saijie Huang, Mingsong Chen, Xiao Liu
, Dehui Du, Xiaohong Chen:
Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking. BDCloud 2014: 201-208 - [c17]Dehui Du, Mingsong Chen, Xiao Liu
, Yun Yang:
A novel quantitative evaluation approach for software project schedules using statistical model checking. ICSE Companion 2014: 476-479 - [c16]Ang Li, Zishan Qin, Mingsong Chen, Jing Liu:
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications. SERE 2014: 68-77 - [c15]Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu
:
Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. VLSI Design 2014: 162-167 - 2013
- [j6]Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He:
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7(2): 214-235 (2013) - [c14]Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He:
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. CODES+ISSS 2013: 14:1-14:10 - [c13]Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang:
Spatio-temporal Properties Analysis for Cyber-physical Systems. ICECCS 2013: 101-110 - [c12]Mingsong Chen, Saijie Huang, Geguang Pu, Prabhat Mishra:
Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning. ISVLSI 2013: 224-229 - [c11]Mingsong Chen, Prabhat Mishra:
Assertion-Based Functional Consistency Checking between TLM and RTL Models. VLSI Design 2013: 320-325 - 2012
- [j5]Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita:
Automatic RTL Test Generation from SystemC TLM Specifications. ACM Trans. Embed. Comput. Syst. 11(2): 38:1-38:25 (2012) - [c10]Ang Li, Mingsong Chen:
Efficient self-learning techniques for SAT-based test generation. CODES+ISSS 2012: 197-206 - [c9]Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen:
An approach to communicating process modeling of MARTE. Internetware 2012: 6:1-6:9 - [c8]Xiaohong Chen, Mingsong Chen:
Extending the Four-Variable Model for Cyber-Physical Systems. ISORC Workshops 2012: 31-36 - 2011
- [j4]Mingsong Chen, Prabhat Mishra:
Property Learning Techniques for Efficient Generation of Directed Tests. IEEE Trans. Computers 60(6): 852-864 (2011) - [c7]Mingsong Chen, Prabhat Mishra:
Decision ordering based property decomposition for functional test generation. DATE 2011: 167-172 - 2010
- [j3]Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita:
Efficient test case generation for validation of UML activity diagrams. Des. Autom. Embed. Syst. 14(2): 105-130 (2010) - [j2]