Zhibin Yang

Orcid: 0000-0002-0243-6612

According to our database1, Zhibin Yang authored at least 43 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Results and Perspectives from the First Two Years of Neutrino Physics at the LHC by the SND@LHC Experiment.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Symmetry, June, 2024

2023
Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems.
IEEE Trans. Ind. Informatics, 2023

Monitoring ice flow velocity of Petermann glacier combined with Sentinel-1 and -2 imagery.
Int. J. Appl. Earth Obs. Geoinformation, 2023

Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance.
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.
J. Intell. Syst., June, 2022

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.
Connect. Sci., 2022

2021
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study.
Sci. Comput. Program., 2021

C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software.
J. Syst. Archit., 2021

Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.
Formal Aspects Comput., 2021

Signal processing method for flight time measurement of gas ultrasonic flowmeter.
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.
IEEE Trans. Reliab., 2020

Depthwise Separable Convolution based Lightweight HSRRS Image Classification Method.
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.
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.
Proceedings of the Simulation Tools and Techniques - 12th EAI International Conference, 2020

A Context-Aware Computing Method of Sentence Similarity Based on Frame Semantics.
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.
Frontiers Comput. Sci., 2019

Day-Ahead Hierarchical Optimal Scheduling for Offshore Integrated Electricity-Gas-Heat Energy System Considering Load Forecasting.
Proceedings of the IECON 2019, 2019

A STFT-Based Traffic Acquirement Algorithm to Remote Smart Managements of Optical Fiber Cores.
Proceedings of the IEEE International Conference on Industrial Internet, 2019

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study.
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.
IEEE Commun. Lett., 2018

Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Beyond spatial and temporal memory safety.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Quantitative risk analysis of safety-critical embedded systems.
Softw. Qual. J., 2017

A survey on formal specification and verification of separation kernels.
Frontiers Comput. Sci., 2017

2016
Towards a verified compiler prototype for the synchronous language SIGNAL.
Frontiers Comput. Sci., 2016

Parametric Runtime Verification of C Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Simulation of real-time systems with clock calculus.
Simul. Model. Pract. Theory, 2015

Towards a verified transformation from AADL to the formal component-based language FIACRE.
Sci. Comput. Program., 2015

Exploring AADL verification tool through model transformation.
J. Syst. Archit., 2015

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

Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014
From AADL to Timed Abstract State Machines: A verified model transformation.
J. Syst. Softw., 2014

A verified transformation: from polychronous programs to a variant of clocked guarded actions.
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.
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.
Frontiers Comput. Sci., 2013

Multi-threaded code generation from Signal program to OpenMP.
Frontiers Comput. Sci., 2013

2011
Two Formal Semantics of a Subset of the AADL.
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.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Towards a formal semantics for the AADL behavior annex.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
An Expanded Stochastic Model in DAG Schemes.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2006
QoS Model of a Router with Feedback Control.
Qual. Reliab. Eng. Int., 2006

2005
Enhancing router QoS through job scheduling with weighted shortest processing time-adjusted.
Comput. Oper. Res., 2005

The study on Common/Unique issues in PLM/CAD integration and a design of flexible integration architecture.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005


  Loading...