Shuhao Li

	2011
20		Peng Liao, Xiang Cui, Shuhao Li, Chaoge Liu: Poster: recoverable botnets: a hybrid C&C approach. ACM Conference on Computer and Communications Security 2011: 833-836
19		Yipeng Wang, Zhibin Zhang, Li Guo, Shuhao Li: Using Entropy to Classify Traffic More Deeply. NAS 2011: 45-52
18		Shuhao Li, Xiao-chun Yun, Zhiyu Hao, Xiang Cui, Yipeng Wang: A Propagation Model for Social Engineering Botnets in Social Networks. PDCAT 2011: 423-426
17		Lidong Zhai, Li Guo, Xiang Cui, Shuhao Li: Research on Real-time Publish/Subscribe System supported by Data-Integration. JSW 6(6): 1133-1139 (2011)
	2010
16		Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452
15		Shuhao Li, Paul Pettersson: Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck. ETFA 2010: 1-8
14		Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371
13		Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas: Scenario-based verification of real-time systems using Uppaal. Formal Methods in System Design 37(2-3): 200-264 (2010)
	2009
12		Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691
11		Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Timed Testing under Partial Observability. ICST 2009: 61-70
10		Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi: Automated Worst-Case Execution Time Analysis Based on Program Modes. Comput. J. 52(5): 530-544 (2009)
	2008
9		Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
8		Wei-ling Chang, Xiao-chun Yun, Binxing Fang, Shupeng Wang, Shuhao Li: A Quasi Word-Based Compression Method of English Text Using Byte-Oriented Coding Scheme. WAIM 2008: 558-563
7		Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)
	2006
6		Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi: Automated WCET Analysis Based on Program Modes. AST 2006: 36-42
	2005
5		Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi: Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18
4		Xin Wang, Zhi-Chang Qi, Shuhao Li: An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. ICECCS 2005: 440-449
	2004
3		Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
2		Shuhao Li, Ji Wang, Zhi-Chang Qi: Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131
1		Shuhao Li, Zhi-Chang Qi: Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. SOQUA/TECOS 2004: 191-206

Coauthor Index

1	Sandie Balaguer	[13]
2	Wei-ling Chang	[8]
3	Xiang Cui	[17] [18] [20]
4	Alexandre David	[7] [9] [11] [13] [14]
5	Wei Dong	[3]
6	Binxing Fang	[8]
7	Li Guo	[17] [19]
8	Zhiyu Hao	[18]
9	Mengluo Ji	[6] [10]
10	Kim Guldstrand Larsen (Kim G. Larsen)	[7] [9] [11] [12] [13] [14] [16]
11	Peng Liao	[20]
12	Chaoge Liu	[20]
13	Marius Mikucionis	[14]
14	Brian Nielsen	[7] [9] [11] [12] [13] [14] [16]
15	Paul Pettersson	[15]
16	Saulius Pusinskas	[12] [13] [16]
17	Zhichang Qi (Zhi-Chang Qi)	[1] [2] [3] [4] [5] [6] [10]
18	Ji Wang	[2] [3] [5] [6] [10]
19	Shupeng Wang	[8]
20	Xin Wang	[4] [5]
21	Yipeng Wang	[18] [19]
22	Xiao-chun Yun	[8] [18]
23	Lidong Zhai	[17]
24	Zhibin Zhang	[19]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page