Zheng Cheng

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 37

Top Topics

Unsupervised Classification

Fault Localization

Top Venues

Softw. Syst. Model.

Publications

Shuteng Hu, Zheng Cheng, Guodong Fan, Min Gan, C. L. Philip Chen
Texture-aware and color-consistent learning for underwater image enhancement. J. Vis. Commun. Image Represent. 98 (2024)
Jiaju Wu, Linggang Kong, Shijia Kang, Hongfu Zuo, Yonghui Yang, Zheng Cheng
Aircraft Engine Fault Diagnosis Model Based on 1DCNN-BiLSTM with CBAM. Sensors 24 (3) (2024)
Zheng Cheng, Guodong Fan, Jingchun Zhou, Min Gan, C. L. Philip Chen
FDCE-Net: Underwater Image Enhancement with Embedding Frequency and Dual Color Encoder. CoRR (2024)
Cui Ruiyi, Deng Na, Zheng Cheng
Evolution Analysis of R&D Jobs Based on Patents' Technology Efficacy Labeling. EIDWT (2023)
Naoki Hirabayashi, Masakazu Iwamura, Zheng Cheng, Kazunori Minatani, Koichi Kise
VisPhoto: Photography for People with Visual Impairments via Post-Production of Omnidirectional Camera Imaging. ASSETS (2023)
Ping Han, Yanwen Peng, Zheng Cheng, Dayu Liao, Binbin Han
SEL-Net: A Self-Supervised Learning-Based Network for PolSAR Image Runway Region Detection. Remote. Sens. 15 (19) (2023)
Hao Wu, Zheng Cheng
Verifying Event-B Hybrid Models Using Cyclone. ABZ (2023)
Zheng Cheng, Deng Na, Ruiyi Cui, Hanhui Lin
Classification of New Energy Vehicle Patent Texts Based on BERT-BILSTM. INCoS (2023)
Zheng Cheng, Massimo Tisi
Deep specification and proof preservation for the CoqTL transformation language. Softw. Syst. Model. 21 (5) (2022)
Cuifang Zheng, Jiaju Wu, Zheng Cheng, Linggang Kong, Shijia Kang, Bin Luo
Research on IETM Data Publishing. AIIPCC (2022)
Ping Han, Dayu Liao, Binbin Han, Zheng Cheng
SEAN: A Simple and Efficient Attention Network for Aircraft Detection in SAR Images. Remote. Sens. 14 (18) (2022)
Binbin Han, Ping Han, Zheng Cheng
Object-Oriented Unsupervised Classification of PolSAR Images Based on Image Block. Remote. Sens. 14 (16) (2022)
Jiaju Wu, Huijun Liu, Hongfu Zuo, Zheng Cheng, Yonghui Yang, Yongqi Ma, Linggang Kong
The Demand Supply Steady-State Process-Based Multi-Level Spare Parts Optimization. Sensors 21 (24) (2021)
Zheng Cheng, Dominique Méry
A Refinement Strategy for Hybrid System Design with Safety Constraints. MEDI (2021)
Ziteng Liu, Liqiang Lin, Qingqing Jia, Zheng Cheng, Yanyan Jiang, Yanwen Guo, Jing Ma
Transferable Multilevel Attention Neural Network for Accurate Prediction of Quantum Chemistry Properties via Multitask Learning. J. Chem. Inf. Model. 61 (3) (2021)
Ping Han, Zetao Chen, Yishuang Wan, Zheng Cheng
Polsar Image Classification based on Optimal Feature and Convolution Neural Network. IGARSS (2020)
Masakazu Iwamura, Naoki Hirabayashi, Zheng Cheng, Kazunori Minatani, Koichi Kise
VisPhoto: Photography for People with Visual Impairment as Post-Production of Omni-Directional Camera Image. CHI Extended Abstracts (2020)
Thibault Béziers la Fosse, Zheng Cheng, Jérôme Rocheteau, Jean-Marie Mottu
Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks. SEAA (2020)
Zheng Cheng, Massimo Tisi, Joachim Hotonnier
Certifying a rule-based model transformation engine for proof preservation. MoDELS (2020)
Zheng Cheng, Massimo Tisi, Rémi Douence
CoqTL: a Coq DSL for rule-based model transformation. Softw. Syst. Model. 19 (2) (2020)
Jiahui Sun, Ping Han, Zheng Cheng, Enming Wu, Wenqing Wang
Transformer Based Multi-Grained Attention Network for Aspect-Based Sentiment Analysis. IEEE Access 8 (2020)
Rui Wang, Shaocheng Han, Peng Zhang, Meng Yue, Zheng Cheng, Yujin Zhang
A Novel Zero-Watermarking Scheme Based on Variable Parameter Chaotic Mapping in NSPD-DCT Domain. IEEE Access 8 (2020)
Maohua Du, Peixin Wang, Junhua Wang, Zheng Cheng, Shensong Wang
Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning. Complex. 2019 (2019)
Zheng Cheng, Jean-Claude Royer, Massimo Tisi
Removing Problems in Rule-Based Policies. SEC (2019)
Zheng Cheng, Ping Han, Binbin Han, Jiahui Sun
Classification of Polarimetric SAR Image based on Improved Fuzzy Clustering. APSIPA (2019)
Binbin Han, Ping Han, Zheng Cheng
A Fast and Accurate Cluster Center Initialization Algorithm for PolSAR Superpixel Segmentation. APSIPA (2019)
Zheng Cheng, Jean-Claude Royer, Massimo Tisi
Efficiently Characterizing the Undefined Requests of a Rule-Based System. IFM (2018)
Maohua Du, Zheng Cheng, Yanfei Zhang, Shensong Wang
Multiobjective Optimization of Tool Geometric Parameters Using Genetic Algorithm. Complex. 2018 (2018)
Massimo Tisi, Zheng Cheng
CoqTL: An Internal DSL for Model Transformation in Coq. ICMT (2018)
Zheng Cheng, Rosemary Monahan, James F. Power
Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. 17 (4) (2018)
Zheng Cheng, Massimo Tisi
Slicing ATL model transformations for scalable deductive verification and fault localization. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Zheng Cheng, Massimo Tisi
Incremental Deductive Verification for Relational Model Transformations. ICST (2017)
Zheng Cheng, Massimo Tisi
A Deductive Approach for Fault Localization in ATL Model Transformations. FASE (2017)
Zheng Cheng, Massimo Tisi
Towards incremental deductive verification for ATL. PAME/VOLT@MoDELS (2016)
Zheng Cheng, Dominique Méry, Rosemary Monahan
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISoLA (1) (2016)
Xiaoxing Zhang, Zheng Cheng, Yingang Gui
Design of a New Built-in UHF Multi-Frequency Antenna Sensor for Partial Discharge Detection in High-Voltage Switchgears. Sensors 16 (8) (2016)
Qiang Guo, Hongwei Chen, Yuxi Wang, Yong Guo, Peng Liu, Xiurui Zhu, Zheng Cheng, Zhenming Yu, Minghua Chen, Sigang Yang, Shizhong Xie
High-speed real-time single-pixel microscopy based on Fourier sampling. CoRR (2016)
Zheng Cheng, Rosemary Monahan, James F. Power
Verifying SimpleGT Transformations Using an Intermediate Verification Language. VOLT@STAF (2015)
Zheng Cheng, Rosemary Monahan, James F. Power
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. ICMT (2015)
Ghulam Mehdi, Anyong Hu, Zheng Cheng, Jungang Miao, Abdul Mueed
Characterization of Millimeter-Wave Active and Passive Components Embedded in Test Fixtures. FIT (2013)
Zheng Cheng
Nondeterministic Algorithm for Breaking Diffie-Hellman Key Exchange using Self-Assembly of DNA Tiles. Int. J. Comput. Commun. Control 7 (4) (2012)
Zheng Cheng, Rosemary Monahan, James F. Power
A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE (2012)
Dingyong Tang, Zheng Cheng, Dongmei Xie, Yizhen Tao
Research of configuration management in complex equipment collaborative R&D. CSCWD (2010)
Zheng Cheng, Jon W. Mark
Channel estimation by modulated Lagrange interpolation. Signal Process. 90 (9) (2010)
Zheng Cheng
Explicit Frequency Estimation and Tracking Using Modulated Lagrange Delay Filter. Int. J. Wirel. Opt. Commun. 4 (1) (2007)
Zheng Cheng, Tjeng Thiang Tjhung
A new time delay estimator based on ETDE. IEEE Trans. Signal Process. 51 (7) (2003)
Zheng Cheng, T. T. Tjhung
A new algorithm for explicit time delay estimation. DSP (2002)