We stand with Ukraine  

Bin Yu

Affiliations:
  • Xidian University, Xi'an, Shaanxi, China


According to our database1, Bin Yu authored at least 12 papers between 2006 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
Generating Java code pairing with ChatGPT.
[BibTeX]
[DOI]
Zelong Zhao
,
Nan Zhang
,
Bin Yu
,
Zhenhua Duan
Theor. Comput. Sci., 2024

2023
Using Experience Classification for Training Non-Markovian Tasks.
[BibTeX]
[DOI]
Ruixuan Miao
,
Xu Lu
,
Cong Tian
,
Bin Yu
,
Zhenhua Duan
CoRR, 2023

2022
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.
[BibTeX]
[DOI]
Chu Chen
,
Xuan Wang
,
Pinghong Ren
,
Zhenhua Duan
,
Cong Tian
,
Xu Lu
,
Bin Yu
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

2021
Temporal logic specification mining of programs.
[BibTeX]
[DOI]
Nan Zhang
,
Bin Yu
,
Cong Tian
,
Zhenhua Duan
,
Xiaoshuai Yuan
Theor. Comput. Sci., 2021

A dynamic approach to detecting, eliminating and fixing memory leaks.
[BibTeX]
[DOI]
Bin Yu
,
Cong Tian
,
Nan Zhang
,
Zhenhua Duan
,
Hongwei Du
J. Comb. Optim., 2021

A Novel Load Balancing Scheme for Mobile Edge Computing.
[BibTeX]
[DOI]
Zhenhua Duan
,
Cong Tian
,
Nan Zhang
,
Mengchu Zhou
,
Bin Yu
,
Xiaobing Wang
,
Jiangen Guo
,
Ying Wu
CoRR, 2021

2018
Verifying temporal properties of programs: A parallel approach.
[BibTeX]
[DOI]
Bin Yu
,
Zhenhua Duan
,
Cong Tian
,
Nan Zhang
J. Parallel Distributed Comput., 2018

2014
Unified Bounded Model Checking for MSVL.
[BibTeX]
[DOI]
Bin Yu
,
Zhenhua Duan
,
Cong Tian
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2013
Bounded Model Checking of Traffic Light Control System.
[BibTeX]
[DOI]
Bin Yu
,
Zhenhua Duan
,
Cong Tian
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

2007
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.
[BibTeX]
[DOI]
Peng Men
,
Zhenhua Duan
,
Bin Yu
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Semantic Matching of Web Services for Collaborative Business Processes.
[BibTeX]
[DOI]
Lihui Lei
,
Zhenhua Duan
,
Bin Yu
Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Semantic Matching of Web Services Based on Choreographies.
[BibTeX]
[DOI]
Lihui Lei
,
Zhenhua Duan
,
Bin Yu
Proceedings of the 10th International Conference on CSCW in Design, 2006


  Loading...