default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhibin Yang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j23]Donghao zhang, Jiwei Qin, Jie Ma, Zhibin Yang, Daishun Cui, Peichen Ji:
Item attributes fusion based on contrastive learning for sequential recommendation. Multim. Syst. 30(5): 291 (2024)- [j22]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 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á:
Results and Perspectives from the First Two Years of Neutrino Physics at the LHC by the SND@LHC Experiment. Symmetry 16(6): 702 (2024) - [c22]Hanfeng Wang, Zhibin Yang, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li:
AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models. FM (2) 2024: 338-355 - [c21]Jie Ma, Jiwei Qin, Peichen Ji, Zhibin Yang, Donghao Zhang, Chaoqun Liu:
Subgraph Collaborative Graph Contrastive Learning for Recommendation. ICANN (9) 2024: 105-120 - 2023
- [j21]Gang Li, Yanting Mao, Xiaoman Feng, Zhuoqi Chen, Zhibin Yang, Xiao Cheng:
Monitoring ice flow velocity of Petermann glacier combined with Sentinel-1 and -2 imagery. Int. J. Appl. Earth Obs. Geoinformation 121: 103374 (2023) - [j20]Zhibin Yang, Linquan Xing, Zonghua Gu, Yingmin Xiao, Yong Zhou, Zhiqiu Huang, Lei Xue:
Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems. IEEE Trans. Ind. Informatics 19(1): 1107-1116 (2023) - [c20]Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang:
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance. SETTA 2023: 298-313 - 2022
- [j19]Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang:
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems. Connect. Sci. 34(1): 911-941 (2022) - [j18]Shuai Ren, Defeng Chen, Yaodong Tao, Shuheng Xu, Gang Wang, Zhibin Yang:
Intelligent terminal security technology of power grid sensing layer based upon information entropy data mining. J. Intell. Syst. 31(1): 817-834 (2022) - 2021
- [j17]Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu:
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. Formal Aspects Comput. 33(3): 343-384 (2021) - [j16]Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali:
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software. J. Syst. Archit. 118: 102202 (2021) - [j15]Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou:
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study. Sci. Comput. Program. 207: 102644 (2021) - [c19]Dandan Zheng, Jianqiang Mei, Yang Mao, Zhibin Yang:
Signal processing method for flight time measurement of gas ultrasonic flowmeter. I2MTC 2021: 1-6 - 2020
- [j14]Fei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali:
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. IEEE Trans. Reliab. 69(1): 154-173 (2020) - [c18]Wenjing Liu, Tiexin Wang, Zhibin Yang, Jingwen Cao:
A Context-Aware Computing Method of Sentence Similarity Based on Frame Semantics. ADMA 2020: 114-126 - [c17]Huan Li, Fanbo Meng, Dongdong Wang, Zhibin Yang:
A Secure and Trustable Access Method of Power Business in 5G Networks. SimuTools (1) 2020: 1-11 - [c16]Huan Li, Yang Liu, Fanbo Meng, Zhibin Yang, Dongdong Wang, Yang Nan:
A Traffic Feature Analysis Approach for Converged Networks of LTE and Broadband Carrier Wireless Communications. SimuTools (1) 2020: 183-193 - [c15]Wang Luo, Tong Li, Weidong Yang, Tongwei Yu, Dingding Xi, Li Shen, Yuan Xia, Zhibin Yang, Huarong Xu:
Depthwise Separable Convolution based Lightweight HSRRS Image Classification Method. WCSP 2020: 586-590
2010 – 2019
- 2019
- [j13]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali:
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. Frontiers Comput. Sci. 13(4): 715-734 (2019) - [c14]Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou:
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study. FTSCS 2019: 57-73 - [c13]Fanbo Meng, Huan Li, Yitao Liu, Jianhong Kong, Bin Lu, Zhibin Yang, Shuai Ren:
A STFT-Based Traffic Acquirement Algorithm to Remote Smart Managements of Optical Fiber Cores. ICII 2019: 143-147 - [c12]Shnwei Liu, Zhibin Yang, Yinchang Du, Fanxu Kong, Yurong Ding, Xuechun Wang:
Day-Ahead Hierarchical Optimal Scheduling for Offshore Integrated Electricity-Gas-Heat Energy System Considering Load Forecasting. IECON 2019: 2342-2347 - 2018
- [j12]Zhibin Yang, Fangjiong Chen, Beixiong Zheng, Miaowen Wen, Wulong Yu:
Carrier Frequency Offset Estimation for OFDM With Generalized Index Modulation Systems Using Inactive Data Tones. IEEE Commun. Lett. 22(11): 2302-2305 (2018) - [c11]Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang:
Beyond spatial and temporal memory safety. ICSE (Companion Volume) 2018: 189-190 - [c10]Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali:
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. MEMOCODE 2018: 88-98 - 2017
- [j11]Yongwang Zhao, Zhibin Yang, Dianfu Ma:
A survey on formal specification and verification of separation kernels. Frontiers Comput. Sci. 11(4): 585-607 (2017) - [j10]Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang:
Quantitative risk analysis of safety-critical embedded systems. Softw. Qual. J. 25(2): 503-527 (2017) - 2016
- [j9]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma:
Towards a verified compiler prototype for the synchronous language SIGNAL. Frontiers Comput. Sci. 10(1): 37-53 (2016) - [c9]Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang:
Parametric Runtime Verification of C Programs. TACAS 2016: 299-315 - 2015
- [j8]Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai:
Exploring AADL verification tool through model transformation. J. Syst. Archit. 61(3-4): 141-156 (2015) - [j7]Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang:
Towards a verified transformation from AADL to the formal component-based language FIACRE. Sci. Comput. Program. 106: 30-53 (2015) - [j6]Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai:
Simulation of real-time systems with clock calculus. Simul. Model. Pract. Theory 51: 69-86 (2015) - [c8]Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu:
Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B. ISSRE 2015: 281-292 - [i1]Yongwang Zhao, Zhibin Yang, David Sanán:
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B. CoRR abs/1508.06479 (2015) - 2014
- [j5]Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin:
From AADL to Timed Abstract State Machines: A verified model transformation. J. Syst. Softw. 93: 42-68 (2014) - [c7]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali:
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties. ACVI@MoDELS 2014 - [c6]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
A verified transformation: from polychronous programs to a variant of clocked guarded actions. SCOPES 2014: 128-137 - 2013
- [j4]Kai Hu, Teng Zhang, Zhibin Yang:
Multi-threaded code generation from Signal program to OpenMP. Frontiers Comput. Sci. 7(5): 617-626 (2013) - [j3]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali:
A comparative study of two formal semantics of the SIGNAL language. Frontiers Comput. Sci. 7(5): 673-693 (2013) - 2011
- [c5]Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin:
Two Formal Semantics of a Subset of the AADL. ICECCS 2011: 344-349
2000 – 2009
- 2009
- [c4]Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi:
Towards a formal semantics for the AADL behavior annex. DATE 2009: 1166-1171 - [c3]Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. ICECCS 2009: 347-352 - 2008
- [c2]Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen:
An Expanded Stochastic Model in DAG Schemes. AINA Workshops 2008: 331-336 - 2006
- [j2]Zhibin Yang, Nong Ye, Ying-Cheng Lai:
QoS Model of a Router with Feedback Control. Qual. Reliab. Eng. Int. 22(4): 429-444 (2006) - 2005
- [j1]Nong Ye, Zhibin Yang, Ying-Cheng Lai, Toni Farley:
Enhancing router QoS through job scheduling with weighted shortest processing time-adjusted. Comput. Oper. Res. 32: 2255-2269 (2005) - [c1]Yubin Xia, Zhibin Yang, Li Zhang, Yinan Zhang, Liangyun Hu:
The study on Common/Unique issues in PLM/CAD integration and a design of flexible integration architecture. CIT 2005: 978-982
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-01 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
