Junya Xu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Network On Chip

Constraint Satisfaction Problems

Top Venues

Comput. Sci. Inf. Syst.

Publications

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst. 20 (1) (2023)
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ECBS (2021)
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE (2020)