Zheng Cheng

According to our database, Zheng Cheng authored at least 48 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Aircraft Engine Fault Diagnosis Model Based on 1DCNN-BiLSTM with CBAM.

Jiaju Wu, Linggang Kong, Shijia Kang, Hongfu Zuo, Yonghui Yang, Zheng Cheng

Sensors, February, 2024

Texture-aware and color-consistent learning for underwater image enhancement.

Shuteng Hu, Zheng Cheng, Guodong Fan, Min Gan, C. L. Philip Chen

J. Vis. Commun. Image Represent., 2024

FDCE-Net: Underwater Image Enhancement with Embedding Frequency and Dual Color Encoder.

Zheng Cheng, Guodong Fan, Jingchun Zhou, Min Gan, C. L. Philip Chen

CoRR, 2024

Residential Demand Response Scheduling Under Hybrid Tariffs Using Novel Multi-Objective Chemical Reaction Optimization Algorithm.

Zheng Cheng, Weidong Lei, Shibohua Zhang

IEEE Access, 2024

2023

SEL-Net: A Self-Supervised Learning-Based Network for PolSAR Image Runway Region Detection.

Ping Han, Yanwen Peng, Zheng Cheng, Dayu Liao, Binbin Han

Remote. Sens., October, 2023

Verifying Event-B Hybrid Models Using Cyclone.

Hao Wu, Zheng Cheng

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Classification of New Energy Vehicle Patent Texts Based on BERT-BILSTM.

Zheng Cheng, Deng Na, Ruiyi Cui, Hanhui Lin

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2023

Evolution Analysis of R&D Jobs Based on Patents' Technology Efficacy Labeling.

Ruiyi Cui, Deng Na, Zheng Cheng

Proceedings of the Advances in Internet, Data & Web Technologies, 2023

VisPhoto: Photography for People with Visual Impairments via Post-Production of Omnidirectional Camera Imaging.

Naoki Hirabayashi, Masakazu Iwamura, Zheng Cheng, Kazunori Minatani, Koichi Kise

Proceedings of the 25th International ACM SIGACCESS Conference on Computers and Accessibility, 2023

2022

Deep specification and proof preservation for the CoqTL transformation language.

Zheng Cheng, Massimo Tisi

Softw. Syst. Model., 2022

SEAN: A Simple and Efficient Attention Network for Aircraft Detection in SAR Images.

Ping Han, Dayu Liao, Binbin Han, Zheng Cheng

Remote. Sens., 2022

Object-Oriented Unsupervised Classification of PolSAR Images Based on Image Block.

Binbin Han, Ping Han, Zheng Cheng

Remote. Sens., 2022

Research on IETM Data Publishing.

Cuifang Zheng, Jiaju Wu, Zheng Cheng, Linggang Kong, Shijia Kang, Bin Luo

Proceedings of the International Conference on Artificial Intelligence, 2022

2021

The Demand Supply Steady-State Process-Based Multi-Level Spare Parts Optimization.

Jiaju Wu, Huijun Liu, Hongfu Zuo, Zheng Cheng, Yonghui Yang, Yongqi Ma, Linggang Kong

Sensors, 2021

Transferable Multilevel Attention Neural Network for Accurate Prediction of Quantum Chemistry Properties via Multitask Learning.

Ziteng Liu, Liqiang Lin, Qingqing Jia, Zheng Cheng, Yanyan Jiang, Yanwen Guo, Jing Ma

J. Chem. Inf. Model., 2021

A Refinement Strategy for Hybrid System Design with Safety Constraints.

Zheng Cheng, Dominique Méry

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

2020

CoqTL: a Coq DSL for rule-based model transformation.

Zheng Cheng, Massimo Tisi, Rémi Douence

Softw. Syst. Model., 2020

A Novel Zero-Watermarking Scheme Based on Variable Parameter Chaotic Mapping in NSPD-DCT Domain.

Rui Wang, Shaocheng Han, Peng Zhang, Meng Yue, Zheng Cheng, Yujin Zhang

IEEE Access, 2020

Transformer Based Multi-Grained Attention Network for Aspect-Based Sentiment Analysis.

Jiahui Sun, Ping Han, Zheng Cheng, Enming Wu, Wenqing Wang

IEEE Access, 2020

Certifying a rule-based model transformation engine for proof preservation.

Zheng Cheng, Massimo Tisi, Joachim Hotonnier

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Polsar Image Classification based on Optimal Feature and Convolution Neural Network.

Ping Han, Zetao Chen, Yishuang Wan, Zheng Cheng

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks.

Thibault Béziers la Fosse, Zheng Cheng, Jérôme Rocheteau, Jean-Marie Mottu

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

VisPhoto: Photography for People with Visual Impairment as Post-Production of Omni-Directional Camera Image.

Masakazu Iwamura, Naoki Hirabayashi, Zheng Cheng, Kazunori Minatani, Koichi Kise

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

2019

Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning.

Maohua Du, Peixin Wang, Junhua Wang, Zheng Cheng, Shensong Wang

Complex., 2019

Removing Problems in Rule-Based Policies.

Zheng Cheng, Jean-Claude Royer, Massimo Tisi

Proceedings of the ICT Systems Security and Privacy Protection, 2019

A Fast and Accurate Cluster Center Initialization Algorithm for PolSAR Superpixel Segmentation.

Binbin Han, Ping Han, Zheng Cheng

Proceedings of the 2019 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2019

Classification of Polarimetric SAR Image based on Improved Fuzzy Clustering.

Zheng Cheng, Ping Han, Binbin Han, Jiahui Sun

Proceedings of the 2019 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2019

2018

Slicing ATL model transformations for scalable deductive verification and fault localization.

Zheng Cheng, Massimo Tisi

Int. J. Softw. Tools Technol. Transf., 2018

Formalised EMFTVM bytecode language for sound verification of model transformations.

Zheng Cheng, Rosemary Monahan, James F. Power

Softw. Syst. Model., 2018

Multiobjective Optimization of Tool Geometric Parameters Using Genetic Algorithm.

Maohua Du, Zheng Cheng, Yanfei Zhang, Shensong Wang

Complex., 2018

Efficiently Characterizing the Undefined Requests of a Rule-Based System.

Zheng Cheng, Jean-Claude Royer, Massimo Tisi

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

CoqTL: An Internal DSL for Model Transformation in Coq.

Massimo Tisi, Zheng Cheng

Proceedings of the Theory and Practice of Model Transformation, 2018

2017

Incremental Deductive Verification for Relational Model Transformations.

Zheng Cheng, Massimo Tisi

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A Deductive Approach for Fault Localization in ATL Model Transformations.

Zheng Cheng, Massimo Tisi

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Design of a New Built-in UHF Multi-Frequency Antenna Sensor for Partial Discharge Detection in High-Voltage Switchgears.

Xiaoxing Zhang, Zheng Cheng, Yingang Gui

Sensors, 2016

High-speed real-time single-pixel microscopy based on Fourier sampling.

Qiang Guo, Hongwei Chen, Yuxi Wang, Yong Guo, Peng Liu, Xiurui Zhu, Zheng Cheng, Zhenming Yu, Minghua Chen, Sigang Yang, Shizhong Xie

CoRR, 2016

Towards incremental deductive verification for ATL.

Zheng Cheng, Massimo Tisi

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.

Zheng Cheng, Dominique Méry, Rosemary Monahan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Verifying SimpleGT Transformations Using an Intermediate Verification Language.

Zheng Cheng, Rosemary Monahan, James F. Power

Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

A Sound Execution Semantics for ATL via Translation Validation - Research Paper.

Zheng Cheng, Rosemary Monahan, James F. Power

Proceedings of the Theory and Practice of Model Transformations, 2015

2013

Characterization of Millimeter-Wave Active and Passive Components Embedded in Test Fixtures.

Ghulam Mehdi, Anyong Hu, Zheng Cheng, Jungang Miao, Abdul Mueed

Proceedings of the 11th International Conference on Frontiers of Information Technology, 2013

2012

Nondeterministic Algorithm for Breaking Diffie-Hellman Key Exchange using Self-Assembly of DNA Tiles.

Zheng Cheng

Int. J. Comput. Commun. Control, 2012

A Simple Complexity Measurement for Software Verification and Software Testing.

Zheng Cheng, Rosemary Monahan, James F. Power

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2010

Channel estimation by modulated Lagrange interpolation.

Zheng Cheng, Jon W. Mark

Signal Process., 2010

Research of configuration management in complex equipment collaborative R&D.

Dingyong Tang, Zheng Cheng, Dongmei Xie, Yizhen Tao

Proceedings of the 2010 14th International Conference on Computer Supported Cooperative Work in Design, 2010

2007

Explicit Frequency Estimation and Tracking Using Modulated Lagrange Delay Filter.

Zheng Cheng

Int. J. Wirel. Opt. Commun., 2007

2003

A new time delay estimator based on ETDE.

Zheng Cheng, Tjeng Thiang Tjhung

IEEE Trans. Signal Process., 2003

2002

A new algorithm for explicit time delay estimation.

Zheng Cheng, T. T. Tjhung

Proceedings of the 14th International Conference on Digital Signal Processing, 2002