Zhibin Yang

According to our database, Zhibin Yang authored at least 42 papers between 2005 and 2023.

Collaborative distances:

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

2023

Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems.

Zhibin Yang, Linquan Xing, Zonghua Gu, Yingmin Xiao, Yong Zhou, Zhiqiu Huang, Lei Xue

IEEE Trans. Ind. Informatics, 2023

Monitoring ice flow velocity of Petermann glacier combined with Sentinel-1 and -2 imagery.

Gang Li, Yanting Mao, Xiaoman Feng, Zhuoqi Chen, Zhibin Yang, Xiao Cheng

Int. J. Appl. Earth Obs. Geoinformation, 2023

Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance.

Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

Intelligent terminal security technology of power grid sensing layer based upon information entropy data mining.

Shuai Ren, Defeng Chen, Yaodong Tao, Shuheng Xu, Gang Wang, Zhibin Yang

J. Intell. Syst., June, 2022

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.

Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang

Connect. Sci., 2022

2021

Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study.

Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou

Sci. Comput. Program., 2021

C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software.

Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali

J. Syst. Archit., 2021

Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.

Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu

Formal Aspects Comput., 2021

Signal processing method for flight time measurement of gas ultrasonic flowmeter.

Dandan Zheng, Jianqiang Mei, Yang Mao, Zhibin Yang

Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2021

2020

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.

Fei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali

IEEE Trans. Reliab., 2020

Depthwise Separable Convolution based Lightweight HSRRS Image Classification Method.

Wang Luo, Tong Li, Weidong Yang, Tongwei Yu, Dingding Xi, Li Shen, Yuan Xia, Zhibin Yang, Huarong Xu

Proceedings of the 2020 International Conference on Wireless Communications and Signal Processing (WCSP), 2020

A Secure and Trustable Access Method of Power Business in 5G Networks.

Huan Li, Fanbo Meng, Dongdong Wang, Zhibin Yang

Proceedings of the Simulation Tools and Techniques - 12th EAI International Conference, 2020

A Traffic Feature Analysis Approach for Converged Networks of LTE and Broadband Carrier Wireless Communications.

Huan Li, Yang Liu, Fanbo Meng, Zhibin Yang, Dongdong Wang, Yang Nan

Proceedings of the Simulation Tools and Techniques - 12th EAI International Conference, 2020

A Context-Aware Computing Method of Sentence Similarity Based on Frame Semantics.

Wenjing Liu, Tiexin Wang, Zhibin Yang, Jingwen Cao

Proceedings of the Advanced Data Mining and Applications - 16th International Conference, 2020

2019

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali

Frontiers Comput. Sci., 2019

Day-Ahead Hierarchical Optimal Scheduling for Offshore Integrated Electricity-Gas-Heat Energy System Considering Load Forecasting.

Shnwei Liu, Zhibin Yang, Yinchang Du, Fanxu Kong, Yurong Ding, Xuechun Wang

Proceedings of the IECON 2019, 2019

A STFT-Based Traffic Acquirement Algorithm to Remote Smart Managements of Optical Fiber Cores.

Fanbo Meng, Huan Li, Yitao Liu, Jianhong Kong, Bin Lu, Zhibin Yang, Shuai Ren

Proceedings of the IEEE International Conference on Industrial Internet, 2019

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study.

Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018

Carrier Frequency Offset Estimation for OFDM With Generalized Index Modulation Systems Using Inactive Data Tones.

Zhibin Yang, Fangjiong Chen, Beixiong Zheng, Miaowen Wen, Wulong Yu

IEEE Commun. Lett., 2018

Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension.

Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Beyond spatial and temporal memory safety.

Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Quantitative risk analysis of safety-critical embedded systems.

Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang

Softw. Qual. J., 2017

A survey on formal specification and verification of separation kernels.

Yongwang Zhao, Zhibin Yang, Dianfu Ma

Frontiers Comput. Sci., 2017

2016

Towards a verified compiler prototype for the synchronous language SIGNAL.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma

Frontiers Comput. Sci., 2016

Parametric Runtime Verification of C Programs.

Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Simulation of real-time systems with clock calculus.

Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai

Simul. Model. Pract. Theory, 2015

Towards a verified transformation from AADL to the formal component-based language FIACRE.

Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang

Sci. Comput. Program., 2015

Exploring AADL verification tool through model transformation.

Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai

J. Syst. Archit., 2015

Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B.

Yongwang Zhao, Zhibin Yang, David Sanán

CoRR, 2015

Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.

Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014

From AADL to Timed Abstract State Machines: A verified model transformation.

Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin

J. Syst. Softw., 2014

A verified transformation: from polychronous programs to a variant of clocked guarded actions.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma

Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014

Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

2013

A comparative study of two formal semantics of the SIGNAL language.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali

Frontiers Comput. Sci., 2013

Multi-threaded code generation from Signal program to OpenMP.

Kai Hu, Teng Zhang, Zhibin Yang

Frontiers Comput. Sci., 2013

2011

Two Formal Semantics of a Subset of the AADL.

Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2009

A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.

Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Towards a formal semantics for the AADL behavior annex.

Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi

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

2008

An Expanded Stochastic Model in DAG Schemes.

Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2006

QoS Model of a Router with Feedback Control.

Zhibin Yang, Nong Ye, Ying-Cheng Lai

Qual. Reliab. Eng. Int., 2006

2005

Enhancing router QoS through job scheduling with weighted shortest processing time-adjusted.

Nong Ye, Zhibin Yang, Ying-Cheng Lai, Toni Farley

Comput. Oper. Res., 2005

The study on Common/Unique issues in PLM/CAD integration and a design of flexible integration architecture.

Yubin Xia, Zhibin Yang, Li Zhang, Yinan Zhang, Liangyun Hu

Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005