`Travelled to:`

1 × Greece

1 × United Kingdom

`Collaborated with:`

J.He Y.Zhao L.Zhu J.Li J.P.Bowen Q.Xu C.Ma S.Qin Z.Qiu Y.Yuan L.Xu X.Xiao A.Podgurski

`Talks about:`

approach (2) instantan (1) guarante (1) calculus (1) program (1) concurr (1) android (1) algebra (1) verifi (1) signal (1)

## Person: Huibiao Zhu

### DBLP: Zhu:Huibiao

### Contributed to:

### Wrote 4 papers:

- SEFM-2012-ZhaoZZH #calculus
- A Denotational Model for Instantaneous Signal Calculus (YZ, LZ, HZ, JH), pp. 126–140.
- SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification
- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
- SEFM-2007-ZhuHLB #algebra #approach #semantics #web #web service
- Algebraic Approach to Linking the Semantics of Web Services (HZ, JH, JL, JPB), pp. 315–328.
- ESEC-FSE-2017-YuanXXPZ #android #execution #graph #named
- RunDroid: recovering execution call graphs for Android applications (YY, LX, XX, AP, HZ), pp. 949–953.