Shuxing Cheng

I am a Ph.D student of computer science at Iowa State University.

Research interests

• Services Computing.
• Modeling and analysis of stochastic systems.
• Model checking of software systems.

Teaching experience

• Teaching assistant for undergraduate operating system course .

Research links

• Petri Nets World.
• Formal Methods Virtual Library.
• Model Checking Links.

Recent Publications

Shuxing Cheng, Carl K. Chang and L-J.Zhang.An Efficient Service Discovery Algorithm for Counting Bloom Filter-based Service Registry.
IEEE 7th International Conference on Web Services(ICWS 2009), Los Angeles , pp. 157-164, 2009.
PDF