Welcome to the homepage of

 

Shuhao Li

 

 

I am a Ph.D student in the 

Center for Embedded Software Systems  cisslogo    

  

Aalborg University, Denmark

Phone   : +45 50 19 43 65

Email    :  li ( at ) cs.aau.dk

Address: room 1.2.01, Selma Lagerloefs Vej 300, DK-9220 Aalborg, Denmark
 
About me

photo

 

 

 

Research

Research interests: timed (game) automata, model-based testing of embedded real-time systems, scenario-based behavior analysis and testing.

 

Publication

 

Journal Contribution

1.       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, 2010, 37(2-3):200-264. ( pdf )

2.       Meng-Luo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi. Automated worst-case execution time analysis based on program modes. The Computer Journal, 2009, 52(5):530-544. ( pdf )

 

Referred Conference Papers

3.       Shuhao Li, Paul Pettersson. Verification and controller synthesis for resource-constrained real-time systems: case study of an autonomous truck. In: Proc. 15th IEEE Int'l Conf. on Emerging Technologies and Factory Automation (ETFA’10), September 2010, Bilbao, Spain. ( pdf )

4.       Kim G. Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas. Scenario-based analysis and synthesis of real-time systems using Uppaal. In: Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany. ( pdf )

5.       Kim G. Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas. Verifying real-time systems against scenario-based requirements. In: Proc. 16th Int'l Symposium on Formal Methods (FM'09), November 2009, Eindhoven, The Netherlands. ( pdf )

6.       Alexandre David, Kim G. Larsen, Shuhao Li, Brian Nielsen. Timed testing under partial observability. In: Proc. 2nd IEEE Int'l Conf. on Software Testing, Verification and Validation (ICST'09), April 2009, Denver, Colorado, U.S.A. ( pdf )

7.       Alexandre David, Kim G. Larsen, Shuhao Li, Brian Nielsen. A game-theoretic approach to real-time system testing. In: Proc. 11th Conference on Design, Automation, and Test in Europe (DATE'08), March 2008, Munich, Germany. ( pdf )

8.       Shuhao Li, Ji Wang, Zhi-Chang Qi, Xin Wang. Configuration-oriented symbolic test sequence construction method for extended finite state machines. In: Proc. 29th Annual Int'l Computer Software and Applications Conference (COMPSAC'05), Edinburgh, Scotland, July 2005, IEEE Computer Society Press.

9.       Xin Wang, Zhi-Chang Qi, Shuhao Li. An optimized method for automatic test oracle generation from real-time specifications. In: Proc. 10th IEEE Int'l Conf. on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, China, June 2005, IEEE Computer Society Press.

10.   Shuhao Li, Ji Wang, Wei Dong, Zhi-Chang Qi. Property-oriented testing of real-time systems. In: Proc. 11th Asia-Pacific Software Engineering Conference (APSEC'04), Busan, Korea, November 2004, IEEE Computer Society Press, pp. 358-365.

11.   Shuhao Li, Ji Wang, Zhi-Chang Qi. Property-oriented test generation from UML Statecharts. In: Proc. 19th IEEE Int'l Conf. on Automated Software Engineering (ASE'04), Linz, Austria, September 2004, IEEE Computer Society Press, pp. 122-131.

12.   Wei Dong, Ji Wang, Liuying Li, Shuhao Li, Haiyan Chen. A UML-based environment for software testing and verification. In: Proc. 6th Int'l Conf. for Young Computer Scientists (ICYCS'01), Hangzhou, China, October 2001, International Academic Publisher, World Publishing Corporation, pp. 76-81.

 

Referred Workshop Papers

13.   Alexandre David, Kim G. Larsen, Shuhao Li, Brian Nielsen. Cooperative testing of timed systems. In: Proc. 4th Workshop on Model-Based Testing (MBT'08), March 2008, Budapest, Hungary, ENTCS 200(1): 79-92. ( pdf )

14.   Meng-Luo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi. Automated WCET analysis based on program modes. In: Proc. 1st Int'l Workshop on Automation of Software Test (AST'06) at the 28th Int'l Conf. on Software Engineering (ICSE'06), Shanghai, China, May 2006, ACM Press.

 

Thesis

15.   Shuhao Li. Games and scenarios for real-time system validation. PhD thesis, Aalborg University Department of Computer Science, Denmark, April 2010. ( pdf )

 

 

Spring 2009

            

Fall 2008

 

Spring 2008

Fall 2007

 
 
Teaching

DAT2 project supervision

DAT4 project supervision

NDP Course  

DAT3 project supervision 

DAT2 project supervision 

Networks for NDP7 

DAT3 project supervision