Person: Keqin Li

DBLP: Li:Keqin

Contributed to:

2013

2008

2007

2005

1998

1997

1997

1996

Wrote 11 papers:

ICST-2013-BlomeOLPD #flexibility #modelling #named #testing

VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.

TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification

Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.

TestCom-FATES-2007-ShahbazLG #component #integration #learning #testing

Learning and Integration of Parameterized Components Through Testing (MS, KL, RG), pp. 319–334.

TestCom-2005-LiL05a #algorithm #detection #fault #network #probability #testing

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms (KL, DL), pp. 258–274.

SAC-1998-Li #evaluation #performance #probability

Performance evaluation of probabilistic tree embedding in cube-connected cycles (KL), pp. 584–592.

SAC-1998-Li98a #algorithm #distributed #online #random

Deterministic and randomized algorithms for distributed on-line task assignment and load balancing without load status information (KL), pp. 613–622.

SAC-1997-Li #effectiveness #evaluation #multi #performance

An efficient and effective performance evaluation method for multiprogrammed multiprocessor systems (KL), pp. 478–487.

SAC-1997-Li97a #execution #parallel #source code

Analyzing the expected execution times of parallel programs (KL), pp. 488–495.

SAC-1997-Li97b #on the

On dynamic tree growing in hypercubes (KL), pp. 496–503.

TOOLS-ASIA-1997-LiGMY #component #library #overview

An Overview of JB (Jade Bird) Component Library System JBCL (KL, LG, HM, FY), pp. 206–213.

SAC-1996-Li #distributed #maintenance #parallel

Maintenance of tree structured computations on parallel and distributed computer systems (KL), pp. 337–343.