Mingsong Chen

According to our database1, Mingsong Chen authored at least 188 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A domain adversarial graph convolutional network for intelligent monitoring of tool wear in machine tools.
Comput. Ind. Eng., January, 2024

2023
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

A new dynamic security defense system based on TCP_REPAIR and deep learning.
J. Cloud Comput., December, 2023

Hierarchical Relational Graph Learning for Autonomous Multirobot Cooperative Navigation in Dynamic Environments.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Accelerate Safety Model Checking Based on Complementary Approximate Reachability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

Carbon Emissions Reduction of Neural Network by Discrete Rank Pruning.
CCF Trans. High Perform. Comput., September, 2023

Swarm Intelligence-Based Task Scheduling for Enhancing Security for IoT Devices.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration.
IEEE Trans. Computers, May, 2023

Multi-Agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks.
IEEE Trans. Wirel. Commun., March, 2023

Machine Learning Empowered Intelligent Data Center Networking - Evolution, Challenges and Opportunities
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.
IEEE Trans. Cloud Comput., 2023

FairLight: Fairness-Aware Autonomous Traffic Signal Control With Hierarchical Action Space.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023

Filtering Out High Noise Data for Distributed Deep Neural Networks.
IEEE Trans Autom. Sci. Eng., 2023

Efficient Federated Learning for AIoT Applications Using Knowledge Distillation.
IEEE Internet Things J., 2023

A Survey of AI-enabled Dynamic Manufacturing Scheduling: From Directed Heuristics to Autonomous Learning.
ACM Comput. Surv., 2023

Situation-Dependent Causal Influence-Based Cooperative Multi-agent Reinforcement Learning.
CoRR, 2023

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

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

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

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

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

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

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

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

FedMR: Federated Learning via Model Recombination.
CoRR, 2023

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

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

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

Continual Learning via Manifold Expansion Replay.
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.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

Brief Industry Paper: Towards Efficient Task Scheduling for AUTOSAR using Parallel Pruning.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning Using Version Control.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

RECO: Rotation Equivariant COnvolutional Neural Network for Human Trajectory Forecasting.
Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

Model-Contrastive Learning for Backdoor Elimination.
Proceedings of the 31st ACM International Conference on Multimedia, 2023

SparGE: Sparse Coding-based Patient Similarity Learning via Low-rank Constraints and Graph Embedding.
Proceedings of the International Joint Conference on Neural Networks, 2023

CCH-YOLOX: Improved YOLOX for Challenging Vehicle Detection from UAV Images.
Proceedings of the International Joint Conference on Neural Networks, 2023

InitLight: Initial Model Generation for Traffic Signal Control Using Adversarial Inverse Reinforcement Learning.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022
Efficient Federated Learning Using Layer-Wise Regulation and Momentum Aggregation.
J. Circuits Syst. Comput., December, 2022

Rethinking Data Center Networks: Machine Learning Enables Network Intelligence.
J. Commun. Inf. Networks, June, 2022

Personality-Guided Cloud Pricing via Reinforcement Learning.
IEEE Trans. Cloud Comput., 2022

Personality- and Value-Aware Scheduling of User Requests in Cloud for Profit Maximization.
IEEE Trans. Cloud Comput., 2022

Throughput-Conscious Energy Allocation and Reliability-Aware Task Assignment for Renewable Powered In-Situ Server Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

PervasiveFL: Pervasive Federated Learning for Heterogeneous IoT Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

A novel adversarial domain adaptation transfer learning method for tool wear state prediction.
Knowl. Based Syst., 2022

Special issue on Reliable Software Technologies (AEiC2021).
J. Syst. Archit., 2022

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

Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints.
J. Parallel Distributed Comput., 2022

Towards Fast and Accurate Federated Learning with Non-IID Data for Cloud-Based IoT Applications.
J. Circuits Syst. Comput., 2022

Improving IoT data availability via feedback- and voting-based anomaly imputation.
Future Gener. Comput. Syst., 2022

Modeling and tagging of time sequence signals in the milling process based on an improved hidden semi-Markov model.
Expert Syst. Appl., 2022

HierarchyFL: Heterogeneous Federated Learning via Hierarchical Self-Distillation.
CoRR, 2022

GitFL: Adaptive Asynchronous Federated Learning using Version Control.
CoRR, 2022

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

FedMR: Fedreated Learning via Model Recombination.
CoRR, 2022

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

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

Model-Contrastive Learning for Backdoor Defense.
CoRR, 2022

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

Machine Learning Empowered Intelligent Data Center Networking: A Survey.
CoRR, 2022

FedCAT: Towards Accurate Federated Learning via Device Concatenation.
CoRR, 2022

O-ViT: Orthogonal Vision Transformer.
CoRR, 2022

A weighted adaptive transfer learning for tool tip dynamics prediction of different machine tools.
Comput. Ind. Eng., 2022

A Generalized Multivariable Adaptive Super-Twisting Control and Observation for Amphibious Robot.
IEEE Access, 2022

Orthogonal Spatial-Temporal Graph Convolutional Networks for Traffic Flow Forecasting.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

Using Multi-feature Embedding towards Accurate Knowledge Tracing.
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.
Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

DSAM-GN: Graph Network Based on Dynamic Similarity Adjacency Matrices for Vehicle Re-identification.
Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2022

Geodesic Self-Attention for 3D Point Clouds.
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.
Proceedings of the International Joint Conference on Neural Networks, 2022

Eliminating Backdoor Triggers for Deep Neural Networks Using Attention Relation Graph Distillation.
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.
Proceedings of the Computer Vision - ECCV 2022, 2022

Accelerated synthesis of neural network-based barrier certificates using collaborative learning.
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.
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.
Proceedings of the International Conference on Compilers, 2022

DDoS Attack Detection Combining Time Series-based Multi-dimensional Sketch and Machine Learning.
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.
IEEE Trans. Sustain. Comput., 2021

FDA$^3$: Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications.
IEEE Trans. Ind. Informatics, 2021

Efficient Federated Learning for Cloud-Based AIoT Applications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Learning-Based Modeling and Optimization for Real-Time System Availability.
IEEE Trans. Computers, 2021

Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.
IEEE Trans. Computers, 2021

A Feature Fusion Framework and Its Application to Automatic Seizure Detection.
IEEE Signal Process. Lett., 2021

Exploring reliable edge-cloud computing for service latency optimization in sustainable cyber-physical systems.
Softw. Pract. Exp., 2021

EC-BAAS: Elliptic curve-based batch anonymous authentication scheme for Internet of Vehicles.
J. Syst. Archit., 2021

An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks.
J. Circuits Syst. Comput., 2021

Learning Robust and Lightweight Model through Separable Structured Transformations.
CoRR, 2021

ViR: the Vision Reservoir.
CoRR, 2021

Efficient Federated Learning for AIoT Applications Using Knowledge Distillation.
CoRR, 2021

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

ICE: Intelligent Caching at the Edge.
Proceedings of the IEEE Global Communications Conference, 2021

FedLight: Federated Reinforcement Learning for Autonomous Multi-Intersection Traffic Signal Control.
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.
IEEE Trans. Reliab., 2020

Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation.
IEEE Trans. Cloud Comput., 2020

Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Urban Traffic Signal Control Based on Multiobjective Joint Optimization.
Sci. Program., 2020

AGNES-SMOTE: An Oversampling Algorithm Based on Hierarchical Clustering and Improved SMOTE.
Sci. Program., 2020

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.
J. Syst. Softw., 2020

FPGA-Based ROI Encoding for HEVC Video Bitrate Reduction.
J. Circuits Syst. Comput., 2020

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

Reliable and Energy-aware Mapping of Streaming Series-parallel Applications onto Hierarchical Platforms.
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.
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.
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.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Directed Test Generation for Validation of Cache Coherence Protocols.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Game Theoretic Feedback Control for Reliability Enhancement of EtherCAT-Based Networked Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Affinity-Driven Modeling and Scheduling for Makespan Optimization in Heterogeneous Multiprocessor Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

QoS-Adaptive Approximate Real-Time Computation for Mobility-Aware IoT Lifetime Optimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Energy-aware virtual machine allocation for cloud with resource reservation.
J. Syst. Softw., 2019

Cost and makespan-aware workflow scheduling in hybrid clouds.
J. Syst. Archit., 2019

A survey of optimization techniques for thermal-aware 3D processors.
J. Syst. Archit., 2019

Lifetime-aware real-time task scheduling on fault-tolerant mixed-criticality embedded systems.
Future Gener. Comput. Syst., 2019

Guest Editorial.
J. Electron. Test., 2019

Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults.
IEEE Access, 2019

Personality-Aware VNF Deployment for Profit Maximization.
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.
Proceedings of the 46th International Symposium on Computer Architecture, 2019

Adaptive Detection Method for Packet-In Message Injection Attack in SDN.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Sample-Guided Automated Synthesis for CCSL Specifications.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Differentially Private Robust ADMM for Distributed Machine Learning.
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.
IEEE Trans. Sustain. Comput., 2018

Developing User Perceived Value Based Pricing Models for Cloud Markets.
IEEE Trans. Parallel Distributed Syst., 2018

Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoCs.
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.
J. Syst. Archit., 2018

Soft error-aware energy-efficient task scheduling for workflow applications in DVFS-enabled cloud.
J. Syst. Archit., 2018

A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci., 2018

Video Vehicle Detection and Recognition Based on MapReduce and Convolutional Neural Network.
Proceedings of the Advances in Swarm Intelligence - 9th International Conference, 2018

Leveraging User Heterogeneities to Maximize Profits in the Cloud.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Reliability-Aware Energy Optimization for Throughput-Constrained Applications on MPSoC.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Parking rank: A novel method of parking lots sorting and recommendation based on public information.
Proceedings of the IEEE International Conference on Industrial Technology, 2018

Variation-aware task allocation and scheduling for improving reliability of real-time MPSoCs.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Feedback control of real-time EtherCAT networks for reliability enhancement in CPS.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Specification-driven automated conformance checking for virtual prototype and post-silicon designs.
Proceedings of the 55th Annual Design Automation Conference, 2018

A CGRA based Neural Network Inference Engine for Deep Reinforcement Learning.
Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2017
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics.
IEEE Trans. Parallel Distributed Syst., 2017

Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms.
ACM Trans. Design Autom. Electr. Syst., 2017

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Emerging technology enabled energy-efficient GPGPUs register file.
Microprocess. Microsystems, 2017

Reliability and temperature constrained task scheduling for makespan minimization on heterogeneous multi-core platforms.
J. Syst. Softw., 2017

Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems.
J. Circuits Syst. Comput., 2017

GPU-Based Fluid Motion Estimation Using Energy Constraint.
J. Circuits Syst. Comput., 2017

An Efficient Racetrack Memory-Based Processing-in-Memory Architecture for Convolutional Neural Networks.
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.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

ACPP: An effective privacy preserving scheme for precise location sharing in internet of vehicles.
Proceedings of the IEEE International Conference on Information and Automation, 2017

An FPGA-Based Real-Time Moving Object Tracking Approach.
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.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Data flow testing for virtual prototypes.
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.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

FingerVoice: A Syllable Based Input System Via Fingers Touching.
Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016
Mitigating the Impact of Hardware Variability for GPGPUs Register File.
IEEE Trans. Parallel Distributed Syst., 2016

Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory.
ACM Trans. Design Autom. Electr. Syst., 2016

Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques.
IEEE Trans. Computers, 2016

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.
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.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems.
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Quantitative timing analysis of UML activity diagrams using statistical model checking.
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.
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.
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.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Learning-oriented Property Decomposition for Automated Generation of Directed Tests.
J. Electron. Test., 2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.
Proceedings of the 2014 27th International Conference on VLSI Design, 2014

ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications.
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.
Proceedings of the 36th International Conference on Software Engineering, 2014

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking.
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

Runtime Verification by Convergent Formula Progression.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci., 2013

Assertion-Based Functional Consistency Checking between TLM and RTL Models.
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.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.
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.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012
Automatic RTL Test Generation from SystemC TLM Specifications.
ACM Trans. Embed. Comput. Syst., 2012

Extending the Four-Variable Model for Cyber-Physical Systems.
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.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Efficient self-learning techniques for SAT-based test generation.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
Property Learning Techniques for Efficient Generation of Directed Tests.
IEEE Trans. Computers, 2011

Decision ordering based property decomposition for functional test generation.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Functional Test Generation Using Efficient Property Clustering and Learning Techniques.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Efficient test case generation for validation of UML activity diagrams.
Des. Autom. Embed. Syst., 2010

Synchronized Generation of Directed Tests Using Satisfiability Solving.
Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

Efficient decision ordering techniques for SAT-based test generation.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.
Comput. J., 2009

Efficient Techniques for Directed Test Generation Using Incremental Satisfiability.
Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

2008
Coverage-driven automatic test generation for uml activity diagrams.
Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007
Towards RTL test generation from SystemC TLM specifications.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006
Automatic Test Case Generation for UML Activity Diagrams.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006


  Loading...