Mingsong Chen, Ph.D. - Publications

Affiliations: 
2010 University of Florida, Gainesville, Gainesville, FL, United States 
Area:
Computer Science, Electronics and Electrical Engineering

33 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Gu H, Zhang J, Liu T, Hu M, Zhou J, Wei T, Chen M. DIAVA: A Traffic-Based Framework for Detection of SQL Injection Attacks and Vulnerability Analysis of Leaked Data Ieee Transactions On Reliability. 69: 188-202. DOI: 10.1109/Tr.2019.2925415  0.311
2020 Song Y, Liu T, Wei T, Wang X, Tao Z, Chen M. FDA3 : Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications Ieee Transactions On Industrial Informatics. 1-1. DOI: 10.1109/Tii.2020.3005969  0.328
2020 Chen M, Huang S, Fu X, Liu X, He J. Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation Ieee Transactions On Cloud Computing. 8: 443-458. DOI: 10.1109/Tcc.2016.2586067  0.337
2020 Li L, Zhou J, Wei T, Chen M, Hu XS. Learning-Based Modeling and Optimization for Real-time System Availability Ieee Transactions On Computers. 1-1. DOI: 10.1109/Tc.2020.2991177  0.308
2020 An D, Liu J, Zhang M, Chen X, Chen M, Sun H. Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach Journal of Systems and Software. 167: 110617. DOI: 10.1016/J.Jss.2020.110617  0.335
2019 Zhou J, Sun J, Zhou X, Wei T, Chen M, Hu S, Hu XS. Resource Management for Improving Soft-Error and Lifetime Reliability of Real-Time MPSoCs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 38: 2215-2228. DOI: 10.1109/Tcad.2018.2883993  0.363
2019 Cao K, Xu G, Zhou J, Wei T, Chen M, Hu S. QoS-Adaptive Approximate Real-Time Computation for Mobility-Aware IoT Lifetime Optimization Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 38: 1799-1810. DOI: 10.1109/Tcad.2018.2873239  0.365
2019 Cao K, Zhou J, Cong P, Li L, Wei T, Chen M, Hu S, Hu XS. Affinity-Driven Modeling and Scheduling for Makespan Optimization in Heterogeneous Multiprocessor Systems Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 38: 1189-1202. DOI: 10.1109/Tcad.2018.2846650  0.35
2019 Lyu Y, Qin X, Chen M, Mishra P. Directed Test Generation for Validation of Cache Coherence Protocols Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 38: 163-176. DOI: 10.1109/Tcad.2018.2801239  0.575
2019 Zhou J, Cong P, Sun J, Zhou X, Wei T, Chen M. Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults Ieee Access. 7: 98462-98473. DOI: 10.1109/Access.2019.2930242  0.367
2019 Zhou J, Wang T, Cong P, Lu P, Wei T, Chen M. Cost and makespan-aware workflow scheduling in hybrid clouds Journal of Systems Architecture. 100: 101631. DOI: 10.1016/J.Sysarc.2019.08.004  0.327
2019 Zhang X, Wu T, Chen M, Wei T, Zhou J, Hu S, Buyya R. Energy-aware virtual machine allocation for cloud with resource reservation Journal of Systems and Software. 147: 147-161. DOI: 10.1016/J.Jss.2018.09.084  0.34
2019 Cao K, Xu G, Zhou J, Chen M, Wei T, Li K. Lifetime-aware real-time task scheduling on fault-tolerant mixed-criticality embedded systems Future Generation Computer Systems. 100: 165-175. DOI: 10.1016/J.Future.2019.05.022  0.348
2018 Wei T, Zhou J, Cao K, Cong P, Chen M, Zhang G, Hu XS, Yan J. Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoCs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 1733-1746. DOI: 10.1109/Tcad.2017.2772896  0.339
2018 Wu T, Gu H, Zhou J, Wei T, Liu X, Chen M. Soft error-aware energy-efficient task scheduling for workflow applications in DVFS-enabled cloud Journal of Systems Architecture. 84: 12-27. DOI: 10.1016/J.Sysarc.2018.03.001  0.367
2018 Zhou J, Yan J, Cao K, Tan Y, Wei T, Chen M, Zhang G, Chen X, Hu S. Thermal-aware correlated two-level scheduling of real-time tasks with reduced processor energy on heterogeneous MPSoCs Journal of Systems Architecture. 82: 1-11. DOI: 10.1016/J.Sysarc.2017.09.007  0.36
2017 Yan K, Peng L, Chen M, Fu X. Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms Acm Transactions On Design Automation of Electronic Systems. 22: 58. DOI: 10.1145/2843940  0.327
2017 Xu S, Zhuang H, Fu X, Zhou J, Chen M. GPU-Based Fluid Motion Estimation Using Energy Constraint Journal of Circuits, Systems, and Computers. 26: 1750022. DOI: 10.1142/S0218126617500220  0.326
2017 Zhou J, Yin M, Li Z, Cao K, Yan J, Wei T, Chen M, Fu X. Fault-tolerant task scheduling for mixed-criticality real-time systems Journal of Circuits, Systems and Computers. 26. DOI: 10.1142/S0218126617500165  0.316
2017 Chen M, Bao Y, Fu X, Pu G, Wei T. Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics Ieee Transactions On Parallel and Distributed Systems. 28: 1299-1314. DOI: 10.1109/Tpds.2016.2621768  0.344
2017 Bao Y, Chen M, Zhu Q, Wei T, Mallet F, Zhou T. Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 36: 1989-2002. DOI: 10.1109/Tcad.2017.2681076  0.35
2017 Xie C, Tan J, Chen M, Yi Y, Peng L, Fu X. Emerging technology enabled energy-efficient GPGPUs register file Microprocessors and Microsystems. 50: 175-188. DOI: 10.1016/J.Micpro.2017.04.002  0.322
2017 Zhou J, Cao K, Cong P, Wei T, Chen M, Zhang G, Yan J, Ma Y. Reliability and temperature constrained task scheduling for makespan minimization on heterogeneous multi-core platforms Journal of Systems and Software. 133: 1-16. DOI: 10.1016/J.Jss.2017.07.032  0.364
2016 Tan J, Chen M, Yi Y, Fu X. Mitigating the Impact of Hardware Variability for GPGPUs Register File Ieee Transactions On Parallel and Distributed Systems. 27: 3283-3297. DOI: 10.1109/Tpds.2016.2531668  0.346
2016 Zhou J, Wei T, Chen M, Yan J, Hu XS, Ma Y. Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 35: 1269-1282. DOI: 10.1109/Tcad.2015.2501286  0.347
2016 Chen M, Zhang X, Pu G, Fu X, Mishra P. Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques Ieee Transactions On Computers. 65: 2059-2073. DOI: 10.1109/Tc.2015.2468230  0.565
2014 Chen M, Qin X, Mishra P. Learning-oriented Property Decomposition for Automated Generation of Directed Tests Journal of Electronic Testing. 30: 287-306. DOI: 10.1007/S10836-014-5452-X  0.569
2013 Wang Z, Pu G, Li J, Chen Y, Zhao Y, Chen M, Gu B, Yang M, He J. A novel requirement analysis approach for periodic control systems Frontiers of Computer Science. 7: 214-235. DOI: 10.1007/S11704-013-2008-1  0.36
2012 Chen M, Mishra P, Kalita D. Automatic RTL Test Generation from SystemC TLM Specifications Acm Transactions in Embedded Computing Systems. 11: 38. DOI: 10.1145/2220336.2220350  0.563
2011 Chen M, Mishra P. Property Learning Techniques for Efficient Generation of Directed Tests Ieee Transactions On Computers. 60: 852-864. DOI: 10.1109/Tc.2011.49  0.571
2010 Chen M, Mishra P. Functional Test Generation Using Efficient Property Clustering and Learning Techniques Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 29: 396-404. DOI: 10.1109/Tcad.2010.2041846  0.588
2010 Chen M, Mishra P, Kalita D. Efficient test case generation for validation of UML activity diagrams Design Automation For Embedded Systems. 14: 105-130. DOI: 10.1007/S10617-010-9052-4  0.563
2007 Chen M, Qiu X, Xu W, Wang L, Zhao J, Li X. UML Activity Diagram-Based Automatic Test Case Generation For Java Programs The Computer Journal. 52: 545-556. DOI: 10.1093/Comjnl/Bxm057  0.321
Show low-probability matches.