- Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ProceedingsE. Allen Emerson, Kedar S. Namjoshi, editors, Volume 3855 of Lecture Notes in Computer Science, Springer, 2006.
- Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, ProceedingsAntti Valmari, editor, Volume 3925 of Lecture Notes in Computer Science, Springer, 2006.
- Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, ProceedingsPatrice Godefroid, editor, Volume 3639 of Lecture Notes in Computer Science, Springer, 2005.
- Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, ProceedingsRadhia Cousot, editor, Volume 3385 of Lecture Notes in Computer Science, Springer, 2005.
- Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, ProceedingsDragan Bosnacki, Stefan Leue, editors, Volume 2318 of Lecture Notes in Computer Science, Springer, 2002.