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 de cycles supérieurs

En cours

  1. R. Chanoir (maîtrise en informatique, co-direction avec J. Privat): "CelluloNit: Une implémentation du modèle acteur en Nit".
  2. I. Ciobanu (maîtrise en informatique): "Mise en oeuvre FastFlow/C++ de streams parallèles".
  3. B. Gerançon (doctorat en informatique, co-direction avec S. Trudel): "Estimation automatique de points de fonction sur la base de scénarios de tests d'acceptation".
  4. P. Girard (maîtrise en génie logiciel): "Module de correction pour questions à développement intégré à Moodle".
  5. J. Moraes (maîtrise en informatique de gestion): "Tests d'acceptation pour une application mobile".
  6. A. Terrasa (doctorat en informatique, co-direction avec J. Privat): "Vers une auto-documentation parfaite des langages à objet".

Complétés

  1. C. Misale (doctoral thesis, co-supervised with M. Aldinucci): "PiCo: A Domain-Specific Language for Data Analytics Pipelines", Doctoral School on Science and High Technology, Computer Science Department, University of Torino, may 2017.
  2. G. Youssef (rapport de projet, maîtrise en génie logiciel): "Centrale d'alerte Web", Dép. d'informatique, UQAM, avril 2017.
  3. F. Thériault (mémoire, maîtrise en informatique): "Conception d'un algorithme pour l'assignation de tâches d'enseignement", Dép. d'informatique, UQAM, avril 2016.
  4. A. Demange (mémoire, maîtrise en informatique, co-direction avec N. Moha): "Détection de patrons de conception dans les architectures orientées services", Dép. d'informatique, UQAM, février 2014.
  5. J. Tsheke (mémoire, maîtrise en informatique): "Détection de défauts de programmes Java", Dép. d'informatique, UQAM, janvier 2014.
  6. S. Poirier (mémoire, maîtrise en informatique, co-direction avec J. Privat): "Extensions parallèles pour le langage Nit", Dép. d'informatique, UQAM, juin 2013.
  7. E. Lévesque (mémoire, maîtrise en informatique, co-direction avec I. Khriss, UQAR): "Adaptation des processus collaboratifs par coordination des changements et migration des instances", Dép. d'informatique, UQAM, août 2011.
  8. H. Bagane (mémoire, maîtrise en informatique, co-direction avec N. Séguin): "Analyse des principes du génie logiciel au niveau du développement agile", Dép. d'informatique, UQAM, mars 2011.
  9. W. Jendoubi (mémoire, maîtrise en informatique): "Surveillance dynamique de compositions de services Web à l'aide de protocoles de comportement", Dép. d'informatique, UQAM, octobre 2010.
  10. I. Chouchani (mémoire, maîtrise en informatique): "Utilisation d'un algorithme génétique pour la composition de services Web", Dép. d'informatique, UQAM, mai 2010.
  11. P. Lessard (mémoire, maîtrise en informatique): "Un langage spécifique au domaine pour l'outil de correction de travaux de programmation Oto", Dép. d'informatique, UQAM, février 2010.
  12. 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.
  13. 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.
  14. 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.
  15. M. Takim (rapport de projet, maîtrise en génie logiciel, co-direction avec A. Salah): "Applications Web pour l'utilisation des services de l'outil Oto", Dép. d'informatique, UQAM, février 2007.
  16. N. Xia (mémoire, maîtrise en informatique): "A heuristic algorithm for courses assignment". Dép. d'informatique, UQAM, août 2006.
  17. I. Constantineau (mémoire, maîtrise en informatique): "Vérification de modèle floue", Dép. d'informatique, UQAM, juillet 2006.
  18. M. Lalonde (mémoire, maîtrise en informatique, co-direction avec M. Jébrak): "Modélisation par automates cellulaires de brèches hydrothermales", Dép. d'informatique, UQAM, mars 2006.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. É. Labonté (mémoire, maîtrise en informatique): "Outil de correction semi-automatique de programmes Java", Dép. d'informatique, UQAM, décembre 2002.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.


Direction d'étudiants de premier cycle

En cours

Complétés

  1. O. Mlouki (Stage PFE, ENSI, Tunisie; co-direction avec N. Moha): "Identification dynamique de patrons dans des services", hiver et été 2012.
  2. A. Pennetier (Stage Exia.Cesi, France): "Refactoring de l'application Web pour Oto", hiver 2012.
  3. A. Demange (Stage Exia.Cesi, France): "Refactoring de l'outil Oto", hiver 2011.
  4. G. Charbonneau (Bourse de recherche de 1er cycle du CRSNG) : "Surveillance de protocoles de comportements dans des composants SCA/Tuscany", été 2010.
  5. A. Nait Chabane (Bourse de recherche de 1er cycle du CRSNG) : "Spécification OCL et vérification des propriétés des ports composites", été 2009.
  6. J. Giordano (Stage coopératif du bac en informatique et génie logiciel) : "Développement de tests unitaires pour l'application Web d'Oto", automne 2009.
  7. Y. Ben Fadhel (Stage de l'INSAT, Tunisie) : "Construction d'une plateforme d'évaluation de la perceptibilité de journaux imparfaits", automne 2009.
  8. J. Giordano (Bourse de recherche de 1er cycle du CRSNG) : "Développement d'un interpréteur pour le langage de composants SCL", automne 2008.


Collaboration


Arbitrage pour diverses conférences ou revues


Dernière mise à jour: juin 2017