Joom!Fish config error: Default language is inactive!
 
Please check configuration, try to use first active language

UQAM | Doctorat en Informatique Cognitive | Guy Tremblay
Bannière Faculté des sciences DIC
Notice: Undefined index: fr-FR in /var/www/sites/1541_Programme_doctorat_informatique_cognitive/components/com_joomfish/helpers/joomfish.class.php on line 242 Notice: Trying to get property of non-object in /var/www/sites/1541_Programme_doctorat_informatique_cognitive/components/com_joomfish/helpers/joomfish.class.php on line 242

Guy Tremblay

Unité : Département d'informatique

Poste : Professeur

Langues : Français / Anglais

Courriel : tremblay.guy@uqam.ca

Téléphone : (514) 987-3000 poste 8213

Local : PK-4435

Domaines d'expertises

Ce professeur ne désire pas s'entretenir avec les médias

  • Génie logiciel
  • Méthodes formelles de spécification
  • Outils d'aide à la correction
  • Programmation parallèle

 

Informations générales

Cheminement académique

Ph.D., Computer Science, McGill University, 1994.

M. Math., Computer Science, University of Waterloo, 1984.

B. Sc., Mathématiques (option informatique), UQAM, 1983.

Unités de recherche

  • Laboratoire de recherche sur les technologies du commerce électronique (LATECE)

Partenaires (organismes, entreprises)

  • Aucune donnée disponible pour cette section.

Affiliations externes principales

  • Aucune donnée disponible pour cette section.
Enseignement et supervision

Cours

Direction de thèses et de mémoires (Depuis 2006) et d’essais doctoraux (depuis 2014)

  • Thériault, Frédéric. (2016). Conception d'un algorithme pour l'assignation de tâches d'enseignement. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/8787.

  • Demange, Anthony. (2014). Détection de patrons de conception dans les architectures orientées services. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/6183.

  • Tsheke Shele, Johnny. (2014). Détection de défauts de programmes Java. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/6185.

  • Poirier, Sylvain. (2013). Extensions parallèles pour le langage Nit. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/5774.

  • Bagane, Houda. (2011). Analyse des principes du génie logiciel au niveau du développement agile. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/4010.

  • Lévesque, Enrico. (2011). Adaptation des processus collaboratifs par coordination des changements et migration des instances. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/4362.

  • Lessard, Paul. (2010). Un langage spécifique au domaine pour l'outil de correction de travaux de programmation Oto. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/2690.

  • Chouchani, Imed. (2010). Utilisation d'un algorithme génétique pour la composition de services Web. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/3381.

  • Jendoubi, Wassim. (2010). Surveillance dynamique de compositions de services web à l'aide de protocoles de comportement. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/3752.

  • Bustros, Alexandre. (2009). Un système d'intelligence artificielle pour le jeu de plateau Axies & Allies. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/2362.

  • Chami, Aida. (2008). Vérification de processus BPEL à l'aide de promela-spin. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/1398.

  • Xia, Ning. (2007). A Heuristic Algorithm for Courses Assignment (Un algorithme heuristique pour l'attribution des cours). (Mémoire de maîtrise). Université du Québec à Montréal.

  • Ben Younes, Romdhane. (2007). Étude et mise en œuvre d'une méthode de détection d'intrusions dans les réseaux sans-fil 802.11 basée sur la vérification formelle de modèles. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/711.

  • Constantineau, Ivan. (2006). Vérification de modèles floue. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Lalonde, Martin. (2006). Modélisation par automates cellulaires de brèches hydrothermales. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Guérin, Frédéric. (2005). Oto, Un outil générique et extensible pour corriger les travaux de programmation. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Champagne, France. (2004). Application de la distance d'édition à la correction de dictées musicales. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Labonté, Éric. (2002). Outil de correction semi-automatique de programmes Java. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Msheik, Hamdan. (2000). CODE GENERATION FOR A FONCTIONAL LANGUAGE TARGETED TO A PARALLEL MULTITHREADED MACHINE. (Mémoire de maîtrise). Université du Québec à Montréal.

  • MALENFANT, BRUNO. (1999). SEMANTIQUE ET MISE EN OEUVRE PARALLELE D'UN LANGAGE FONCTIONNEL INDULGENT. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Toviessi, Joseph Pierre. (1998). SOLUTION D'UNE EQUATION DIFFERENTIELLE ELLIPTIQUE SUR UNE MACHINE PARALLELE PAR ECHANGE DE MESSAGES. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Youssef, Gilbert. (2017). Centrale d'alerte Web Central Web Alert (CWA). (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.

  • Hénaff, Patrick. (2004). Etudes des facteurs influençant le choix d'un processus de développement. (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.

  • HADJ MESSAOUD, SORAYA. (1998). DETECTION FORMELLE DES INTERACTIONS DES SERVICES TELEPHONIQUES. (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.

Publications

Publications

  • Aucune donnée disponible pour cette section.
Communications

Communications

  • Aucune donnée disponible pour cette section.
Réalisations

Réalisations

  • Aucune donnée disponible pour cette section.
Distinctions

Prix et distinctions

  • Prix d'excellence en enseignement 2009-2010 de la Faculé des sciences
  • Prix d'excellence en enseignement 2011 de l'UQAM
Services à la collectivité

Services à la collectivité

Aucune donnée disponible pour cette section.