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 × USA
Collaborated with:
B.Li Q.Chen M.Zhu S.Ji X.Zhai W.Wen X.Sun
Talks about:
base (4) verif (3) differenti (2) hybrid (2) logic (2) dynam (2) uml (2) cps (2) spectrum (1) softwar (1)

Person: Jiakai Li

DBLP DBLP: Li:Jiakai

Contributed to:

SEKE 20122012
SEKE 20112011

Wrote 4 papers:

SEKE-2012-LiLCZJZ #adaptation #continuation #self #verification
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability (JL, BL, QC, MZ, SJ, XZ), pp. 239–242.
SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
SEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification
HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
SEKE-2011-WenLSL #fault #locality #slicing
Program slicing spectrum-based software fault localization (WW, BL, XS, JL), pp. 213–218.

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.