We stand with Ukraine

We stand with Ukraine

Zheng Cheng

Orcid: 0000-0002-6361-1103

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

,

,

,

,

,

Sensors, February, 2024

2023

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

[BibT_eX]

[DOI]

,

,

,

,

Remote. Sens., October, 2023

Verifying Event-B Hybrid Models Using Cyclone.

[BibT_eX]

[DOI]

,

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

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

[BibT_eX]

[DOI]

,

,

,

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

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

[BibT_eX]

[DOI]

,

,

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

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

[BibT_eX]

[DOI]

Naoki Hirabayashi

,

Masakazu Iwamura

,

,

Kazunori Minatani

,

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

2022

Deep specification and proof preservation for the CoqTL transformation language.

[BibT_eX]

[DOI]

,

Softw. Syst. Model., 2022

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

[BibT_eX]

[DOI]

,

,

,

Remote. Sens., 2022

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

[BibT_eX]

[DOI]

,

,

Remote. Sens., 2022

Research on IETM Data Publishing.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the International Conference on Artificial Intelligence, 2022

2021

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

Sensors, 2021

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

J. Chem. Inf. Model., 2021

A Refinement Strategy for Hybrid System Design with Safety Constraints.

[BibT_eX]

[DOI]

,

Dominique Méry

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

2020

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

[BibT_eX]

[DOI]

,

,

Softw. Syst. Model., 2020

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

[BibT_eX]

[DOI]

,

,

,

,

,

IEEE Access, 2020

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

[BibT_eX]

[DOI]

,

,

,

,

IEEE Access, 2020

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

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

,

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

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

[BibT_eX]

[DOI]

Thibault Béziers la Fosse

,

,

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.

[BibT_eX]

[DOI]

Masakazu Iwamura

,

Naoki Hirabayashi

,

,

Kazunori Minatani

,

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.

[BibT_eX]

[DOI]

,

,

,

,

Complex., 2019

Removing Problems in Rule-Based Policies.

[BibT_eX]

[DOI]

,

Jean-Claude Royer

,

Proceedings of the ICT Systems Security and Privacy Protection, 2019

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

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

,

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.

[BibT_eX]

[DOI]

,

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

Formalised EMFTVM bytecode language for sound verification of model transformations.

[BibT_eX]

[DOI]

,

Rosemary Monahan

,

Softw. Syst. Model., 2018

Multiobjective Optimization of Tool Geometric Parameters Using Genetic Algorithm.

[BibT_eX]

[DOI]

,

,

,

Complex., 2018

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

[BibT_eX]

[DOI]

,

Jean-Claude Royer

,

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

CoqTL: An Internal DSL for Model Transformation in Coq.

[BibT_eX]

[DOI]

,

Proceedings of the Theory and Practice of Model Transformation, 2018

2017

Incremental Deductive Verification for Relational Model Transformations.

[BibT_eX]

[DOI]

,

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

A Deductive Approach for Fault Localization in ATL Model Transformations.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

,

Sensors, 2016

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

,

CoRR, 2016

Towards incremental deductive verification for ATL.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

Rosemary Monahan

,

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.

[BibT_eX]

[DOI]

,

Rosemary Monahan

,

Proceedings of the Theory and Practice of Model Transformations, 2015

2013

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

[BibT_eX]

[DOI]

,

,

,

,

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.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2012

A Simple Complexity Measurement for Software Verification and Software Testing.

[BibT_eX]

[DOI]

,

Rosemary Monahan

,

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

2010

Channel estimation by modulated Lagrange interpolation.

[BibT_eX]

[DOI]

,

Signal Process., 2010

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

[BibT_eX]

[DOI]

,

,

,

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.

[BibT_eX]

[DOI]

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

2003

A new time delay estimator based on ETDE.

[BibT_eX]

[DOI]

,

Tjeng Thiang Tjhung

IEEE Trans. Signal Process., 2003

2002

A new algorithm for explicit time delay estimation.

[BibT_eX]

[DOI]

,

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

Loading...