Skip to primary navigation.
Skip to secondary navigation.
Skip to page content.


Return to top of page.
Skip to secondary navigation.
Skip to page content.
Return to top of page.
Return to primary navigation.
Skip to secondary navigation.

Model based verification

  1. I. Traore, D.B. Aredo, "Enhancing structured review with model-based verification", IEEE Transactions on Software Engineering, Vol. 30, No. 11, P. 736-753, Nov. 2004.

  2. I. Traore, H. M. Al Jamal, Y. M. Liu, A.E.K. Sahraoui, "UML-PVS requirements specification and verification", 2004 International Symposium of the International Council on Systems Engineering (INCOSE-04), Toulouse, France, June 2004.

  3. I. Traore, D. B. Aredo, H. Ye, "An integrated framework for formal development of open distributed systems", Information and Software Technology, Elsevier Science, Vol. 46, No. 5, pp. 281-286, April 2004.

  4. I. Traore, "A transition-based strategy for object-oriented software testing", ACM Symposium on Applied Computing, March 9-12, 2003, Melbourne, Florida, USA.

  5. I. Traore, "An outline of PVS semantics for UML statecharts", Journal of Universal Computer Science (JUCS), Springer Pub. Co., Vol. 6, No. 11, pp. 1088-1108, Nov. 2000.

Return to top of page.
Return to primary navigation.
Skip to page content.
Return to top of page.
Return to primary navigation.
Return to secondary navigation.
Return to page content.