Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDMingsong 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]