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

Collaborated with:
M.Vazquez-Chanlatte J.V.Deshmukh S.A.Seshia A.S.Adimoolam T.Dang A.Donzé J.Kapinski
Talks about:
coverag (1) control (1) cluster (1) classif (1) system (1) falsif (1) logic (1) learn (1) embed (1) time (1)

Person: Xiaoqing Jin

DBLP DBLP: Jin:Xiaoqing

Contributed to:

CAV (1) 20172017

Wrote 2 papers:

CAV-2017-AdimoolamDDKJ #classification #embedded
Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.
CAV-2017-Vazquez-Chanlatte #clustering #learning #logic
Logical Clustering and Learning for Time-Series Data (MVC, JVD, XJ, SAS), pp. 305–325.

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.