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 × Switzerland
Collaborated with:
E.Kang J.S.0001 D.J.0001 S.Song Y.Liu J.Sun H.Leung J.S.Dong Y.Zheng C.Fan X.Xie T.Su L.M.0003 Z.Meng Y.L.0003 R.Shen Y.Chen
Talks about:
system (2) evolutionari (1) probabilist (1) lightweight (1) reinforc (1) approach (1) automat (1) normat (1) method (1) formal (1)

Person: Jianye Hao

DBLP DBLP: Hao:Jianye

Contributed to:

ICSE 20122012
FSE 20162016
ASE 20192019

Wrote 3 papers:

ICSE-2012-SongHLSLD #approach #model checking #multi #probability
Analyzing multi-agent systems with probabilistic model checking approach (SS, JH, YL, JS, HfL, JSD), pp. 1337–1340.
FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
ASE-2019-ZhengFXS0HMLSC #automation #game studies #learning #named #online #testing #using
Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning (YZ, CF, XX, TS, LM0, JH, ZM, YL0, RS, YC), pp. 772–784.

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.