Mingsong Chen

Proc. VLDB Endow., March, 2024

Improving Reliability and Sustainability of Hazard-Aware Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2024

Efficient one-shot Neural Architecture Search with progressive choice freezing evolutionary search.

[BibT_eX]

[DOI]

Neurocomputing, 2024

GCLS<sup>2</sup>: Towards Efficient Community Detection using Graph Contrastive Learning with Structure Semantics.

[BibT_eX]

[DOI]

CoRR, 2024

Zeoformer: Coarse-Grained Periodic Graph Transformer for OSDA-Zeolite Affinity Prediction.

[BibT_eX]

[DOI]

CoRR, 2024

SBDet: A Symmetry-Breaking Object Detector via Relaxed Rotation-Equivariance.

[BibT_eX]

[DOI]

CoRR, 2024

Dynamic Subgraph Matching via Cost-Model-based Vertex Dominance Embeddings (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2024

When Foresight Pruning Meets Zeroth-Order Optimization: Efficient Federated Learning for Low-Memory Devices.

[BibT_eX]

[DOI]

CoRR, 2024

Reverse Influential Community Search Over Social Networks (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2024

KoReA-SFL: Knowledge Replay-based Split Federated Learning Against Catastrophic Forgetting.

[BibT_eX]

[DOI]

CoRR, 2024

MIP: CLIP-based Image Reconstruction from PEFT Gradients.

[BibT_eX]

[DOI]

CoRR, 2024

Personalized Federated Instruction Tuning via Neural Architecture Search.

[BibT_eX]

[DOI]

CoRR, 2024

Approximate Matrix Multiplication over Sliding Windows.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

Is Aggregation the Only Choice? Federated Learning via Layer-wise Model Recombination.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

DSA-SCGC: A Dual Self-Attention Mechanism based on Space-Channel Grouped Compression for Vehicle Re-Identification.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2024

Spatial-Temporal Traffic Prediction Model Based on Adaptive Graphs Fusion and Dual-Graph Collaborative Convolution.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2024

ProEqBEV: Product Group Equivariant BEV Network for 3D Object Detection in Road Scenes of Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Top-<i>L</i> Most Influential Community Detection Over Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

FedCross: Towards Accurate Federated Learning via Multi-Model Cross-Aggregation.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

Social Lode: Human Trajectory Prediction with Latent Odes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2024

AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems.

[BibT_eX]

[DOI]

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Exact Fusion via Feature Distribution Matching for Few-Shot Image Generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Hyperbolic Graph Diffusion Model.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Situation-Dependent Causal Influence-Based Cooperative Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

FedMut: Generalized Federated Learning via Stochastic Mutation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

Hierarchical Relational Graph Learning for Autonomous Multirobot Cooperative Navigation in Dynamic Environments.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Enabling High-Efficient ReRAM-Based CNN Training Via Exploiting Crossbar-Level Insignificant Writing Elimination.

[BibT_eX]

[DOI]

IEEE Trans. Computers, November, 2023

Accelerate Safety Model Checking Based on Complementary Approximate Reachability.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

Carbon Emissions Reduction of Neural Network by Discrete Rank Pruning.

[BibT_eX]

[DOI]

CCF Trans. High Perform. Comput., September, 2023

Swarm Intelligence-Based Task Scheduling for Enhancing Security for IoT Devices.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration.

[BibT_eX]

[DOI]

IEEE Trans. Computers, May, 2023

Multi-Agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., March, 2023

Machine Learning Empowered Intelligent Data Center Networking - Evolution, Challenges and Opportunities

[BibT_eX]

[DOI]

Springer Briefs in Computer Science, Springer, ISBN: 978-981-19-7394-9, 2023

Energy and Reliability-Aware Task Scheduling for Cost Optimization of DVFS-Enabled Cloud Workflows.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2023

FairLight: Fairness-Aware Autonomous Traffic Signal Control With Hierarchical Action Space.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023

Filtering Out High Noise Data for Distributed Deep Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2023

Efficient Federated Learning for AIoT Applications Using Knowledge Distillation.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2023

A Survey of AI-enabled Dynamic Manufacturing Scheduling: From Directed Heuristics to Autonomous Learning.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2023

AdapterFL: Adaptive Heterogeneous Federated Learning for Resource-constrained Mobile Computing Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Have Your Cake and Eat It Too: Toward Efficient and Accurate Split Federated Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Top-L Most Influential Community Detection Over Social Networks (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2023

WaveAttack: Asymmetric Frequency Obfuscation-based Backdoor Attacks Against Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Efficient Exact Subgraph Matching via GNN-based Path Dominance Embedding (Technical Report).

[BibT_eX]

[DOI]

Yutong Ye

Xiang Lian

CoRR, 2023

Protect Federated Learning Against Backdoor Attacks via Data-Free Trigger Generation.

[BibT_eX]

[DOI]

CoRR, 2023

EqGAN: Feature Equalization Fusion for Few-shot Image Generation.

[BibT_eX]

[DOI]

CoRR, 2023

FedMR: Federated Learning via Model Recombination.

[BibT_eX]

[DOI]

CoRR, 2023

Autoencoders with Intrinsic Dimension Constraints for Learning Low Dimensional Image Representations.

[BibT_eX]

[DOI]

CoRR, 2023

A Survey of Geometric Optimization for Deep Learning: From Euclidean Space to Riemannian Manifold.

[BibT_eX]

[DOI]

CoRR, 2023

CyclicFL: A Cyclic Model Pre-Training Approach to Efficient Federated Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Continual Learning via Manifold Expansion Replay.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Brief Industry Paper: RTLight: Digital Twin-Based Real-Time Federated Traffic Signal Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Brief Industry Paper: Towards Efficient Task Scheduling for AUTOSAR using Parallel Pruning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2023

GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning Using Version Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2023

RECO: Rotation Equivariant COnvolutional Neural Network for Human Trajectory Forecasting.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

Model-Contrastive Learning for Backdoor Elimination.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Multimedia, 2023

SparGE: Sparse Coding-based Patient Similarity Learning via Low-rank Constraints and Graph Embedding.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

CCH-YOLOX: Improved YOLOX for Challenging Vehicle Detection from UAV Images.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

InitLight: Initial Model Generation for Traffic Signal Control Using Adversarial Inverse Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

LWSA: A Learning-Based Workflow Scheduling Algorithm for Energy-Efficient UAV Delivery System.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

FedEntropy: Efficient Federated Learning for Non-IID Scenarios Using Maximum Entropy Judgment-based Client Selection.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2023

2022

Efficient Federated Learning Using Layer-Wise Regulation and Momentum Aggregation.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., December, 2022

Rethinking Data Center Networks: Machine Learning Enables Network Intelligence.

[BibT_eX]

[DOI]

J. Commun. Inf. Networks, June, 2022

Personality-Guided Cloud Pricing via Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2022

Personality- and Value-Aware Scheduling of User Requests in Cloud for Profit Maximization.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2022

Throughput-Conscious Energy Allocation and Reliability-Aware Task Assignment for Renewable Powered In-Situ Server Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

PervasiveFL: Pervasive Federated Learning for Heterogeneous IoT Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Special issue on Reliable Software Technologies (AEiC2021).

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

Multiserver configuration for cloud service profit maximization in the presence of soft errors based on grouped grey wolf optimizer.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2022

Towards Fast and Accurate Federated Learning with Non-IID Data for Cloud-Based IoT Applications.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2022

Improving IoT data availability via feedback- and voting-based anomaly imputation.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2022

HierarchyFL: Heterogeneous Federated Learning via Hierarchical Self-Distillation.

[BibT_eX]

[DOI]

CoRR, 2022

GitFL: Adaptive Asynchronous Federated Learning using Version Control.

[BibT_eX]

[DOI]

CoRR, 2022

FedCross: Towards Accurate Federated Learning via Multi-Model Cross Aggregation.

[BibT_eX]

[DOI]

CoRR, 2022

FedMR: Fedreated Learning via Model Recombination.

[BibT_eX]

[DOI]

CoRR, 2022

FedEntropy: Efficient Device Grouping for Federated Learning Using Maximum Entropy Judgment.

[BibT_eX]

[DOI]

CoRR, 2022

Multi-agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks.

[BibT_eX]

[DOI]

CoRR, 2022

Model-Contrastive Learning for Backdoor Defense.

[BibT_eX]

[DOI]

CoRR, 2022

Learning from Attacks: Attacking Variational Autoencoder for Improving Image Classification.

[BibT_eX]

[DOI]

CoRR, 2022

Machine Learning Empowered Intelligent Data Center Networking: A Survey.

[BibT_eX]

[DOI]

CoRR, 2022

FedCAT: Towards Accurate Federated Learning via Device Concatenation.

[BibT_eX]

[DOI]

CoRR, 2022

O-ViT: Orthogonal Vision Transformer.

[BibT_eX]

[DOI]

CoRR, 2022

Orthogonal Spatial-Temporal Graph Convolutional Networks for Traffic Flow Forecasting.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

Using Multi-feature Embedding towards Accurate Knowledge Tracing.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

A Vehicle Re-ID Algorithm Based on Channel Correlation Self-attention and Lstm Local Information Loss.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

DSAM-GN: Graph Network Based on Dynamic Similarity Adjacency Matrices for Vehicle Re-identification.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2022

Geodesic Self-Attention for 3D Point Clouds.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

BS-pFL: Enabling Low-Cost Personalized Federated Learning by Exploring Weight Gradient Sparsity.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2022

Eliminating Backdoor Triggers for Deep Neural Networks Using Attention Relation Graph Distillation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Learning Extremely Lightweight and Robust Model with Differentiable Constraints on Sparsity and Condition Number.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022, 2022

Accelerated synthesis of neural network-based barrier certificates using collaborative learning.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

MonitorLight: Reinforcement Learning-based Traffic Signal Control Using Mixed Pressure Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Information & Knowledge Management, 2022

Work-in-Progress: Cooperative MLP-Mixer Networks Inference On Heterogeneous Edge Devices through Partition and Fusion.

[BibT_eX]

[DOI]

Yiming Li

Shouzhen Gu

Proceedings of the International Conference on Compilers, 2022

DDoS Attack Detection Combining Time Series-based Multi-dimensional Sketch and Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Network Operations and Management Symposium, 2022

2021

A Collaborative and Sustainable Edge-Cloud Architecture for Object Tracking with Convolutional Siamese Networks.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2021

FDA$^3$: Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

Efficient Federated Learning for Cloud-Based AIoT Applications.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Learning-Based Modeling and Optimization for Real-Time System Availability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2021

Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2021

A Feature Fusion Framework and Its Application to Automatic Seizure Detection.

[BibT_eX]

[DOI]

IEEE Signal Process. Lett., 2021

Exploring reliable edge-cloud computing for service latency optimization in sustainable cyber-physical systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2021

EC-BAAS: Elliptic curve-based batch anonymous authentication scheme for Internet of Vehicles.

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2021

Learning Robust and Lightweight Model through Separable Structured Transformations.

[BibT_eX]

[DOI]

CoRR, 2021

ViR: the Vision Reservoir.

[BibT_eX]

[DOI]

CoRR, 2021

Efficient Federated Learning for AIoT Applications Using Knowledge Distillation.

[BibT_eX]

[DOI]

CoRR, 2021

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

ICE: Intelligent Caching at the Edge.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2021

FedLight: Federated Reinforcement Learning for Autonomous Multi-Intersection Traffic Signal Control.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

DIAVA: A Traffic-Based Framework for Detection of SQL Injection Attacks and Vulnerability Analysis of Leaked Data.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2020

Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

FPGA-Based ROI Encoding for HEVC Video Bitrate Reduction.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2020

FDA3 : Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications.

[BibT_eX]

[DOI]

CoRR, 2020

Reliable and Energy-aware Mapping of Streaming Series-parallel Applications onto Hierarchical Platforms.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020

SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Embedded Software and Systems, 2020

Parallel Implementation of H.265 Intra-Frame Coding Based on FPGA Heterogeneous Platform.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Resource Management for Improving Soft-Error and Lifetime Reliability of Real-Time MPSoCs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Directed Test Generation for Validation of Cache Coherence Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Game Theoretic Feedback Control for Reliability Enhancement of EtherCAT-Based Networked Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Affinity-Driven Modeling and Scheduling for Makespan Optimization in Heterogeneous Multiprocessor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

QoS-Adaptive Approximate Real-Time Computation for Mobility-Aware IoT Lifetime Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Energy-aware virtual machine allocation for cloud with resource reservation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Cost and makespan-aware workflow scheduling in hybrid clouds.

[BibT_eX]

[DOI]

J. Syst. Archit., 2019

A survey of optimization techniques for thermal-aware 3D processors.

[BibT_eX]

[DOI]

J. Syst. Archit., 2019

Lifetime-aware real-time task scheduling on fault-tolerant mixed-criticality embedded systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

Guest Editorial.

[BibT_eX]

[DOI]

Kanad Basu

Rubin A. Parekhji

J. Electron. Test., 2019

Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults.

[BibT_eX]

[DOI]

IEEE Access, 2019

Personality-Aware VNF Deployment for Profit Maximization.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

OO-VR: NUMA friendly object-oriented VR rendering framework for future NUMA-based multi-GPU systems.

[BibT_eX]

[DOI]

Proceedings of the 46th International Symposium on Computer Architecture, 2019

Adaptive Detection Method for Packet-In Message Injection Attack in SDN.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Sample-Guided Automated Synthesis for CCSL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Differentially Private Robust ADMM for Distributed Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018

Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2018

Developing User Perceived Value Based Pricing Models for Cloud Markets.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoCs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Thermal-aware correlated two-level scheduling of real-time tasks with reduced processor energy on heterogeneous MPSoCs.

[BibT_eX]

[DOI]

J. Syst. Archit., 2018

Soft error-aware energy-efficient task scheduling for workflow applications in DVFS-enabled cloud.

[BibT_eX]

[DOI]

J. Syst. Archit., 2018

A proof-based method of hybrid systems development using differential invariants.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2018

Leveraging User Heterogeneities to Maximize Profits in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Reliability-Aware Energy Optimization for Throughput-Constrained Applications on MPSoC.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Variation-aware task allocation and scheduling for improving reliability of real-time MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Feedback control of real-time EtherCAT networks for reliability enhancement in CPS.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Specification-driven automated conformance checking for virtual prototype and post-silicon designs.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2017

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Emerging technology enabled energy-efficient GPGPUs register file.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

Reliability and temperature constrained task scheduling for makespan minimization on heterogeneous multi-core platforms.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2017

GPU-Based Fluid Motion Estimation Using Energy Constraint.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2017

An Efficient Racetrack Memory-Based Processing-in-Memory Architecture for Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

User Perceived Value-Aware Cloud Pricing for Profit Maximization of Multiserver Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

An FPGA-Based Real-Time Moving Object Tracking Approach.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2017

Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-Time MPSoC systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Data flow testing for virtual prototypes.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

FingerVoice: A Syllable Based Input System Via Fingers Touching.

[BibT_eX]

[DOI]

Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016

Mitigating the Impact of Hardware Variability for GPGPUs Register File.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

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

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2016

Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Quantitative timing analysis of UML activity diagrams using statistical model checking.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Learning-oriented Property Decomposition for Automated Generation of Directed Tests.

[BibT_eX]

[DOI]

Xiaoke Qin

J. Electron. Test., 2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

A novel quantitative evaluation approach for software project schedules using statistical model checking.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

Runtime Verification by Convergent Formula Progression.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A novel requirement analysis approach for periodic control systems.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

Assertion-Based Functional Consistency Checking between TLM and RTL Models.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.

[BibT_eX]

[DOI]

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

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012

Automatic RTL Test Generation from SystemC TLM Specifications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Extending the Four-Variable Model for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Xiaohong Chen

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

An approach to communicating process modeling of MARTE.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Efficient self-learning techniques for SAT-based test generation.

[BibT_eX]

[DOI]

Ang Li

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

Property Learning Techniques for Efficient Generation of Directed Tests.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2011

Decision ordering based property decomposition for functional test generation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Functional Test Generation Using Efficient Property Clustering and Learning Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Efficient test case generation for validation of UML activity diagrams.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2010

Synchronized Generation of Directed Tests Using Satisfiability Solving.

[BibT_eX]

[DOI]

Xiaoke Qin

Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

Efficient decision ordering techniques for SAT-based test generation.

[BibT_eX]

[DOI]

Xiaoke Qin

Proceedings of the Design, Automation and Test in Europe, 2010

2009

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.

[BibT_eX]

[DOI]

Comput. J., 2009

Efficient Techniques for Directed Test Generation Using Incremental Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

2008

Coverage-driven automatic test generation for uml activity diagrams.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007

Towards RTL test generation from SystemC TLM specifications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

Automatic Test Case Generation for UML Activity Diagrams.

[BibT_eX]

[DOI]