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.

Technical reports

  1. B. Sayed, I. Traore, and A. Abdelhalim, "Hybrid Flow-Sensitive Security Monitor For JavaScript", Tech. Rpt. No. ECE-2016-05-19-1, Department of Electrical and Computer Engineering, University of Victoria, Canada, May 2016.
  2. 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).
  3. 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).
  4. 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.
  5. 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.
  6. 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.
  7. I. Traore, Aug. 1999, "The UML specification of the ntegrator", Technical Report No. 275, Department of Informatics, University of Oslo, Norway.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. M. Romdhani, I. Traore, A.E.K. Sahraoui, "A multiformalism approach for system specification", Research Report N0. 97086, March 1997, LAAS-CNRS, Toulouse, France.
  14. I. Traore, "Application characterization and multiformalism in software engineering". PhD thesis, LAAS-CNRS, Toulouse, France, May 1998.
  15. 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.
  16. 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.
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.