Publications, communications et séminaires

Liste de publications, conférences et séminaires

Direction d'étudiants de cycles supérieurs

En cours

  1. T. Robert de Massy (maîtrise en informatique): "Conception et mise en oeuvre d'un système de calcul formel".

Complétés

  1. S. Benabdallah (rapport de projet, maîtrise en génie logiciel, codirection avec Y. Bendavid): "Développement d'un prototype d'abribus connecté par LiFi", Dép. d'informatique, UQAM, février 2021.
  2. I. Ciobanu (maîtrise en informatique): "PpFf: Une bibliothèque C++ pour le traitement parallèle de flux de données", Dép. d'informatique, UQAM, janvier 2021.
  3. E. Haas (maîtrise en informatique): "Game Genesis -- Un profil UML pour la rédaction de Game Design Documents", Dép. d'informatique, UQAM, décembre 2019.
  4. M. S. Sall (rapport de projet technique, DESS en génie logiciel): "Annuaire médical: Un répertoire centralisé pour rechercher des ressources en santé", Dép. d'informatique, UQAM, mars 2019.
  5. A. Terrasa (doctorat en informatique, codirection avec J. Privat): "Auto-documentation assistée de logiciels: génération et maintenance de fichiers README avec l'outil nitreadme", Dép. d'informatique, UQAM, décembre 2018.
  6. P. Girard (rapport de projet, maîtrise en génie logiciel): "Développement d'un module d'extension Moodle d'aide à la correction de questions de type ''Texte long''", Dép. d'informatique, UQAM, juin 2018.
  7. J.-D. Frondo (rapport de projet technique, DESS en génie logiciel): "Application de simulation de fills pour la Banque Nationale du Canada: Fill Simulator", Dép. d'informatique, UQAM, juin 2018.
  8. R. Chanoir (mémoire, maîtrise en informatique, codirection avec J. Privat): "CelluloNit: Une implémentation du modèle acteur en Nit", Dép. d'informatique, UQAM, décembre 2017.
  9. 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, Universita degli Studi di Torino, May 2017.
  10. G. Youssef (rapport de projet, maîtrise en génie logiciel): "Centrale d'alerte Web", Dép. d'informatique, UQAM, avril 2017.
  11. 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.
  12. A. Demange (mémoire, maîtrise en informatique, codirection avec N. Moha): "Détection de patrons de conception dans les architectures orientées services", Dép. d'informatique, UQAM, février 2014.
  13. J. Tsheke (mémoire, maîtrise en informatique): "Détection de défauts de programmes Java", Dép. d'informatique, UQAM, janvier 2014.
  14. S. Poirier (mémoire, maîtrise en informatique, codirection avec J. Privat): "Extensions parallèles pour le langage Nit", Dép. d'informatique, UQAM, juin 2013.
  15. E. Lévesque (mémoire, maîtrise en informatique, codirection avec I. Khriss, UQAR): "Adaptation des processus collaboratifs par coordination des changements et migration des instances", Dép. d'informatique, UQAM, août 2011.
  16. H. Bagane (mémoire, maîtrise en informatique, codirection avec N. Séguin): "Analyse des principes du génie logiciel au niveau du développement agile", Dép. d'informatique, UQAM, mars 2011.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. A. Chami (mémoire, maîtrise en informatique, codirection avec A. Salah): "Vérification de processus BPEL à l'aide de Promela/Spin", Dép. d'informatique, UQAM, mars 2008.
  22. R. Ben Younes (mémoire, maîtrise en informatique, codirection avec G. Bégin): "Étude et mise en oeuvre d'une approche formelle de model-checking pour la déection d'intrusion dans les réeaux sans-fil 802.11", Dép. d'informatique, UQAM, novembre 2007.
  23. M. Takim (rapport de projet, maîtrise en génie logiciel, codirection avec A. Salah): "Applications Web pour l'utilisation des services de l'outil Oto", Dép. d'informatique, UQAM, février 2007.
  24. N. Xia (mémoire, maîtrise en informatique): "A heuristic algorithm for courses assignment". Dép. d'informatique, UQAM, août 2006.
  25. I. Constantineau (mémoire, maîtrise en informatique): "Vérification de modèle floue", Dép. d'informatique, UQAM, juillet 2006.
  26. M. Lalonde (mémoire, maîtrise en informatique, codirection avec M. Jébrak): "Modélisation par automates cellulaires de brèches hydrothermales", Dép. d'informatique, UQAM, mars 2006.
  27. 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.
  28. 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.
  29. 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.
  30. B. Desjardins (rapport de projet, maîtrise en génie logiciel, codirection 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.
  31. É. Labonté (mémoire, maîtrise en informatique): "Outil de correction semi-automatique de programmes Java", Dép. d'informatique, UQAM, décembre 2002.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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

  1. O. Mlouki (Stage PFE, ENSI, Tunisie; codirection 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

Dernière mise à jour: janvier 2021