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 × New Zealand
1 × The Netherlands
1 × USA
Collaborated with:
L.Grunske H.Muccini A.Polini X.Li A.Tang B.Li
Talks about:
probabilist (2) properti (2) monitor (2) time (2) proactiv (1) sequenc (1) predict (1) system (1) syntax (1) formal (1)

Person: Pengcheng Zhang

DBLP DBLP: Zhang:Pengcheng

Facilitated 1 volumes:

CBSE 2013PrCo

Contributed to:

ASE 20112011
ASE 20092009
ESEC/FSE 20092009

Wrote 3 papers:

ASE-2011-ZhangMPL #monitoring #predict #runtime
Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
ASE-2009-ZhangGTL #probability #sequence chart #syntax
A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
ESEC-FSE-2009-GrunskeZ #monitoring #probability
Monitoring probabilistic properties (LG, PZ), pp. 183–192.

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.