BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Cao Y.Li J.Wang J.S.0001 Q.Yuan
Talks about:
model (2) learn (2) probabilist (1) parameter (1) approach (1) automat (1) should (1) verif (1) studi (1) empir (1)

Person: Jun Pang 0001

DBLP DBLP: 0001:Jun_Pang

Contributed to:

ASE 20182018
FASE 20172017

Wrote 2 papers:

ASE-2018-CaoLP #automation #named #verification
L-CMP: an automatic learning-based parameterized verification tool (JC, YL, JP0), pp. 892–895.
FASE-2017-Wang0YP #approach #empirical #model checking #modelling #probability
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study (JW, JS0, QY, JP0), pp. 3–21.

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.