| |
| | Research (Site not responding. Last check: 2007-10-29) |
 | | Invariant-based Specification, Synthesis, and Verification of Synchronization in Concurrent Programs, Xianghua Deng, Matthew Dwyer, John Hatcliff, and Masaaki Mizuno,Proceedings of the Internation Conference on Software Engineering (ICSE 2002), IEEE Press. |
 | | SyncGen: An Aspect-Oriented Framework for Synchronization Xianghua Deng, Matthew Dwyer, John Hatcliff, Masaaki Mizuno, TACAS 2004 |
 | | Adam Childs, Xianghua Deng, Matthew B. Dwyer, Jesse Greenwald, John Hatcliff, Prashant Kumar, Georg Jung, Venkatesh Ranganath, Robby, Gurdip Singh. |
| www.cis.ksu.edu /~deng/research/research.html (295 words) |
|