Principaux domaines d'intérêts

Publications, communications et séminaires

Liste de publications, conférences et séminaires

Idées de projets

Quelques idées de projets liés à mes intérêts de recherche.

Direction d'étudiants gradués

En cours

  1. H. Bagane (mémoire, maîtrise en informatique, co-direction avec Normand Séguin): "Principes du génie logiciel et développement agile".
  2. R. Ben Younes (doctorat en informatique): "Application de la vérification de modèles à la sécurité".
  3. I. Chouchani (mémoire, maîtrise en informatique): "Utilisation d'algorithmes génétiques pour la recherche de services Web".
  4. W. Jendoubi (mémoire, maîtrise en informatique): "Vérification dynamique de contrats exprimés sous formes de protocoles dans un engin BPEL".
  5. P. Lessard (mémoire, maîtrise en informatique): "Analyse et amélioration des performances de l'outil de correction Oto".
  6. E. Lévesque (mémoire, maîtrise en informatique, co-direction avec I. Khriss): "Adaption dynamique de processus WS-BPEL".
  7. F. Painchaud (co-direction avec H. Desharnais, doctorat en informatique, Département d'informatique et génie logiciel, Université Laval): "A Novel ASM-Based Hybrid Model-Checking Approach for Java".
  8. S. Poirier (mémoire de maîtrise en informatique, co-direction avec J. Privat): "Extensions parallèles pour le langage Nit".

Complétés

  1. A. Bustros (mémoire, maîtrise en informatique): "Un système d'intelligence artificielle pour le jeu de plateau Axis & Allies", Dép. d'informatique, UQAM, juillet 2009.
  2. A. Chami (mémoire, maîtrise en informatique, co-direction avec A. Salah): "Vérification de processus BPEL à l'aide de Promela/Spin", Dép. d'informatique, UQAM, mars 2008.
  3. R. Ben Younes (mémoire, maîtrise en informatique, co-direction avec G. Bégin): "Étude et mise en oeuvre d'une approche formelle de model-checking pour la détection d'intrusion dans les réseaux sans-fil 802.11", Dép. d'informatique, UQAM, novembre 2007.
  4. M. Takim (rapport de projet, maîtrise en génie logiciel, co-direction avec Aziz Salah): "Applications Web pour l'utilisation des services de l'outil Oto", Dép. d'informatique, UQAM, février 2007.
  5. N. Xia (mémoire, maîtrise en informatique): "A heuristic algorithm for courses assignment". Dép. d'informatique, UQAM, août 2006.
  6. I. Constantineau (mémoire, maîtrise en informatique): "Vérification de modèle floue", Dép. d'informatique, UQAM, juillet 2006.
  7. M. Lalonde (mémoire, maîtrise en informatique, co-direction avec Michel Jébrak): "Modélisation par automates cellulaires de brèches hydrothermales", Dép. d'informatique, UQAM, mars 2006.
  8. F. Guérin (mémoire, maîtrise en informatique): "Oto, un outil générique et extensible pour corriger les travaux de programmation", Dép. d'informatique, UQAM, octobre 2005.
  9. P. Hénaff (rapport de projet, maîtrise en génie logiciel): "Étude des facteurs influençant le choix d'un processus de développement", Dép. d'informatique, UQAM, avril 2004.
  10. F. Champagne (mémoire, maîtrise en informatique): "Application de la distance d'édition à la correction de dictées musicales", Dép. d'informatique, UQAM, août 2003.
  11. B. Desjardins (rapport de projet, maîtrise en génie logiciel, co-direction avec L. Martin): "Réingénierie et modélisation d'un composant Adresse à l'aide d'UML", Dép. d'informatique, UQAM, décembre 2002.
  12. É. Labonté (mémoire, maîtrise en informatique): "Outil de correction semi-automatique de programmes Java", Dép. d'informatique, UQAM, décembre 2002.
  13. H. Msheik (mémoire, maîtrise en informatique): "Code Generation for a Functional Language Targeted to a Parallel Multithreaded Machine", Dép. d'informatique, UQAM, août 2000.
  14. H. Salman (rapport de projet, maîtrise en génie logiciel): "Modélisation d'un générateur de code pour un langage fonctionnel ciblé vers une machine parallèle multi-contextes ", Dép. de génie électrique, École de Technologie Supérieure, août 2000.
  15. B. Malenfant (mémoire, maîtrise en informatique): "Sémantique et mise en oeuvre parallèle d'un langage fonctionnel indulgent", Dép. d'informatique, UQAM, décembre 1998.
  16. J.-P. Toviessi (mémoire, maîtrise en informatique): "Solution d'une équation différentielle elliptique sur une machine parallèle par échanges de messages", Dép. d'informatique, UQAM, septembre 1998.
  17. S. Hadj Messaoud (rapport de projet, maîtrise en génie logiciel): "Détection formelle des interactions des services téléphoniques", Dép. d'informatique, UQAM, février 1998.

Collaboration

Arbitrage pour diverses conférences ou revues

Dernière mise à jour: novembre 2009