I am a graduate student in computer science at the University of Illinois at Urbana-Champaign. I started in Fall 2007 and I am studying logic, theorem proving and program verification with Madhusudan Parthasarathy.

Before starting my studies at the University of Illinois I completed my Master studies at the Nanjing University, China in the group of Xuandong Li.

If you need to contact me, the easiest way to do that is by email to "qiu2" at the domain "illinois.edu". You can also visit me at my office:

3240 Siebel Center
201 N Goodwin Ave
Urbana, IL 61801
phone: +1-(217)-333-5219

Selected Publications

• A Formal Architecture Pattern for Real-Time Distributed Systems
  Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
  In Proc. 30th IEEE Real-Time System Symposium(RTSS '09), 2009.
• UML State Machine Diagram Driven Runtime Verification of Java Programs for Message Interaction Consistency
  Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong
  In Proc. 23rd ACM Symposium on Applied Computing (SAC '08), 2008.
• UML Activity Diagram-Based Automatic Test Case Generation for Java Programs
  Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
  The Computer Journal, 2007 ; 0: bxm057v1-12
• Runtime Verification of Java Programs for Scenario-Based Specifications
  Li Xuandong , Wang Linzhang, Qiu Xiaokang, Lei Bin, Yuan Jiesong, Zhao Jianhua, Zheng Guoliang
  Reliable Software Technologies - Ada-Europe 2006, LNCS 4006, Springer

Projects