• Almulhem A., and I. Traore, “Connections chains: a review and taxonomy”, Tech. Rpt. No. ECE05-44, Department of Electrical and Computer Engineering, University of Victoria, Canada, July 2004 (10 pages).

  • Wei Lu, and I. Traore, “An unsupervised anomaly detection framework for network intrusions”, Tech. Rpt. No. ECE05-2, Department of Electrical and Computer Engineering, University of Victoria, Canada, July 2004 (10 pages).

  • D. B. Aredo, I. Traore, M.L. Yanguo, H. Ye, “Integration of structured review and model-based verification: a case study”, Research Report No. ECE04-03, July 2004, Department of Electrical and Computer Engineering, University of Victoria, Canada.

  • I. Traore, M.L. Yanguo, “Evaluation of whitenoise cryptosystem”, Technical Report No. ECE03-3, 2003, Department of Electrical and Computer Engineering, University of Victoria, Canada.

  • I. Traore, A.E.K. Sahraoui, “Formalizing large-scale requirements: an avionics case study”, Research Report no. ECE02-01, Department of Electrical and Computer Engineering, University of Victoria, May 2002.

  • I. Traore, Aug. 1999, “The UML specification of the ntegrator”, Technical Report No. 275, Department of Informatics, University of Oslo, Norway.

  • I. Traore, D. B. Aredo, K. Stolen, August 1999, “Tracking inconsistencies in an integrated platform”, Research report no. 274, Department of Informatics, University of Oslo, Norway.

  • D.B. Aredo, I. Traore, K. Stolen, August 1999, “Towards a formalisation UML class structure in PVS”, Research report no. 272, Department of Informatics, University of Oslo, Norway.

  • I. Traore, K. Stolen, Aug. 1999, “Towards the definition of a platform supporting the formal development of open distributed systems”, Research report no. 271, Department of Informatics, University of Oslo, Norway.

  • A.E.K. Sahraoui, I. Traore, “Bridging the gap between formal and semi-formal methods for discrete control: a case study with VDM and statecharts”, Research Report no. 99249, June 1999, LAAS-CNRS, Toulouse, France.

  • I. Traore, A.E.K. Sahraoui, “Integrating formal methods in the development process: an approach with VDM and statecharts”, Research Report no. 98253, June 1998, LAAS-CNRS, Toulouse, France.

  • M. Romdhani, I. Traore, A.E.K. Sahraoui, “A multiformalism approach for system specification”, Research Report N0. 97086, March 1997, LAAS-CNRS, Toulouse, France.

  • I. Traore, “Application characterization and multiformalism in software engineering”. PhD thesis, LAAS-CNRS, Toulouse, France, May 1998.

  • A.E.K. Sahraoui, M. Romdhani, A. Jeffroy, I. Traore, “A multi-formalism approach for codesign in the development of avionics”, Research Report no. 96026, May 1996, LAAS-CNRS, Toulouse, France.

  • I. Traore, Feb. 1996, “Problematics of the strategies of integration of formal methods in the development of complex and critical systems”, Research report no. 96019, LAAS-CNRS, 7 Av. du colonel Roche, 31077 Toulouse, France.