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: Li:Jiakai
Contributed to:
20122011Wrote 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.