- CoRR (2010)
- VL/HCC, page 257-258. IEEE, (2011)
- IEEE Software 28(6):32-35 (2011)
- CONCUR, volume 2154 of Lecture Notes in Computer Science, page 441-455. Springer, (2001)
- TACAS, volume 2031 of Lecture Notes in Computer Science, page 404-419. Springer, (2001)
- FME, volume 2021 of Lecture Notes in Computer Science, page 72-98. Springer, (2001)
- CASCON, page 362-363. ACM, (2009)
- FoSER, page 99-104. ACM, (2010)
- ICSE '00: Proceedings of the Conference on The Future of Software Engineering, page 35--46. New York, NY, USA, ACM Press, (2000)
- The Thirteenth IEEE Conference on Automated Software Engineering ASE'98, page 12-21. (1998)
- Software Engineering Workshops, volume 150 of LNI, page 155-160. GI, (2009)
- ICSE 2, page 449-450. ACM, (2010)
- AOSD, page 137-148. ACM, (2009)
- Plant/Operations Progress 3(1):29--31 (January 1984)
- Computing in Science and Engineering 10(6):56-64 (2008)
- Computing in Science and Engineering 11(6):65-74 (2009)
- Hawaii International Conference on System Sciences (2007)
- OOPSLA Companion, page 1057-1058. ACM, (2009)
- IEE Software Engineering Journal 11(1):31-43 (January 1996)
- International Symposium on Requirements Engineering, page 100-109. Limerick, Ireland, (June 1999)


author