BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhang:Wenhui

Contributed to:

FM 20152015
IJCAR 20142014
IFM 20022002
POPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.