- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c17 |      | Shuhao Li, Xiao-chun Yun, Zhiyu Hao, Yongzheng Zhang, Xiang Cui, Yipeng Wang: Modeling Social Engineering Botnet Dynamics across Multiple Social Networks. SEC 2012: 261-272 |
| 2011 | ||
| j4 | | 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) |
| c16 | | 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 |
| c15 | | Yipeng Wang, Zhibin Zhang, Li Guo, Shuhao Li: Using Entropy to Classify Traffic More Deeply. NAS 2011: 45-52 |
| c14 | | 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 |
| 2010 | ||
| j3 | | 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) |
| c13 | | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452 |
| c12 | | Shuhao Li, Paul Pettersson: Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck. ETFA 2010: 1-8 |
| c11 | | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371 |
| 2009 | ||
| j2 | | 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) |
| c10 | | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691 |
| c9 | | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Timed Testing under Partial Observability. ICST 2009: 61-70 |
| 2008 | ||
| j1 | | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008) |
| c8 | | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491 |
| c7 | | 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 |
| 2006 | ||
| c6 | | Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi: Automated WCET Analysis Based on Program Modes. AST 2006: 36-42 |
| 2005 | ||
| c5 | | Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi: Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18 |
| c4 | | Xin Wang, Zhi-Chang Qi, Shuhao Li: An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. ICECCS 2005: 440-449 |
| 2004 | ||
| c3 | | Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365 |
| c2 | | Shuhao Li, Ji Wang, Zhi-Chang Qi: Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131 |
| c1 | | Shuhao Li, Zhi-Chang Qi: Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. SOQUA/TECOS 2004: 191-206 |
Colors in the list of coauthors
Last update Wed May 22 12:31:51 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page