Binyu Huang

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Genetic Algorithm

Multiagent Systems

Delay Insensitive

Highly Reliable

Top Venues

Publications

Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma
Specifications to Improve the Reliability of the ZooKeeperCoordination Service. SETTA (2023)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. CoRR (2023)