"Embedding continuous lifelong verification in service life cycles", ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada, pp. 99-102, May, 2009.
"Specification patterns from research to industry: A case study in service-based applications", Proc. of the 34th International Conference on Software Engineering (ICSE2012), SeIP track, Zurich, Switzerland, pp. 968-976, June, 2012.