BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × South Africa
1 × United Kingdom
2 × Italy
Collaborated with:
Z.Chen J.Wang Y.Chen L.Silva A.Sampaio Y.Zhang W.Dong R.Dong J.Faber J.Srba N.Zhan J.Zhu
Talks about:
properti (1) composit (1) communic (1) unblock (1) softwar (1) regular (1) process (1) compens (1) tempor (1) symbol (1)

Person: Zhiming Liu

DBLP DBLP: Liu:Zhiming

Facilitated 1 volumes:

CBSE 2011PrCo

Contributed to:

ICSE 20152015
CBSE 20122012
FM 20112011
SEFM 20082008
IFM 20042004

Wrote 5 papers:

ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation
Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
CBSE-2012-DongFLSZZ #component #composition
Unblockable compositions of software components (RD, JF, ZL, JS, NZ, JZ), pp. 103–108.
FM-2011-ChenLW #communication #process #refinement
Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
SEFM-2008-SilvaSL #object-oriented #semantics
Laws of Object-Orientation with Reference Semantics (LS, AS, ZL), pp. 217–226.
IFM-2004-ChenL #logic
Integrating Temporal Logics (YC, ZL), pp. 402–420.

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.