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: Liu:Zhiming
Facilitated 1 volumes:
PrCoContributed to:
20152012
2011
2008
2004Wrote 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.