Travelled to:1 × Austria
1 × Finland
1 × Norway
Collaborated with:∅ Xinxin Liu 0009 T.Yu E.B.Johnsen O.Owe D.B.Aredo X.Zhu R.Yan Y.Gu J.Zhang G.Zhang
Talks about:qbf (2) distribut (1) synchron (1) properti (1) schedul (1) graphic (1) develop (1) bisimul (1) tempor (1) system (1)
Person: Wenhui Zhang
DBLP: Zhang:Wenhui
Contributed to:
2015
2014
2002
2017Wrote 4 papers:
- FM-2015-ZhuYGZZZ #data flow #graph #model checking #scheduling
- Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.
- IJCAR-2014-Zhang #encoding #verification
- QBF Encoding of Temporal Properties and QBF-Based Verification (WZ), pp. 224–239.
- IFM-2002-JohnsenZOA #development #distributed #visual notation
- Combining Graphical and Formal Development of Open Distributed Systems (EBJ, WZ, OO, DBA), pp. 319–338.
- POPL-2017-LiuYZ #bisimulation #semantics
- Analyzing divergence in bisimulation semantics (XL0, TY, WZ), pp. 735–747.