VLDB 2026 Research / reviewers in the wild / expert
Wei Zhang 0305
dblp:10/4661-305
· DBLP profile ↗
4ranked-venue papers
1as first author
4since 2021 · last 2023
0000-0001-8350-0788ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCSabstractBranching bisimilarity is a well-known equivalence relation for labelled transition systems. Based on this equivalence relation, with an additional simple rootedness condition, a congruence relation for calculus of communication system (CCS) processes can be obtained. However, neither branching bisimilarity nor the corresponding congruence relation preserves divergence, and it is still a question whether, based on a divergence-preserving variant of branching bisimilarity, a divergence-preserving congruence relation for CCS processes can be obtained by introducing the same simple rootedness condition. In this article, we present a partial solution by showing that rooted divergence-preserving branching bisimilarity is preserved under the usual CCS operators, including prefixing, summation, parallel composition, relabelling, restriction, and (weakly) guarded recursion. David N. Jansen, Xinxin Liu 0009, Wei Zhang 0305 |
Formal Aspects Comput. | 4 |
| 2023 | A contract-based semantics and refinement for hybrid Simulink block diagrams
Wei Zhang 0305, Chao Wang 0069, Zhiming Liu 0001 |
J. Syst. Archit. | 2 |
| 2023 | Towards correctness proof for hybrid Simulink block diagrams
Wei Zhang 0305, Chao Wang 0069, Zhiming Liu 0001 |
J. Syst. Archit. | 1 |
| 2022 | A Contract-Based Semantics and Refinement for Simulink
Wei Zhang 0305, Chao Wang 0069, Zhiming Liu 0001 |
SETTA | 2 |