Zhibin Yang
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Multim. Syst., October, 2024
Results and Perspectives from the First Two Years of Neutrino Physics at the LHC by the SND@LHC Experiment.
Symmetry, June, 2024
IEEE Access, 2024
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2024, 2024
AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models.
Proceedings of the Formal Methods - 26th International Symposium, 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
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
Proceedings of the 2020 International Conference on Wireless Communications and Signal Processing (WCSP), 2020
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
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
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
2017
Softw. Qual. J., 2017
Frontiers Comput. Sci., 2017
2016
Frontiers Comput. Sci., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
2015
Simul. Model. Pract. Theory, 2015
Towards a verified transformation from AADL to the formal component-based language FIACRE.
Sci. Comput. Program., 2015
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
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
Frontiers Comput. Sci., 2013
Frontiers Comput. Sci., 2013
2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
2008
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
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