Zhibin Yang

55 papers A 4B 2C 5Misc 3Journal 28Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
MetaDTS: Distribution difference-based adaptive test input selection for Deep Neural Networks.
J. Syst. Archit.
Xiang Su, Zhibin Yang, Qu Liu, Hao Liu, Yong Zhou, Zhiqiu Huang
2026 J jnl
SAR-DetAttack: GAN-based adversarial attack with transfer learning for ship detection in satellite SAR images.
J. Syst. Archit.
Qu Liu, Zhibin Yang, Xiang Su, Haoxin Wu, Yong Zhou, Hai Zhang
2025 — conf
Automated AADL Architecture Modeling: Leveraging Large Language Models for Safety-Critical Software.
MODELS-C
Yaxin Zou, Zhibin Yang, Hao Liu, Jiawei Liang, Yong Zhou, Zonghua Gu
2025 A conf
Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification.
ISSRE
Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang
2025 J jnl
FARec: frequency domain enhanced filter for sequential recommendation.
Computing
Zhibin Yang, Jiwei Qin, Jie Ma, Donghao Zhang
2025 — conf
Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models.
QRS Companion
Min Zhou, Zhibin Yang, Yong Zhou, Shuyi Yang, Ai Liu
2025 Misc conf
Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.
TASE
Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang
2024 — conf
AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models.
FM (2)
Hanfeng Wang, Zhibin Yang, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li
2024 J jnl
Adaptive Frequency Domain Data Augmentation for Sequential Recommendation.
IEEE Access
Zhibin Yang, Jiwei Qin, Donghao Zhang, Jie Ma, Peichen Ji
2024 J jnl
Item attributes fusion based on contrastive learning for sequential recommendation.
Multim. Syst.
Donghao Zhang, Jiwei Qin, Jie Ma, Zhibin Yang, Daishun Cui, Peichen Ji
2024 J jnl
Results and Perspectives from the First Two Years of Neutrino Physics at the LHC by the SND@LHC Experiment.
Symmetry
Duccio Abbaneo, Shakeel Ahmad, Raffaele Albanese, Andrey Alexandrov, Fabio Alicante, Konstantin Androsov, Anna Anokhina, Takashi Asada, Chayanit Asawatangtrakuldee, Marco A. Ayala Torres, Carlo Battilana, Aurelio Bay, Alcide Bertocco, Christopher Betancourt, Daniel Bick, Riddhi Biswas, Alberto Blanco Castro, Vincenzo Boccia, Mariyan Bogomilov, Daniele Bonacorsi, Walter M. Bonivento, Paula Bordalo, Alexey Boyarsky, Salvatore Buontempo, Mario Campanelli, TizianoCamporesi, Vincenzo Canale, Andrea Castro, Daniele Centanni, Francesco Cerutti, Mikhail Chernyavskiy, Ki Young Choi, Serhii Cholak, Federico Cindolo, Matei Climescu, Andrew Conaboy, Gaetano Marco Dallavalle, Daniele Davino, Paul de Bryas, Giovanni De Lellis, Massimiliano de Magistris, Albert De Roeck, Alvaro De Rújula, Marilisa De Serio, Dario De Simone, Antonia Di Crescenzo, Donato Di Ferdinando, Roberto Donà, Onur Durhan, Fabrizio Fabbri, Filips Fedotovs, Martina Ferrillo, Massimiliano Ferro-Luzzi, Rosa Anna Fini, Antimo Fiorillo, Raffaele Fresa, Wolfgang Funk, Francisca M. Garay Walls, Artem Golovatiuk, Andrey Golutvin, Elena Graverini, Ali M. Guler, Vasilisa Guliaeva, Guido J. Haefeli, Caren Hagner, Juan C. Helo Herrera, Eric van Herwijnen, Paolo Iengo, Simona Ilieva, Angelo Infantino, Antonio Iuliano, Richard Jacobsson, Cagin Kamiscioglu, Anni M. Kauniskangas, Emil Khalikov, Sung Hyun Kim, Yeong Gyun Kim, Guennadii Klioutchnikov, Masahiro Komatsu, Nina Konovalova, Sergey Kuleshov, Lukasz Krzempek, Heiko M. Lacker, Oliver Lantwin, Federico Lasagni Manghi, Adele Lauria, Kang Young Lee, Kyong Sei Lee, Sergio Lo Meo, Vincenzo Paolo Loschiavo, Stefano Marcellini, Annarita Margiotta, Anna Mascellani, Filippo Mei, Andrea Miano, A. Mikulenko, Maria Cristina Montesi, Francesco Luigi Navarria, Waraporn Nuntiyakul, Satoru Ogawa, Natalia Okateva, Maksym Ovchynnikov, Giulia Paggi, Byungdo Park, Alessandra Pastore, Andrea Perrotta, Dmitriy Podgrudkov, Natalia Polukhina, Andrea Prota, Antonio Quercia, Sérgio Ramos, Anupama Reghunath, Tatiana Roganova, Federico Ronchetti, Tiziano Rovelli, Oleg Ruchayskiy, Thomas Ruf, Marta Sabate Gilarte, Zhakypbek Sadykov, Mikhail Samoilov, Valentino Scalera, Walter Schmidt-Parzefall, Olivier Schneider, Givi Sekhniaidze, Nicola Serra, Mikhail Shaposhnikov, Vladimir Shevchenko, Tatiana Shchedrina, Lesya Shchutska, Hiroshi Shibuya, Saverio Simone, Gian P. Siroli, Gabriele Sirri, Guilherme Soares, Jong Yoon Sohn, Orlando J. Soto Sandoval, Maurizio Spurio, Nikolai Starkov, Jan Steggemann, Inar Timiryasov, Valeri Tioukov, Francesco Tramontano, Carina Trippl, Eduard Ursov, Andrey Ustyuzhanin, Galina Vankova-Kirilova, Gerardo Vasquez, Vassil Verguilov, Nuno Viegas Guerreiro Leonardo, Cristovao Vilela, Ciro Visone, Rainer Wanke, Eda Yaman, Zhibin Yang, Ceren Yazici, Chun Sil Yoon, Ettore Zaffaroni, Jilberto Zamora-Saá
2024 — conf
Subgraph Collaborative Graph Contrastive Learning for Recommendation.
ICANN (9)
Jie Ma, Jiwei Qin, Peichen Ji, Zhibin Yang, Donghao Zhang, Chaoqun Liu
2024 Misc conf
Tri-modality Collaborative Learning for Person Re-identification.
ADC
Shizhuo Deng, Qingyuan Yang, Zhibin Yang, Dongyue Chen, Yu Yang, Hao Wang
2023 J jnl
Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems.
IEEE Trans. Ind. Informatics
Zhibin Yang, Linquan Xing, Zonghua Gu, Yingmin Xiao, Yong Zhou, Zhiqiu Huang, Lei Xue
2023 J jnl
Monitoring ice flow velocity of Petermann glacier combined with Sentinel-1 and -2 imagery.
Int. J. Appl. Earth Obs. Geoinformation
Gang Li, Yanting Mao, Xiaoman Feng, Zhuoqi Chen, Zhibin Yang, Xiao Cheng
2023 Misc conf
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance.
SETTA
Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang
2022 J jnl
Intelligent terminal security technology of power grid sensing layer based upon information entropy data mining.
J. Intell. Syst.
Shuai Ren, Defeng Chen, Yaodong Tao, Shuheng Xu, Gang Wang, Zhibin Yang
2022 J jnl
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.
Connect. Sci.
Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang
2021 J jnl
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software.
J. Syst. Archit.
Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali
2021 J jnl
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.
Formal Aspects Comput.
Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu
2021 J jnl
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study.
Sci. Comput. Program.
Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
2021 — conf
Signal processing method for flight time measurement of gas ultrasonic flowmeter.
I2MTC
Dandan Zheng, Jianqiang Mei, Yang Mao, Zhibin Yang
2020 C conf
A Context-Aware Computing Method of Sentence Similarity Based on Frame Semantics.
ADMA
Wenjing Liu, Tiexin Wang, Zhibin Yang, Jingwen Cao
2020 — conf
A Secure and Trustable Access Method of Power Business in 5G Networks.
SimuTools (1)
Huan Li, Fanbo Meng, Dongdong Wang, Zhibin Yang
2020 — conf
A Traffic Feature Analysis Approach for Converged Networks of LTE and Broadband Carrier Wireless Communications.
SimuTools (1)
Huan Li, Yang Liu, Fanbo Meng, Zhibin Yang, Dongdong Wang, Yang Nan
2020 J jnl
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.
IEEE Trans. Reliab.
Fei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali
2020 — conf
Depthwise Separable Convolution based Lightweight HSRRS Image Classification Method.
WCSP
Wang Luo, Tong Li, Weidong Yang, Tongwei Yu, Dingding Xi, Li Shen, Yuan Xia, Zhibin Yang, Huarong Xu
2019 — conf
A STFT-Based Traffic Acquirement Algorithm to Remote Smart Managements of Optical Fiber Cores.
ICII
Fanbo Meng, Huan Li, Yitao Liu, Jianhong Kong, Bin Lu, Zhibin Yang, Shuai Ren
2019 — conf
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study.
FTSCS
Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
2019 C conf
Day-Ahead Hierarchical Optimal Scheduling for Offshore Integrated Electricity-Gas-Heat Energy System Considering Load Forecasting.
IECON
Shnwei Liu, Zhibin Yang, Yinchang Du, Fanxu Kong, Yurong Ding, Xuechun Wang
2019 J jnl
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL.
Frontiers Comput. Sci.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
2018 — conf
Beyond spatial and temporal memory safety.
ICSE (Companion Volume)
Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang
2018 J jnl
Carrier Frequency Offset Estimation for OFDM With Generalized Index Modulation Systems Using Inactive Data Tones.
IEEE Commun. Lett.
Zhibin Yang, Fangjiong Chen, Beixiong Zheng, Miaowen Wen, Wulong Yu
2018 C conf
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension.
MEMOCODE
Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali
2017 J jnl
A survey on formal specification and verification of separation kernels.
Frontiers Comput. Sci.
Yongwang Zhao, Zhibin Yang, Dianfu Ma
2017 J jnl
Quantitative risk analysis of safety-critical embedded systems.
Softw. Qual. J.
Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang
2016 A conf
Parametric Runtime Verification of C Programs.
TACAS
Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang
2016 J jnl
Towards a verified compiler prototype for the synchronous language SIGNAL.
Frontiers Comput. Sci.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma
2015 J jnl
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B.
CoRR
Yongwang Zhao, Zhibin Yang, David Sanán
2015 A conf
Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.
ISSRE
Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu
2015 J jnl
Exploring AADL verification tool through model transformation.
J. Syst. Archit.
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
2015 J jnl
Simulation of real-time systems with clock calculus.
Simul. Model. Pract. Theory
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
2015 J jnl
Towards a verified transformation from AADL to the formal component-based language FIACRE.
Sci. Comput. Program.
Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang
2014 C conf
A verified transformation: from polychronous programs to a variant of clocked guarded actions.
SCOPES
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
2014 J jnl
From AADL to Timed Abstract State Machines: A verified model transformation.
J. Syst. Softw.
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin
2014 — conf
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties.
ACVI@MoDELS
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
2013 J jnl
A comparative study of two formal semantics of the SIGNAL language.
Frontiers Comput. Sci.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
2013 J jnl
Multi-threaded code generation from Signal program to OpenMP.
Frontiers Comput. Sci.
Kai Hu, Teng Zhang, Zhibin Yang
2011 B conf
Two Formal Semantics of a Subset of the AADL.
ICECCS
Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
2009 B conf
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.
ICECCS
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
2009 A conf
Towards a formal semantics for the AADL behavior annex.
DATE
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
2008 — conf
An Expanded Stochastic Model in DAG Schemes.
AINA Workshops
Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen
2006 J jnl
QoS Model of a Router with Feedback Control.
Qual. Reliab. Eng. Int.
Zhibin Yang, Nong Ye, Ying-Cheng Lai
2005 J jnl
Enhancing router QoS through job scheduling with weighted shortest processing time-adjusted.
Comput. Oper. Res.
Nong Ye, Zhibin Yang, Ying-Cheng Lai, Toni Farley
2005 C conf
The study on Common/Unique issues in PLM/CAD integration and a design of flexible integration architecture.
CIT
Yubin Xia, Zhibin Yang, Li Zhang, Yinan Zhang, Liangyun Hu